Senior Formal Methods Researcher – System Verification

(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...

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...

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...

A leading Australian university is seeking a Research Associate/Senior Research Associate in formal methods. This role involves contributing to research on software systems, developing proof techniques, and writing papers for international journals. Ideal candidates will have a PhD in computer science and experience with interactive theorem proving. The...

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...

A leading technology firm in Australia is seeking a Senior Verification & Validation Engineer to lead complex system integration and advanced system-level testing. The ideal candidate will have over 5 years of experience in safety-critical environments, strong skills in automation, and the ability to mentor junior engineers. This position offers the chance...