Research Associate — Formal Modelling & Verification

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-Ljbffr…