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-Ljbffr
Research Associate: Formal Modelling & Verification in Sheffield employer: Dunhillmedical
The University of Sheffield is an exceptional employer that prioritises the wellbeing and development of its staff. With a strong commitment to diversity, flexible working arrangements, and a generous benefits package including competitive annual leave and family-friendly policies, employees are supported in both their professional and personal lives. Join us in a vibrant work culture that values collaboration and innovation, making a meaningful impact in the academic community.
