Research Associate: Formal Modelling & Verification

Dunhillmedical; Sheffield; Hybrid; GBP 39,000 - 40,000; Full time

Benefits offered by this job

Hybrid working

Generous pension scheme

discounts and rewards

Staff networks

Job summary

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.

Qualifications

• PhD degree (or close to completion) in a scientific or engineering discipline (preferably computer science).
• Experience in software development or formal methods.
• Familiarity with a proof assistant, ideally Isabelle/HOL.
• Ability to develop and adapt software to support research.
• Effective written and verbal communication and report writing.
• Ability to work in a team with academic and industrial partners.

Responsibilities

• Perform research in formal modelling and verification of safety and security properties for advanced hardware architectures.
• Create and adapt software to support research.
• Engage industry partners (e.g., ARM) to aid deployment of verification solutions.
• Publish in top conferences and journals and prepare detailed reports.
• Plan work to meet project deliverables and coordinate meetings across sites.
• Contribute to collaborative research within the Foundations of Computation group.

Skills

Formal methods

Isabelle/HOL

Software development

Team collaboration

Communication

Education

PhD (or near completion) in CS/engineering

Tools

Isabelle/HOL environment

Job description

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.