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
#J-18808-Ljbffr