13347 - Research Associate
| Posting date: | 11 November 2025 |
|---|---|
| Salary: | £41,064 to £48,822 per year |
| Hours: | Full time |
| Closing date: | 09 December 2025 |
| Location: | Edinburgh, Scotland |
| Remote working: | Hybrid - work remotely up to 3 days per week |
| Company: | University of Edinburgh |
| Job type: | Temporary |
| Job reference: | 13347 |
Summary
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
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