Research Associate/Senior Research Associate
4 settimane fa
Research Associate/Senior Research Associate (Formal Methods) – Scope: Research Associate (Level A) / Senior Research Associate (Level B, Step 1) at UNSW This position is based in Kensington, Sydney, Australia, and is a 2‑year fixed‑term contract (full time). Opportunity The Trustworthy Systems (TS) Research Group, part of UNSW’s School of Computer Science and Engineering, conducts leading research on mathematically provable software systems. The candidate will contribute to proof technique development for systems software and apply them to real‑world verification projects, including the PISTIs‑V initiative which involves linking correctness proofs of user‑mode components to the seL4 specification, compositional reasoning for system‑level properties, formalising security policies and their enforcement, and creating timing‑analytics frameworks for mixed‑criticality systems. The role provides opportunities to develop research output through scientific papers, conferences, workshops, supervision of research students, and industry engagement. Salary Research Associate (Level A) – AUD $110,059 to $117,718 per annum + 17% superannuation Senior Research Associate (Level B, Step 1) – AUD $127,947 per annum + 17% superannuation Responsibilities Develop proof techniques for systems software and implement them in verification projects. Contribute to the PISTIs‑V project, including connecting proofs to the seL4 specification and formalising security policies. Write and publish scientific papers and reports for international journals. Participate in conferences and workshops. Supervise research students (honours and postgraduate). Engage with industry partners on research collaboration. Report directly to Scientia Professor Gernot Heiser; no direct staff reports. Qualifications & Experience PhD in computer science or related field with a focus on formal methods (completed or near completion). Experience with interactive theorem proving (Isabelle/HOL, HOL4, Coq, etc.) and/or proving security properties using model checkers or SMT solvers. Experience with formalisation of security models and properties. Familiarity with current research in formal methods, especially applied to program verification. Demonstrated ability to conduct high‑quality academic research independently. Strong publication record in formal methods and related venues. Ability to work effectively in multidisciplinary teams and build relationships. Excellent communication skills for diverse stakeholders and students. Initiative, enthusiasm, and highly developed interpersonal skills. Commitment to UNSW’s values and relevant policies. Knowledge of health and safety responsibilities and willingness to complete relevant training. Additional Details Full responsibilities are available in the position description (access via ). To Apply Submit your CV, Cover Letter, and responses to the Skills and Experience. Address each listed requirement fully. Applications to other contacts will not be accepted. Contact Eugene Aves – Talent Acquisition Consultant E: Applications close: 11:55 pm (Sydney time) on Sunday 18 January 2026. Equality, Diversity & Inclusion UNSW encourages applications from all backgrounds, including diverse gender, sexual orientation, cultural and linguistic backgrounds, Aboriginal and Torres Strait Islander people, people with disability, and those with caring and family responsibilities. Workplace adjustments for people with disability and flexible work options are available. The University reserves the right not to proceed with any appointment. #J-18808-Ljbffr
-
Milano, Italia UNSW A tempo pienoResearch Associate/Senior Research Associate in Multimodal Foundation Models 1 day ago – be among the first 25 applicants. The Opportunity The School of Computer Science and Engineering is offering an opportunity for a Research Associate/Senior Research Associate to conduct independent and collaborative research within the appointed field and further...
-
Senior Research Associate, Formal Methods
3 settimane fa
Milano, Italia UNSW A tempo pienoA leading research university in Australia is seeking a Research Associate/Senior Research Associate for their Trustworthy Systems Research Group. This role focuses on developing proof techniques in formal methods and contributing to significant verification projects. Ideal candidates will hold a PhD in computer science and have robust expertise in...
-
Clinical Research Associate
4 settimane fa
Milano, Italia Medpace A tempo pienoJoin to apply for the Clinical Research Associate role at Medpace Continue with Google Continue with Google Join to apply for the Clinical Research Associate role at Medpace The Clinical Research Associate position at Medpace offers the unique opportunity to have an exciting career in the research of drug and medical device development while making a...
-
Clinical Research Associate...
7 giorni fa
Milano, Italia Altro A tempo pienoJoin to apply for the Clinical Research Associate role atMedpaceContinue with Google Continue with GoogleJoin to apply for theClinical Research Associaterole atMedpaceThe Clinical Research Associate position at Medpace offers the unique opportunity to have anexciting careerin the research of drug and medical device development whilemaking a differencein the...
-
Clinical Research Associate
1 settimana fa
Milano, Italia Altro A tempo pienoJoin to apply for the Clinical Research Associate role at Medpace Continue with Google Continue with Google Join to apply for the Clinical Research Associate role at Medpace The Clinical Research Associate position at Medpace offers the unique opportunity to have an exciting career in the research of drug and medical device development while making...
-
Clinical Research Associate
3 giorni fa
Milano, Italia Medpace A tempo pienoJoin to apply for theClinical Research Associaterole atMedpaceContinue with Google Continue with GoogleJoin to apply for theClinical Research Associaterole atMedpaceThe Clinical Research Associate position at Medpace offers the unique opportunity to have anexciting careerin the research of drug and medical device development whilemaking a differencein the...
-
Clinical Research Associate
2 settimane fa
Milano, Italia Icon A tempo pienoClinical Research Associate - Remote - USICON plc is a world-leading healthcare intelligence and clinical research organization.We're proud to foster an inclusive environment driving innovation and excellence, and we welcome you to join us on our mission to shape the future of clinical development.We are currently seeking a Senior Clinical Research Associate...
-
Senior Research Associate — Trauma Care
2 settimane fa
Milano, Italia Unsw A tempo pienoA prominent research university in Australia is seeking a Senior Research Associate to engage in trauma care research.The successful candidate will manage their own research portfolio and contribute to grant applications while collaborating with professionals across academic disciplines.This full-time role offers a competitive salary and benefits, including...
-
Senior Clinical Research Associate
7 giorni fa
Milano, Italia Icon A tempo pienoA leading clinical research organization in Italy is seeking a Senior Clinical Research Associate to oversee and manage clinical trial activities.The successful candidate will ensure trials comply with protocols and regulatory standards while supporting site staff.This role requires an advanced degree in a relevant field, extensive experience in clinical...
-
Senior Clinical Research Associate
6 giorni fa
milano, Italia ICON A tempo pienoA leading clinical research organization in Italy is seeking a Senior Clinical Research Associate to oversee and manage clinical trial activities. The successful candidate will ensure trials comply with protocols and regulatory standards while supporting site staff. This role requires an advanced degree in a relevant field, extensive experience in clinical...
