A leading university in the United Kingdom seeks a Research Associate/Senior Research Associate to contribute to research on software systems and formal methods. Candidates should have a PhD in a related field, experience in interactive theorem proving, and the ability to engage with industry partners. This full-time position offers a two-year fixed-term contract with competitive remuneration and effective support for academic research. #J-18808-Ljbffr