Research Associate: Formal Modelling & Verification
Job in
Sheffield, South Yorkshire, S5, England, UK
Listed on 2026-08-30
Listing for:
Dunhillmedical
Full Time
position Listed on 2026-08-30
Job specializations:
-
Research/Development
Job Description & How to Apply Below
The University of Sheffield invites applications for a Research Associate in Formal Modelling and Verification in the School of Computer Science. You will join the COVERT project focused on safe and secure concurrent architectures, collaborating with partners including ARM and other universities.
The role requires a PhD (or close to completion) in CS or engineering, strong background in formal methods and software development, and the ability to publish in high-profile venues.
#J-18808-LjbffrPosition 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:
×