Research Associate, Formal Modelling & Verification

Diversity Dashboard; Sheffield; On-site; GBP 39,000 - 40,000; Full time

Benefits offered by this job

Annual leave (41 days pro rata incl. B

Generous pension

Flexible working

Discounts & benefits

Staff development opportunities

Job summary

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.

Qualifications

• PhD in science/engineering with strong research track record
• Experience in software development or formal methods
• Familiarity with Isabelle/HOL desirable
• Proven publication record in top venues
• Ability to develop software to support research
• Strong written and verbal communication skills
• Ability to work in multidisciplinary teams with industry partners
• Creative problem solving and resource planning abilities
• Open to collaboration and mentoring in a university environment

Responsibilities

• Perform formal modelling and verification of safety/security for advanced hardware architectures
• Develop and adapt research software as needed
• Engage with industry partners (e.g., ARM) to deploy verification solutions
• Publish in high-quality outlets and prepare formal deliverables
• Plan work to meet project milestones and participate in group meetings
• Coordinate with site teams and contribute to collaborative workload
• Present research to visitors and at seminars and trainings
• Embed sustainability considerations into research activities
• Contribute to proposal development and future research directions

Skills

Formal methods

Software development

Isabelle/HOL

Academic publishing

Written communication

Team collaboration

Creative problem solving

Project planning

Education

PhD in CS/Engineering (or near completion)

Tools

Isabelle/HOL

Job description

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.