Research Associate in Formal Modelling and Verification

University of Sheffield, Sheffield, United Kingdom

What our tracking knows about this posting

Published on 27 August 2026 ยท first appeared in our records on 21 September 2026.

Stable posting: first seen on 21 September 2026, with no abnormal reposting.

This posting shows no salary, while 32% of open postings in the same sector in this country (United Kingdom) do.

View the posting at the employer Have my resume reviewed for this job
, flexible working opportunities, a commitment to your development and wellbeing, a wide range of retail discounts... will be mechanised in the Isabelle proof assistant , using examples from MITRE, the Folly concurrency library and industrial partners...

Other recent postings in the same sector