University of Sheffield invites applications for a Research Associate on the COVERT project, focusing on safe and secure concurrent programming for advanced architectures. Based in the School of Computer Science, you will collaborate with academics and industrial partners to model, verify, and develop tools for verification.
You will contribute to high-quality research outputs, participate in workshops and conferences, and guide software development supporting verification studies.
#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
