Find a job 
Featured Companies 
Featured Universities 
For Companies At a Glance
- Tasks: Research and develop safe AI systems through formal verification techniques.
- Company: Leading UK university at the forefront of AI 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 human-AI interaction.
- Qualifications: 2.1 honours degree or master's in engineering or computer science.
- Other info: Open to both Home and overseas applicants with exciting research opportunities.
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 in London 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 in London
✨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 diving deep into your research interests. Be ready to discuss how your background in engineering or computer science aligns with the PhD focus on LLM safety and formal verification.
✨Tip Number 3
Showcase your passion! When you get the chance, express why you're excited about Human-AI interaction and how you envision contributing to safety in LLM-powered systems.
✨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 love seeing candidates who are proactive!
We think you need these skills to ace PhD: Safe Agentic LLMs & Formal Verification in London
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. Keep it engaging and personal!
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 have a solid foundation in the relevant disciplines.
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 details about the process!
How to prepare for a job interview at The University of Manchester
✨Know Your Stuff
Make sure you brush up on your knowledge of formal software verification and Large Language Models. Be ready to discuss recent advancements in the field and how they relate to safety in AI systems. This shows your passion and understanding of the subject matter.
✨Prepare Thoughtful Questions
Think about what you want to know regarding the PhD programme and the university's research environment. Asking insightful questions not only demonstrates your interest but also helps you gauge if this is the right fit for you.
✨Showcase Your Experience
Be prepared to talk about your previous projects or research that align with the role. Highlight any relevant engineering or computer science experience, especially if it involves Human-AI interaction or safety protocols. This will help you stand out as a strong candidate.
✨Practice Makes Perfect
Conduct mock interviews with friends or mentors to get comfortable with articulating your thoughts. Focus on explaining complex concepts clearly and concisely, as this will be crucial when discussing your ideas during the actual interview.
