Research Associate in Learning to do Math Vampires and Spiders

Overall Purpose of the Job

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 ://;!!!

F-HQ
-LVyniT-KSZL1gn D2r Mf Qw Kiv7

QLOOlmNZ9tciryak0

NwASi Ta
51

SADg$ [renaissance philanthropy[.]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.

• Improving theory reasoning in Vampire, with the aim of enhancing its reasoning capabilities in math, including analysis, non‑linear math and trigonometric functions.
• 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.

Position 2:
The aim of direction 2 is understanding capabilities and limitations of modern automatic theorem provers for conducting textbook proofs in math. An ideal candidate 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 REF
2014 and REF
2021).

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.