More jobs:
Research Associate — Formal Modelling & Verification
Job in
Sheffield, South Yorkshire, S5, England, UK
Listed on 2026-09-01
Listing for:
The University of Sheffield
Full Time
position Listed on 2026-09-01
Job specializations:
-
Research/Development
Research Scientist
Job Description & How to Apply Below
The University of Sheffield is seeking a Research Associate for the EPSRC-funded COVERT project, focusing on safe and secure concurrent programming for advanced architectures. Based in Sheffield, you will join the Foundations of Computation group and work with ARM and other partners.
You will conduct formal modelling and verification, develop supporting software, and publish results at leading conferences. This role requires a PhD in a relevant field and strong research output.
#J-18808-LjbffrPosition Requirements
10+ Years
work experience
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
Search for further Jobs Here:
×