Senior Formal Methods Researcher – Verification

A leading research group is looking for a Senior Research Associate to focus on proof techniques for systems software and its application to real-world software verification. Ideal candidates will hold a PhD in Computer Science with experience in formal methods, and be able to work in cross-disciplinary teams. The role is based in New South Wales, Australia...

A leading university in Queensland is seeking a Research Associate/Senior Research Associate to contribute to advanced research projects focusing on formal methods and software verification. The successful candidate will work alongside experts, publish findings, and assist students. This role offers professional development and collaboration with industry...

(Senior) Research Associate – Formal Methods Physicist by training, computer engineer by passion. Scientia Professor at UNSW Sydney, Leader of the Trustworthy Systems Group welcomes postdoc/senior postdoc applicants to work on proof techniques for systems software and their application to the verification of real‑world software systems at the Trustworthy...

Research Associate/Senior Research Associate (Formal Methods) Apply for the role at UNSW. Opportunity The Trustworthy Systems (TS) Research Group, within the School of Computer Science and Engineering, conducts world‑leading research on software systems whose trustworthiness can be mathematically proven. The group offers an opportunity for a Research...

Research Associate/Senior Research Associate (Formal Methods) Join to apply for the Research Associate/Senior Research Associate (Formal Methods) role at UNSW. The Opportunity The Trustworthy Systems (TS) Research Group, based within the School of Computer Science and Engineering, conducts world‑leading research on software systems whose trustworthiness...

Join to apply for the Research Associate/Senior Research Associate (Formal Methods) role at UNSW . Overview 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. The group offers an opportunity for a...

Senior Mechanical Engineer, Verification - Fixed Term Join to apply for the Senior Mechanical Engineer, Verification - Fixed Term role at Saluda Medical About Saluda Medical Founded in 2013, Saluda Medical is dedicated to transforming patients' lives with disruptive neuromodulation solutions. As leaders in the field, we have achieved exceptional pain...

About Saluda Medical Founded in 2013, Saluda Medical is dedicated to transforming patients' lives with disruptive neuromodulation solutions. As leaders in the field, we have achieved exceptional pain management results through more than a decade of advanced research, development, and clinical experience. We are a global healthcare company redefining Spinal...

A leading healthcare company is seeking a Senior Design Researcher to drive evidence-based decisions in product development and marketing strategies. This role emphasizes mixed-method research and stakeholder collaboration to uncover customer insights and inform product policies. The candidate should have over 5 years of relevant experience and strong...

Verification & Validation Engineer - Process Transformation Join to apply for the Verification & Validation Engineer - Process Transformation role at Resmed Let’s Talk About The Role We are seeking a Verification & Validation (V&V) Engineer who thrives at the intersection of engineering rigour and innovation. In this role, you won’t just execute V&V...