Research Associate — Formal Modelling & Verification

The University of Sheffield; Sheffield; On-site; GBP 39,000 - 40,000; Full time

Benefits offered by this job

41 days annual leave

Flexible working/hybrid options

Generous pension

Staff discounts

Learning and mentoring opportunities

Staff networks

Job summary

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.

Qualifications

• PhD in a scientific or engineering discipline preferred (CS gives strongest fit).
• Outstanding candidates without a PhD will be considered if pursuing one on this project.
• Experience in software development or formal methods is essential.
• Familiarity with a proof assistant, ideally Isabelle/HOL.
• Ability to develop and adapt software to support research.
• Strong written and verbal communication for publication and reports.

Responsibilities

• Perform research in formal modelling and verification of safety and security for advanced hardware architectures.
• Create and adapt software to support the project goals.
• Engage industry partners to aid deployment of verification solutions.
• Publish in high-quality outlets and prepare formal project deliverables.
• Plan work to meet project milestones and coordinate across sites.

Skills

Software development

Formal methods

Isabelle/HOL

Communication

Teamwork

Problem solving

Education

PhD in CS/Engineering (near completion)

PhD near completion considered

Tools

Isabelle/HOL

Job description

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.