Senior Research Associate — Trustworthy Systems Verification

2 weeks ago


Sheffield, United Kingdom UNSW Full time

A premier institution for research in Sheffield is seeking a Research Associate/Senior Research Associate within the Trustworthy Systems Research Group. The role focuses on developing proof techniques for systems software and contributing to innovative projects. The ideal candidate should have a PhD in computer science and experience with formal methods. This position offers a full-time, fixed-term contract for 2 years with a competitive salary and opportunities for academic collaboration.
#J-18808-Ljbffr



  • Sheffield, United Kingdom UNSW Full time

    Research Associate / Senior Research Associate – Trustworthy Systems Research Group The Trustworthy Systems (TS) Research Group, based within the School of Computer Science and Engineering, conducts world‑leading research on software systems whose trustworthiness can be mathematically proven. This position is based in Australia and offers an opportunity...


  • Sheffield, United Kingdom BAE Systems Full time

    Job Title Senior Systems Engineer Location Barrow-in-Furness & Sheffield - we offer a variety of hybrid and flexible working arrangements - please speak to the recruiter for more information Salary £52,647 + (Commensurate with skills and experience) What you’ll be doing Prepare and/or oversee the definition of system requirements, the development of...


  • Sheffield, United Kingdom Arm Full time

    Senior Verification Engineer at Arm We’re looking for an experienced verification engineer to work on cutting‑edge Arm IP, shaping technologies that power the next generation of mobile, automotive, and ASIC products. Seniority level: Mid‑Senior level. Employment type: Full‑time. Overview As part of Arm’s Solutions Engineering team, you’ll...


  • Sheffield, United Kingdom Economicsnetwork Full time

    We are seeking to appoint a Research Associate in Power Systems Engineering. You will play a key role in developing advanced modelling and simulation techniques for power systems, with a particular focus on the integration of transport electrification into electrical power systems. You will work in interdisciplinary research areas like power, energy, and...


  • Sheffield, United Kingdom The University of Sheffield Full time

    Research Associate in Power Systems Engineering We are seeking to appoint a Research Associate in Power Systems Engineering. You will play a key role in developing advanced modelling and simulation techniques for power systems, with a particular focus on the integration of transport electrification into electrical power systems. The post is funded by a UKRI...


  • Sheffield, United Kingdom University of Sheffield Full time

    You will integrate into the Division of Neuroscience, which is currently one of the three constituent departments of The School of Medicine and Population Health. The post represents an exciting opportunity to combine computational and bioinformatic approaches with programs of high-quality research generating multi-omic data within the Division of...

  • Research Associate

    3 days ago


    Sheffield, United Kingdom University of Sheffield Full time

    Are you interested in working as part of a large collaborative team that will employ an innovative multidisciplinary strategy to dissect the molecular mechanisms of ribosome specialisation? A postdoctoral Research Associate position is available in the research group of Dr Emma Thomson at the University of Sheffield. The Research Associate will be part of a...


  • Sheffield, United Kingdom UNSW Full time

    Senior Research Associate (Level B) Employment type: Full‑time (35 hours per week) Contract length: 2‑year fixed term Remuneration: Level B from $127,947 base (plus 17% superannuation and annual leave loading) Location: Kensington Campus, Sydney, NSW, Australia Visa: Full Australian working rights required; visa sponsorship not available. Key...


  • Sheffield, United Kingdom Economicsnetwork Full time

    An exciting opportunity for a research associate exists within the Multiscale Materials Informatics and Innovation (M2i2) research group, led by Prof Hector Basoalto, at the University of Sheffield. You will be part of a programme of research that is fully funded by the Aerospace Technology Institute (ATI) in a large collaborative programme with several...


  • Sheffield, United Kingdom University of Sheffield Full time

    An exciting opportunity for a research associate exists within the Multiscale Materials Informatics and Innovation (M2i2) research group, led by Prof Hector Basoalto, at the University of Sheffield. You will be part of a programme of research that is fully funded by the Aerospace Technology Institute (ATI) in a large collaborative programme with several...