Research Associate/Senior Research Associate
1 week ago
Research Associate/Senior Research Associate (Formal Methods) Position at UNSW in Kensington – Sydney, Australia. Fixed-term contract – 2 years. Full time. Salary ranges: Level A: AUD $110,059 to $117,718 per annum + 17% superannuation; Level B: AUD $127,947 per annum + 17% superannuation. About the Opportunity Theworthy 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 Research Associate/Senior Research Associate to contribute to a range of research activities, including the development of proof techniques for systems software and their application to the verification of real‑world software systems. The Senior Research Associate will report to Scientia Professor Gernot Heiser and has no direct reports. Responsibilities Develop proof techniques for systems software and apply them to verification of real‑world software systems. Contribute to the group’s PISTIs‑V project: connecting correctness proofs of usermode components to the seL4 specification, compositional reasoning for system‑level properties, formalising security policies and their enforcement, and developing reasoning frameworks for timeliness in mixed‑criticality systems. Assist in the supervision of research students and actively engage with industry partners. Qualifications PhD in computer science or a related discipline with on formal methods, completed or close to completion. Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience with proving security properties with model checkers or SMT solvers. Experience with formalisation of and formal reasoning about security properties and models is highly desirable. Familiarity with current research in formal methods, especially applied to program verification. Demonstrated ability to undertake high‑quality academic research and conduct independent research with limited supervision. Demonstrated track record of publications in formal methods. Strong track record of publications and conference presentations relative to opportunity. Ability to work in a team, collaborate across disciplines and build effective relationships. Strong interpersonal skills, ability to communicate and interact with a diverse range of stakeholders and students. Demonstrated ability to supervise honours and postgraduate research students (Senior Research Associate). Application Please click the apply now button and submit your CV, Cover Letter and Responses to the Skills and Experience. System will automatically address the listed skills and experience. Applications close: 11:55 pm (Sydney time) on Sunday 18 January 2026. EEO Statement UNSW is committed to evolving a culture that embraces equity and supports a diverse and inclusive community where everyone can participate fairly, in a safe and respectful environment. We welcome candidates from all backgrounds and encourage applications from people of diverse gender, sexual orientation, cultural and linguistic backgrounds, Aboriginal and Torres Strait Islander background, people with disability and those with caring and family responsibilities. UNSW provides workplace adjustments for people with disability and access to flexible work options for eligible staff. The University reserves the right not to proceed with any appointment. Contact Eugene Aves – Talent Acquisition ConsultantE: eugene.aves@unsw.edu.au #J-18808-Ljbffr
-
City Of London, United Kingdom Research Partnership Full timeA leading pharma market research firm in London is seeking an experienced Associate Director to oversee major quantitative brand tracking programs. You will manage client relationships and work closely with project teams to ensure successful delivery of research projects. The ideal candidate will have over 7 years of experience in quantitative market...
-
Research Associate
2 weeks ago
City of Edinburgh, United Kingdom UNSW Full timeResearch Associate – UNSW Join to apply for the Research Associate role at UNSW. Why UNSW One of Australia’s leading research & teaching universities Vibrant campus life with a strong sense of community & inclusion Enjoy a career that makes a difference by collaborating & learning from the best The Research Associate (Level A) is expected to contribute...
-
City of Edinburgh, United Kingdom UNSW Full timeResearch Associate/Senior Research Associate in Multimodal Foundation Models 2 days ago. Be among the first 25 applicants. The Opportunity The School of Computer Science and Engineering at UNSW is offering an opportunity for a Research Associate/Senior Research Associate. In this role you will conduct independent and collaborative research within your...
-
Senior Associate Consultant
6 days ago
City Of London, United Kingdom Cambridge Healthcare Research Full timeSenior Associate Consultant - London Cambridge Healthcare Research (CHR) invites applications for a Senior Associate Consultant in our Solici consulting arm, focused on competitive intelligence in the pharmaceutical industry. CHR, established in 2013, employs over 120 staff and is dedicated to providing critical insights that drive healthcare decisions...
-
Senior Research Associate, Formal Methods
7 days ago
City of Edinburgh, United Kingdom UNSW Full timeA 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...
-
City of Edinburgh, United Kingdom UNSW Full timeA prestigious university in Edinburgh is offering a Research Associate/Senior Research Associate position focused on multimodal foundation models. The role includes conducting innovative research and collaborating with industry partners while contributing to scientific publications. Candidates should hold a PhD or relevant experience in deep learning or...
-
Postdoctoral Research Associate
4 days ago
City of Edinburgh, United Kingdom The University of Edinburgh Full timeJoin to apply for the Postdoctoral Research Associate role at The University of Edinburgh Grade UE07: £41,064- £48,822 per annum College of Science & Engineering, School of Physics & Astronomy Full Time: 35 hours per week Fixed Term: 2 years (October 1, 2026 – September 30, 2028, third year extension possible) The Opportunity Applications are invited for...
-
Senior Research Executive
2 days ago
City Of London, United Kingdom Research Partnership Full timeOverviewResearch Partnership (part of Inizio Advisory) is one of the world's largest pharma market research and consulting agencies with over 250 researchers, consultants, project managers and support staff. Our teams are located across the globe, in Europe (London, Lyon), North America (New York, Philadelphia, San Francisco) and Asia (Singapore, India).As...
-
Research Associate
2 weeks ago
City of Edinburgh, United Kingdom The University of Edinburgh Full timeResearch Associate – The University of Edinburgh Grade UE07: £41,064‑£48,822 per annum College of Science and Engineering, School of Informatics Fixed Term: 13 months Full Time: 35 hours per week Overview The position is in collaboration with the Huawei Trustworthy Technology and Engineering Laboratory Munich (TTE‑DE). We aim to create a new...
-
Associate Director
2 weeks ago
City Of London, United Kingdom Research Partnership Full timeAbout us We invite you to come grow with us. Research Partnership (part of Inizio Advisory) is one of the world’s largest pharma market research and consulting agencies with over 250 researchers consultants project managers and support staff. Our teams are located across the globe in Europe (London Lyon), North America (New York Philadelphia San Francisco)...
