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
Research Associate — Formal Modelling & Verification in Sheffield employer: The University of Sheffield
The University of Sheffield is an exceptional employer, offering a vibrant academic environment that fosters innovation and collaboration. With a strong emphasis on research and teaching excellence, employees benefit from numerous opportunities for professional development and career progression, all while contributing to impactful projects that shape the future of management education.
Contact Details:
The University of Sheffield Recruitment Team
