Research Associate
Job Description
Grade UE07: £41,064 to £48,822 per annum
CSE / School of Informatics
Full-time: 35 hours per week
Fixed term: 12 months
The 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 annum
Your Skills And Attributes For Success
Application Information
Please ensure you include the following documents in your application:
The University of Edinburgh holds a Silver Athena SWAN award in recognition of our commitment to advance gender equality in higher education. We are members of the Race Equality Charter and we are also Stonewall Scotland Diversity Champions, actively promoting LGBT equality.
Prior to any employment commencing with the University you will be required to evidence your right to work in the UK. Further information is available on our right to work webpages (opens new browser tab)
The University may be able to sponsor the employment of international workers in this role. This will depend on a number of factors specific to the successful applicant.
The closing date for applications is 9 December 2025
Unless stated otherwise the closing time for applications is 11:59pm GMT. If you are applying outside the UK the closing time on our adverts automatically adjusts to your browsers local time zone.
About Us
As a world-leading research-intensive University, we are here to address tomorrow's greatest challenges. Between now and 2030 we will do that with a values-led approach to teaching, research and innovation, and through the strength of our relationships, both locally and globally.
About The Team
Informatics is the study of how natural and artificial systems store, process and communicate information. Research in Informatics promises to take information technology to a new level, and to place information at the heart of 21st century science, technology and society. The School enjoys collaborations across many disciplines in the University, spanning all three College, and also participates as a strategic partner in the Alan Turing Institute and, with Heriot-Watt University, in the Edinburgh Centre for Robotics.
The School provides a fertile environment for a wide range of studies focused on understanding computation in both artificial and natural systems. It attracts students around the world to study in our undergraduate and postgraduate programmes, and currently has approximately 1000 undergraduate students, 320 MSc students and 350 PhD students. Informatics is one of seven schools in the College of Science and Engineering, at the University of Edinburgh. It is recognised for the employability of its graduates (demand exceeds supply), its contributions to entrepreneurship, and the excellence of its research. Since the first Research Assessment Exercise in 1986, Informatics at Edinburgh has consistently been assessed to have more internationally excellent and world-class research than any other submission in Computer Science and Informatics. The latest REF 2014 results have again confirmed that ours is the largest concentration of internationally excellent research in the UK. This contributes to our ranking in the top 15 CS departments world-wide according to the latest Times Higher Education ranking.
We aim to ensure that our culture and systems support flexible and family-friendly working and recognise and value diversity across all our staff and students. The School has an active programme offering support and professional development for all staff; providing mentoring, training, and networking opportunities.
Grade UE07: £41,064 to £48,822 per annum
CSE / School of Informatics
Full-time: 35 hours per week
Fixed term: 12 months
The 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 annum
Your 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 topic
- Good written and communication skills
- Expertise in C and/or Rust is desirable
Application Information
Please ensure you include the following documents in your application:
- CV
- Cover letter
- A competitive salary
- An exciting, positive, creative, challenging and rewarding place to work.
- To be part of a diverse and vibrant international community
- Comprehensive Staff Benefits, such as a generous holiday entitlement, competitive pension schemes, staff discounts, and family-friendly initiatives. Check out the full list on our staff benefits page (opens in a new tab) and use our reward calculator to discover the total value of your pay and benefits
The University of Edinburgh holds a Silver Athena SWAN award in recognition of our commitment to advance gender equality in higher education. We are members of the Race Equality Charter and we are also Stonewall Scotland Diversity Champions, actively promoting LGBT equality.
Prior to any employment commencing with the University you will be required to evidence your right to work in the UK. Further information is available on our right to work webpages (opens new browser tab)
The University may be able to sponsor the employment of international workers in this role. This will depend on a number of factors specific to the successful applicant.
The closing date for applications is 9 December 2025
Unless stated otherwise the closing time for applications is 11:59pm GMT. If you are applying outside the UK the closing time on our adverts automatically adjusts to your browsers local time zone.
About Us
As a world-leading research-intensive University, we are here to address tomorrow's greatest challenges. Between now and 2030 we will do that with a values-led approach to teaching, research and innovation, and through the strength of our relationships, both locally and globally.
About The Team
Informatics is the study of how natural and artificial systems store, process and communicate information. Research in Informatics promises to take information technology to a new level, and to place information at the heart of 21st century science, technology and society. The School enjoys collaborations across many disciplines in the University, spanning all three College, and also participates as a strategic partner in the Alan Turing Institute and, with Heriot-Watt University, in the Edinburgh Centre for Robotics.
The School provides a fertile environment for a wide range of studies focused on understanding computation in both artificial and natural systems. It attracts students around the world to study in our undergraduate and postgraduate programmes, and currently has approximately 1000 undergraduate students, 320 MSc students and 350 PhD students. Informatics is one of seven schools in the College of Science and Engineering, at the University of Edinburgh. It is recognised for the employability of its graduates (demand exceeds supply), its contributions to entrepreneurship, and the excellence of its research. Since the first Research Assessment Exercise in 1986, Informatics at Edinburgh has consistently been assessed to have more internationally excellent and world-class research than any other submission in Computer Science and Informatics. The latest REF 2014 results have again confirmed that ours is the largest concentration of internationally excellent research in the UK. This contributes to our ranking in the top 15 CS departments world-wide according to the latest Times Higher Education ranking.
We aim to ensure that our culture and systems support flexible and family-friendly working and recognise and value diversity across all our staff and students. The School has an active programme offering support and professional development for all staff; providing mentoring, training, and networking opportunities.