Research Associate/Senior Research Associate
il y a 19 heures
Research Associate/Senior Research Associate (Formal Methods) Join the Trustworthy Systems (TS) Research Group at UNSW to conduct world‑leading research on software systems whose trustworthiness can be mathematically proven. Location & Employment Full time Fixed‑term contract – 2 years Location: Kensington – Sydney, Australia 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 and apply proof techniques for systems software and verify real‑world software systems. Contribute to the PISTIs‑V project: connect correctness proofs of usermode components to the seL4 specification, perform compositional reasoning for system‑level properties, formalise security policies and enforcement, and develop reasoning frameworks for timeliness in mixed‑criticality systems. Write scientific papers and reports for international journals. Present work at conferences and workshops. Assist in supervising research students and engage with industry partners. Qualifications PhD in computer science or related discipline with a focus on formal methods (completed or near completion for Associate; required for Senior). Experience with interactive theorem proving (Isabelle/HOL, HOL4, Coq, etc.) or with proven security properties using model checkers or SMT solvers. Experience with formalisation and reasoning about security properties and models. Familiarity with current research in formal methods, especially applied to program verification. Track record of high‑quality academic research and publications in formal methods. Ability to conduct independent research with limited supervision. Strong interpersonal and communication skills. Commitment to UNSW’s values and relevant policies. Knowledge of health and safety responsibilities. Senior Research Associate – Additional Requirements Demonstrated ability to supervise honours and postgraduate research students. Track record of research with high impact and evidence of research excellence and leadership. Significant involvement with the profession and/or industry. Capacity to implement required UNSW health and safety policies. Application Process Please apply with a CV, cover letter and responses to the Skills & Experience section. Address each skill and experience listed. Applications will not be accepted if sent to the contact listed below. Contact: Eugene Aves – Talent Acquisition Consultant; eugene.aves@unsw.edu.au 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. #J-18808-Ljbffr
-
Clinical Research Associate
il y a 17 heures
Paris, France Excelya Temps pleinJoin to apply for the Clinical Research Associate role at Excelya Join to apply for the Clinical Research Associate role at Excelya Direct message the job poster from Excelya Talent Acquisition Partner at Excelya | Recruiting Clinical Research Profiles About the Job Join Excelya, where Audacity, Care, and Energy define who we are and how we work. We believe...
-
Clinical Research Associate II
il y a 16 heures
Paris, France Allucent Temps pleinClinical Research Associate II / Senior Clinical Research Associate (France) Bring your monitoring expertise to the forefront of innovation. We are looking for a Clinical Research Associate (CRA II) or Senior Clinical Research Associate (Sr. CRA) to join our A-team. As a CRA II / Sr. CRA at Allucent, you will independently control and monitor investigational...
-
Remote Senior Clinical Research Associate – France
il y a 17 heures
Paris, France ICON Strategic Solutions Temps pleinA leading clinical research organization is seeking a Senior Clinical Research Associate to manage investigator sites and ensure compliance with clinical guidelines. The ideal candidate will have a minimum of 2 years’ experience in the role or related fields, excellent organizational and communication skills, and fluency in French coupled with proficiency...
-
Senior Clinical Research Associate
il y a 20 heures
Paris, France Nabla Temps pleinContext Karavela is a neuroscience research company established in 2025 and currently based in Paris, France. We build a foundation model of the human brain relying on next‑generation magnetic resonance. To do so, Karavela is collecting a very large MRI dataset from healthy volunteers listening to naturalistic stimuli (e.g., audiobooks, podcasts, radio...
-
Senior Clinical Research Associate
il y a 2 semaines
Paris, France Barrington James Temps pleinSenior Recruitment Consultant | Principal Investigators | Permanent Clinical European Lead Job Title: Oncology Clinical Research Associate (CRA) Location: Paris, France Department: Clinical Operations Reports to: Clinical Project Manager (CPM) / Director of Clinical Operations About Us As a global leader in providing outsourced clinical development and...
-
Research Associate
il y a 21 heures
Paris, France UNSW Temps pleinPostdoctoral Research Associate (Level A) – Smart Materials and Surfaces Research Group, School of Chemistry, UNSW, Sydney, Australia. The School of Chemistry teaches more than 2000 undergraduate students each year from many different faculties and offers four different undergraduate programmes leading to majors in chemistry that are taught in five...
-
Research Associate
il y a 17 heures
Paris, France UNSW Temps pleinResearch Associate - Chemistry Join to apply for the Research Associate - Chemistry role at UNSW. This job is based in Australia. 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 THIS ROLE IS LOCATED...
-
Postdoctoral Electrochemistry Research Associate
il y a 21 heures
Paris, France UNSW Temps pleinA leading university in Paris is seeking a Postdoctoral Research Associate to contribute to the Smart Materials and Surfaces research group. Candidates should possess a PhD in electrochemistry and have extensive experience in electrochemical measurements and materials synthesis. This full-time position involves conducting research, publishing results, and...
-
Senior Clinical Research Associate
il y a 16 heures
Paris, France ICON Temps pleinClinical Research Associate ICON 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 Clinical Research Associate II to join our...
-
Research Associate, Analytical Chemistry
il y a 21 heures
Paris, France UNSW Temps pleinA leading research university is looking for a Research Associate in Chemistry to conduct advanced research on polymer coated nanoparticles. This role involves designing experiments, synthesizing materials, and publishing results. Candidates must hold a PhD in analytical chemistry or a related field and have experience in materials synthesis. The position...
