Research Associate
1 week ago
Full-time: 35 hours per weekFixed term: 12 monthsThe University of Edinburgh program synthesis research group are seeking a research assistant to work on automated translation of C to Rust. You will work on methods to improve efficiency and accuracy of automated transpiration, by integration of formal methods with LLM-based translation tools. This work forms part of a larger project funded by DARPA, in collaboration with the University of California, Berkeley, the University of Wisconsin‑Madison and the University of Illinois Urbana‑Champaign.This post is full-time (35 hours per week); however, we are open to considering part-time or flexible working patterns. We are also open to considering requests for hybrid working (on a non-contractual basis) that combines a mix of remote and regular on-campus working.The salary for this post is £41,064 to £48,822 per annumYour skills and attributes for success:A PhD or near completion in AI/ML, Formal Verification, PL, or related areas of computer science/engineering (for the postdoctoral level position)Track record of research excellence evidenced by e.g. preprints/publication record (for postdoctoral level position)Excellent programming skills and experience working on collaborative programming projects.Experience in formal methods (automated software verification, SAT/SMT solving, formal synthesis), or LLMs for code-translation, and willingness to learn about the other topicGood written and communication skillsExpertise in C and/or Rust is desirable #J-18808-Ljbffr
-
Research Associate/Senior Research Associate
2 weeks ago
City of Edinburgh, United Kingdom UNSW Full timeResearch 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,...
-
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...
-
Postdoctoral Research Associate
1 week 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 Associate
3 days ago
City of Edinburgh, United Kingdom UNSW Full timeSenior Research Associate (Level B) – Trauma Care Research Join UNSW as a Senior Research Associate in the field of trauma care, focusing on management of traumatic fractures in resource‑constrained settings. The role reports to the Professor and has no direct reports. Employment type: Full‑time (35 hours a week) Duration: 2‑year fixed‑term...
-
13231- Postdoctoral Research Associate
1 week ago
City of Edinburgh, United Kingdom University of Edinburgh Full timeGrade 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) Opportunity Applications are invited for a Postdoctoral Research Associate at the Higgs Centre for Theoretical Physics, to work on...
-
13229 - Postdoctoral Research Associate
6 days ago
City of Edinburgh, United Kingdom University of Edinburgh Full timeOverview Grade UE07: £41,064 to £48,822 per annum CSE / School of Physics and Astronomy Full-Time: 35 Hours per week Fixed Term: 2 years - 1st October 2026 – 30th September 2028 (third year extension possible) The Opportunity Applications are invited for up to two Postdoctoral Research Associate at the Higgs Centre for Theoretical Physics, to work on...
-
13438- Research Associate
2 weeks ago
City of Edinburgh, United Kingdom University of Edinburgh Full timeGrade UE08: £50,253- £61,759 per annum College of Science & Engineering, School of Informatics Full Time: 35 hours per week Fixed Term: 7 months The Opportunity: The School of Informatics, University of Edinburgh invites applications for a Research Associate. The post holder will work on the project “Optimal orchestration of heterogeneous quantum...
-
Research Associate in Quantum Communications
1 week ago
City of Edinburgh, United Kingdom Economicsnetwork Full timeFull-time: 35 hours per week Fixed term: up to 18 months, tentative start date 1 March 2026 The School of Engineering seeks to appoint a Research Associate in Quantum Communications. This Research Associate position will contribute to the EPSRC-fundedQUANTA project— Quantum Communications over Atmospheric Channels Aided by Detector Arrays — within the...
-
13467 - Postdoctoral Research Associate
5 days ago
City of Edinburgh, United Kingdom University of Edinburgh Full timeGrade UE07: £41,064 to £48,822 per annumCSE / School of Physics and AstronomyFull-Time: 35 hours per weekFixed Term: 3 years (1st September 2026 – 31st August 2029)Applications are invited for a three-year Postdoctoral Research Associate at the Higgs Centre for Theoretical Physics, to work on strong‑field problems in gauge theory and gravity.The...
-
13471- Research Associate
4 days ago
City of Edinburgh, United Kingdom University of Edinburgh Full timeGrade UE07: £41,064- $48,822 per annum College of Science & Engineering, School of Informatics Full Time: 35 hours per week Fixed Term: 12 months The Opportunity The School of Informatics at the University of Edinburgh invites applications for a Postdoctoral Researcher (Research Associate) in areas including quantum cryptography, cryptanalysis, hardware...
