13347 - Research Associate
| Dyddiad hysbysebu: | 11 Tachwedd 2025 |
|---|---|
| Cyflog: | £41,064 i £48,822 bob blwyddyn |
| Oriau: | Llawn Amser |
| Dyddiad cau: | 09 Rhagfyr 2025 |
| Lleoliad: | Edinburgh, Scotland |
| Gweithio o bell: | Hybrid - gweithio o bell hyd at 3 ddiwrnod yr wythnos |
| Cwmni: | University of Edinburgh |
| Math o swydd: | Dros dro |
| Cyfeirnod swydd: | 13347 |
Crynodeb
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