Research Associate

The University of Edinburgh - 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