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 ://;!!PDiH4ENfjr2_Jw!FvmmBLV3X93d27-Lr4fPRb1GB7HQbr-LVyniT-KSZL1gnD2rMfQwKiv7QLOOlmNZ9tciryak0NwASiTa51SADg$ [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 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:
1. Improving theory reasoning in Vampire, with the aim of enhancing its reasoning capabilities in math, including analysis, non-linear math and trigonometric functions.
2. Formalisation of math in a way suitable for completely automatic systems like Vampire
Position 1 requires knowledge of (automatic) first-order theorem proving and will involve programming Vampire.
The aim of direction 2 is understanding 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.
When applying, please specify which of the positions you are applying to (1, 2 or both).
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 programme. 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.
Research Associate in Learning to do Math with Vampires and Spiders • Oxford Road
Doctor of Medicine | Hematology and Oncology.LocumJobsOnline is working with CompHealth to find a qualified Hematology and Oncology MD in Centereach, New York, 11720!.Whether you are searching for ... Show more
N Mountain Road Plainville (10322).Plainville/Southington: 26 hours/week Tues, Wed & Thur 11:30a-8p E/O Sat 8a-12p.Looking to hire Radiologic Technologists who are interested in an opportunity to... Show more
AI data lab for training frontier models and evaluating AI agents.Experts contribute their diverse subject matter knowledge across domains such as finance, healthcare, STEM engineering, and more.AI... Show more
Superprof is the leading tutoring platform in the USA, connecting passionate individuals with eager learners.We operate in over 41 countries, making education accessible to everyone, everywhere.Sup... Show more
Doctor of Medicine | Hematology and Oncology.LocumJobsOnline is working with CompHealth to find a qualified Hematology and Oncology MD in Port Jefferson Station, New York, 11776!.Whether you are se... Show more
Pediatrician (Academic & Teaching Affiliation).Day Work Week (1:5 Call Rotation); Part-Time schedules are also available.We are seeking a Board Certified/Board Eligible.Pediatric & Medical Associat... Show more
Doctor of Medicine | Hematology and Oncology.LocumJobsOnline is working with CompHealth to find a qualified Hematology and Oncology MD in Milford, Connecticut, 06460!.This opportunity is in Milford... Show more
AlliedTravelCareers is working with Fusion Medical Staffing to find a qualified Mammography Tech in Wilton, Connecticut, 06897!.Facility in Wilton, Connecticut.Fusion Medical Staffing is seeking a ... Show more
AlliedTravelCareers is working with Aya Healthcare to find a qualified Mammography Tech in New Haven, Connecticut, 06524!.Aya Healthcare has an immediate opening for the following position: Mammogr... Show more
DataAnnotation is committed to creating high-quality AI.Enjoy the flexibility of remote work and the freedom to set your own schedule.This is an opportunity to work with us as an independent contra... Show more
CrossMed Healthcare is seeking an experienced Cath Lab Tech for an exciting Travel Allied job in Waterbury, CT.Shift: 8 hr days Start Date: 07/13/2026 Duration: 17 weeks Pay: $2604 / Week.At CrossM... Show more
Associate Veterinarian (Full-Time or Part-Time).Shore Haven Veterinary Hospital – Shore Haven, Connecticut.If you’re the kind of veterinarian who wants to practice good medicine.We’re not trying to... Show more
The Department of Ophthalmology and Visual Science at Yale School of Medicine is expanding the clinical practice and seeks an outstanding Oculoplastics trained Ophthalmologist for an available posi... Show more
Doctor of Medicine | Pediatrics - General/Other.LocumJobsOnline is working with CompHealth to find a qualified Pediatrics MD in Stony Brook, New York, 11794!.Come live and practice in this upscale ... Show more
SNIPES Manager in Training (MIT).We live sneakers, streetwear, and neighborhood culture! All Day! Every Day!.SNIPES is one of the leading sneaker and streetwear retailers worldwide.Since opening it... Show more
DescriptionState University of New York at Stony Brook is seeking one fellowship-trained breast radiologist at Assistant, Associate or Full Professor rank, for part-time or full-time positions.Cand... Show more
Superprof is the leading tutoring platform in the USA, connecting passionate individuals with eager learners.We operate in over 41 countries, making education accessible to everyone, everywhere.Sup... Show more
Job Category: Stores Requisition Number: SALES006837.PS Smith Haven Mall Lake Grove, NY 11755, USA.Join the Pacsun Community Pacsun is dedicated to delivering an exclusive collection of the most re... Show more
