The University of Manchester is seeking two highly motivated Research Associates for a project on automating math with Vampires and Spiders. The roles include improving theorem reasoning and formalising mathematics for the Vampire prover.
One position requires knowledge of first-order theorem proving, while the other focuses on interactive theorem proving. Both roles support flexibility and diversity in the workplace.
#J-18808-Ljbffr
Contact Details:
The University of Manchester Recruitment Team
