The University of Manchester
Research Associate in Learning to do Math with Vampires and Spiders
How your CV stacks up
Upload your CV to see how well it fits this job role
?%
Research Associate Positions at the University of Manchester
We are seeking two highly motivated and experienced Research Associates to join an established research group. These positions are part of the new project “Learning to do Math with Vampires and Spiders” awarded to the Computer Science Department of the University of Manchester, see renaissancephilanthropy.org.
The formal methods group conducts research in automated reasoning, with recent emphasis on solving problems in mathematics. We build the world-leading automatic theorem prover Vampire, based on our research in theory, implementation, and applications of theorem proving. Vampire has won over 70 world championship titles in first-order and higher-order theorem proving.
Overall Purpose of the Job
There are two available positions. The corresponding research directions are:
-
Position 1: Improving theory reasoning in Vampire, with the aim of enhancing its reasoning capabilities in math, including analysis, non-linear math, and trigonometric functions. This position requires knowledge of (automatic) first-order theorem proving and will involve programming Vampire.
-
Position 2: Formalisation of math in a way suitable for completely automatic systems like Vampire. The aim of this direction is understanding the capabilities and limitations of modern automatic theorem provers for conducting textbook proofs in math. An ideal candidate for Position 2 should have knowledge of interactive theorem proving and be able to make experiments with Vampire.
Reasons to use Rodeo
Start with a chat, not a search bar
Grad scheme, placement, apprenticeship? Not sure what you want yet — that's fine. Your agent talks it through with you and turns "I have no idea" into a shortlist.
It searches the market for you
Every day your agent scans the market matching roles against what actually matters to you, not just keywords on a CV.
Only hits
No noise. No "maybe this fits." Just roles with a clear explanation of why they're right — and where to focus when applying.
When applying, please specify which of the positions you are applying to (1, 2, or both).
About the University
Manchester has a long and distinguished track record in the research and teaching of core Computer Science, and across interfaces to adjacent disciplines. Founded upon the pioneering work of Williams, Kilburn, and Turing, we were the first academic Department of Computer Science in the UK and one of the first to run an undergraduate program. Our research strength is reflected in consistently strong returns in UK research assessment exercises (5* in RAE 2000, 2nd in Research Power in RAE 2008, and ranked equal 1st for research environment in REF2014 and REF2021).
The Department is strongly committed to promoting equality and diversity, including the Athena SWAN charter for gender equality in higher education. The Department holds a Bronze Award for good practice in relation to gender, including flexible working arrangements, family-friendly policies, and support to allow staff to achieve a good work-life balance. We positively welcome applications from women for this post. For further information, please visit: Equality and Diversity.
Get help with your application
Your very own career expert that helps elevate your application to the next level.
What You Will Get in Return
- Fantastic market-leading Pension scheme
- Excellent employee health and wellbeing services, including an Employee Assistance Programme
- Exceptional starting annual leave entitlement, plus bank holidays
- Additional paid closure over the Christmas period
- Local and national discounts at a range of major retailers
Our University is positive about flexible working – you can find out more here.
Hybrid working arrangements may be considered.
Please be aware that due to the number of applications, we are unfortunately not able to provide individual feedback on your application.
Please note that we are unable to respond to enquiries, accept CVs, or applications from Recruitment Agencies. Any CVs submitted by a recruitment agency will be considered a gift.
Enquiries About the Vacancy, Shortlisting, and Interviews
- Name: Andrei Voronkov
- Email: andrei.voronkov@manchester.ac.uk
General Enquiries
Technical Support
This vacancy will close for applications at midnight on the closing date.
Please see the link below for the Further Particulars document, which contains the person specification criteria.
“It took my CV and asked me questions relevant to understanding what kind of jobs to suggest for me. Suggestions were almost perfect. Jobs were exactly what I’ve been looking for.”
Jessica, London
Skills