Research Associate: Theorem Proving & ML for Vampire Prover

The University of Manchester; Manchester; Hybrid; GBP 60,000 - 80,000; Full time

Job summary

An esteemed educational institution in Manchester is seeking three motivated Research Associates to join a leading research group. The role focuses on enhancing automated reasoning in theorem provers, applying machine learning techniques, and creating a web service for theorem proving. The ideal candidates will have relevant research experience and a PhD in Computer Science or related fields. The university promotes equality, diversity, and flexible working arrangements.

Benefits

Market-leading pension scheme

Employee health and wellbeing services

Exceptional annual leave entitlement

Paid closure over the Christmas period

Local and national retail discounts

Qualifications

• Experience in automated reasoning or theorem proving.
• Strong knowledge of machine learning techniques.
• Ability to work collaboratively in a research environment.

Responsibilities

• Improve theory reasoning in the theorem prover Vampire.
• Develop machine learning strategies for theorem proving.
• Create a public web service for theorem provers.

Skills

Automated reasoning

Machine learning

Theorem proving

Mathematics

Education

PhD in Computer Science or relevant field

Job description

An esteemed educational institution in Manchester is seeking three motivated Research Associates to join a leading research group. The role focuses on enhancing automated reasoning in theorem provers, applying machine learning techniques, and creating a web service for theorem proving. The ideal candidates will have relevant research experience and a PhD in Computer Science or related fields. The university promotes equality, diversity, and flexible working arrangements.