Research Associate/Senior Research Associate
4 giorni fa
Research Associate/Senior Research Associate (Formal Methods)– Scope: Research Associate (Level A) / Senior Research Associate (Level B, Step 1) atUNSWThis position is based in Kensington, Sydney, Australia, and is a 2-year fixed-term contract (full time).OpportunityThe 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.SalaryResearch Associate (Level A) – AUD $110,059 to $117,718 per annum + 17% superannuationSenior Research Associate (Level B, Step 1) – AUD $127,947 per annum + 17% superannuationResponsibilitiesDevelop 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 & ExperiencePhD 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 DetailsFull responsibilities are available in the position description (access via ).To ApplySubmit your CV, Cover Letter, and responses to the Skills and Experience.Address each listed requirement fully.Applications to other contacts will not be accepted.ContactEugene Aves – Talent Acquisition ConsultantE:Applications close: 11:55 pm (Sydney time) on Sunday 18 January ****.Equality, Diversity & InclusionUNSW 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-*****-Ljbffr
-
Senior Research Associate
4 giorni fa
Milano, Italia Unsw A tempo pienoSenior Research Associate – UNSWJoin to apply for the Senior Research Associate role at UNSW.Job DetailsEmployment Type: Full-time (35 hours a week)Duration: 2-year fixed-term contractRemuneration: Level B from $127,947 base (plus 17% superannuation and annual leave loading)Visa: Full Australian working rights for the duration of the contract...
-
Senior Research Associate
5 giorni fa
Milano, Italia UNSW A tempo pienoSenior Research Associate – UNSW Join to apply for the Senior Research Associate role at UNSW. Job Details Employment Type: Full-time (35 hours a week) Duration: 2‑year fixed‑term contract Remuneration: Level B from $127,947 base (plus 17% superannuation and annual leave loading) Visa: Full Australian working rights for the duration of the contract...
-
Clinical Research Associate
1 giorno 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
3 settimane 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
1 settimana fa
Milano, Lombardia, Italia MCR - Mediolanum Cardio Research s.r.l. A tempo pienoMediolanum Cardio Researchèalla ricerca di un/a Clinical Research Associate (CRA) certificato/adi talento e motivato/a per unirsi al nostro team di ricerca clinica.Responsabilità PrincipaliIl candidato ideale sarà responsabile della gestione e del monitoraggio delle attività degli studi clinici in conformità con i protocolli di ricerca, le Good...
-
Milano, Italia Precision Medicine Group A tempo pienoClinical Research Associate II/ Senior Clinical Research Associate Precision for Medicine is not your typical CRO. We are passionate about cultivating our culture and are proud to share extremely high CRA retention rates compared to industry averages. CRAs join us, love their jobs, and stay because of the amazing people and enjoyable quality of life. You...
-
Senior Research Associate — Trauma Care
5 giorni 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,...
-
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
2 settimane 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...
-
Locum Associate/Senior Editor – Energy Research
2 settimane fa
Via Milano, Italia Nature Portfolio A tempo pienoA leading research publishing company is seeking a Locum Associate or Senior Editor for its journal, Nature Energy. This role involves collaboration on manuscript selection, editorial content, and representation at scientific meetings. Applicants should have a PhD and a strong research background in photovoltaics or related fields, along with excellent...
