Find a job 
Featured Companies 
Featured Universities 
For Companies At a Glance
- Tasks: Conduct cutting-edge research in formal verification and develop innovative software solutions.
- Company: Join the University of Sheffield's dynamic verification group.
- Benefits: Competitive salary, generous pension scheme, flexible working, and professional development opportunities.
- Why this job: Be at the forefront of AI and theorem proving, making a real impact in research.
- Qualifications: Strong research skills and software development experience; familiarity with proof assistants is a plus.
- Other info: Collaborate with top universities and enjoy a diverse, inclusive work environment.
The predicted salary is between 32900 - 39600 £ per year.
Overview
We invite applications for a postdoctoral research associate on the project “Co-Pilots for Isabelle: Learning Logical Structure for a Better Proving Experience”. The post is based in the verification group of the School of Computer Science at the University of Sheffield, supervised by Dr Andrei Popescu and Prof Nikos Aletras.
Responsibilities
- Conduct high-quality research in formal verification.
- Develop software for theorem proving and AI integration.
- Collaborate on extending Isabelle with intelligent copilots and leverage structured information from users and developers.
- Contribute to the collaboration between the University of Sheffield, University of Copenhagen and King\’s College London.
Qualifications
- Ability to conduct high-quality research.
- Excellent skills in developing software for theorem proving and AI integration.
- Familiarity with a proof assistant is a plus.
- Familiarity with the Isabelle/HOL proof assistant and AI models is a big plus.
Project context
The project aims to research next-generation formal reasoning mechanisms by combining AI with traditional structural methods. Isabelle is a widely used proof assistant, and the project explores intelligent copilots that utilize structured information from users and developers to improve proving experiences.
Organisation and rewards
We are committed to flexible working opportunities. The University’s Total Reward Package includes a competitive salary, a generous Pension Scheme and annual leave entitlement, as well as access to a range of learning and development courses to support your personal and professional development.
To learn more about the University of Sheffield, watch a short film and follow @sheffielduni on X for more information.
Diversity and inclusion
We build teams of people from different heritages and lifestyles from across the world, whose talent and contributions complement each other for greater impact in research, teaching and student experience.
Salary
£38,784 to £47,389 with potential to progress to £51,753 through sustained exceptional contribution.
#J-18808-Ljbffr
Research Associate in Formal Modelling and Verification employer: Institute for Modern
Contact Detail:
Institute for Modern Recruiting Team
StudySmarter Expert Advice 🤫
We think this is how you could land Research Associate in Formal Modelling and Verification
✨Tip Number 1
Network like a pro! Reach out to folks in your field, especially those connected to the University of Sheffield or similar projects. A friendly chat can open doors and give you insights that a job description just can't.
✨Tip Number 2
Show off your skills! If you've got a portfolio or examples of your work in formal verification or software development, make sure to have them ready. A quick demo can really impress and set you apart from the crowd.
✨Tip Number 3
Prepare for the interview by diving deep into the project details. Understand how AI integration works with theorem proving and be ready to discuss your ideas on improving user experiences with Isabelle. We want to see your passion and knowledge!
✨Tip Number 4
Apply through our website! It’s the best way to ensure your application gets seen. Plus, it shows you're serious about joining our team at StudySmarter and contributing to exciting projects like this one.
We think you need these skills to ace Research Associate in Formal Modelling and Verification
Some tips for your application 🫡
Tailor Your Application: Make sure to customise your application to highlight how your skills and experiences align with the specific requirements of the Research Associate role. We want to see how you can contribute to our project on Co-Pilots for Isabelle!
Showcase Your Research Skills: In your written application, emphasise your ability to conduct high-quality research in formal verification. Share examples of past projects or papers that demonstrate your expertise and passion for this field.
Highlight Software Development Experience: Since developing software for theorem proving is a key responsibility, be sure to detail your experience in this area. Mention any relevant programming languages or tools you've used, especially if you have familiarity with proof assistants like Isabelle/HOL.
Apply Through Our Website: We encourage you to submit your application through our website for a smoother process. It’s the best way for us to receive your details and get you into our system quickly!
How to prepare for a job interview at Institute for Modern
✨Know Your Research
Make sure you’re well-versed in the latest developments in formal verification and theorem proving. Familiarise yourself with the project ‘Co-Pilots for Isabelle’ and be ready to discuss how your skills can contribute to its goals.
✨Showcase Your Software Skills
Prepare to demonstrate your software development experience, especially in relation to theorem proving and AI integration. Bring examples of past projects or code snippets that highlight your expertise in these areas.
✨Familiarity with Isabelle is Key
If you have experience with the Isabelle/HOL proof assistant, make sure to mention it! If not, do some quick research to understand its functionalities and how it relates to the project. This will show your enthusiasm and willingness to learn.
✨Collaboration is Crucial
Be ready to discuss your experience working in collaborative environments, especially across institutions. Highlight any previous teamwork experiences and how they’ve prepared you for contributing to the collaboration between the University of Sheffield, University of Copenhagen, and King’s College London.