Find a job 
Featured Companies 
Featured Universities 
For Companies At a Glance
- Tasks: Research and develop safe AI systems while exploring Human-AI interaction.
- Company: Leading UK university with a focus on innovation and research.
- Benefits: Tax-free stipend of £20,780 and access to cutting-edge resources.
- Why this job: Contribute to the future of AI safety and make a real difference.
- Qualifications: 2.1 honours degree or master’s in engineering or computer science.
- Other info: Open to both Home and overseas applicants for a 3.5-year PhD.
The predicted salary is between 20780 - 20780 £ per year.
A leading UK university is offering a 3.5-year PhD studentship focusing on the intersection of formal software verification and Large Language Model safety. Candidates will explore Human-AI interaction and contribute to safety in LLM-powered systems.
The position is open to Home (UK) and overseas applicants, with an annual tax-free stipend of £20,780. Applicants should hold at least a 2.1 honours degree or master’s in a relevant discipline, with a strong background in engineering or computer science.
PhD: Safe Agentic LLMs & Formal Verification employer: The University of Manchester
Contact Detail:
The University of Manchester Recruiting Team
StudySmarter Expert Advice 🤫
We think this is how you could land PhD: Safe Agentic LLMs & Formal Verification
✨Tip Number 1
Network like a pro! Reach out to current PhD students or faculty members in your field. A friendly chat can give you insider info about the programme and might even lead to a recommendation.
✨Tip Number 2
Prepare for interviews by brushing up on your knowledge of formal verification and LLMs. We suggest practising common interview questions and discussing your research interests with friends or mentors.
✨Tip Number 3
Show your passion! When you get the chance to speak with the selection committee, make sure to express why you're excited about the intersection of AI safety and human interaction. Your enthusiasm can set you apart!
✨Tip Number 4
Don’t forget to apply through our website! It’s the best way to ensure your application gets the attention it deserves. Plus, we’re here to support you every step of the way!
We think you need these skills to ace PhD: Safe Agentic LLMs & Formal Verification
Some tips for your application 🫡
Tailor Your CV: Make sure your CV highlights your relevant experience in engineering or computer science. We want to see how your background aligns with the PhD focus on formal software verification and LLM safety.
Craft a Compelling Cover Letter: Your cover letter is your chance to shine! Tell us why you're passionate about Human-AI interaction and how you can contribute to safety in LLM-powered systems. Be genuine and let your enthusiasm show!
Showcase Your Academic Achievements: Don’t forget to mention your academic qualifications, especially if you have a 2.1 honours degree or a master’s. We’re looking for candidates who are not just qualified but also eager to push boundaries in research.
Apply Through Our Website: We encourage you to apply directly through our website. It’s the easiest way for us to receive your application and ensures you don’t miss any important updates about the process!
How to prepare for a job interview at The University of Manchester
✨Know Your Stuff
Make sure you brush up on the latest developments in formal software verification and Large Language Models. Familiarise yourself with key concepts and recent research in these areas, as well as any relevant tools or methodologies. This will show your passion and understanding of the field.
✨Prepare Thoughtful Questions
Think about what you want to know regarding the PhD programme and the university's research environment. Asking insightful questions about Human-AI interaction or safety measures in LLMs can demonstrate your genuine interest and critical thinking skills.
✨Showcase Your Experience
Be ready to discuss your academic background and any projects or research you've undertaken that relate to engineering or computer science. Highlight specific examples where you've tackled challenges or contributed to safety in tech, as this will make you stand out.
✨Practice Makes Perfect
Conduct mock interviews with friends or mentors to get comfortable discussing your ideas and experiences. Practising common interview questions related to your field can help you articulate your thoughts clearly and confidently during the actual interview.
