More jobs:
Research Associate: Theorem Proving & ML Vampire Prover
Job in
Manchester, Greater Manchester, M9, England, UK
Listed on 2026-01-03
Listing for:
The University of Manchester
Full Time
position Listed on 2026-01-03
Job specializations:
-
Research/Development
Data Scientist
Job Description & How to Apply Below
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.
#J-18808-Ljbffr
Position Requirements
10+ Years
work experience
Note that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
×