Find a job 
Featured Companies 
Featured Universities 
For Companies At a Glance
- Tasks: Join a cutting-edge research team to automate C to Rust translation.
- Company: The University of Edinburgh, renowned for its innovative research.
- Benefits: Competitive salary, flexible working options, and collaboration with top universities.
- Why this job: Make a real impact in AI/ML and formal methods while advancing your career.
- Qualifications: PhD or nearing completion in relevant fields, strong programming skills, and collaborative experience.
- Other info: Opportunity for hybrid work and excellent career growth in a dynamic environment.
The predicted salary is between 35000 - 60000 £ per year.
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
Research Associate employer: Economicsnetwork
Contact Detail:
Economicsnetwork Recruiting Team
StudySmarter Expert Advice 🤫
We think this is how you could land Research Associate
✨Tip Number 1
Network like a pro! Reach out to your connections in the AI/ML and programming communities. Attend meetups or webinars related to formal methods and code translation. You never know who might have a lead on a job or can put in a good word for you!
✨Tip Number 2
Show off your skills! Create a portfolio showcasing your projects, especially those involving C, Rust, or formal methods. This is your chance to demonstrate your expertise and passion for the field, so make it shine!
✨Tip Number 3
Prepare for interviews by brushing up on your technical knowledge and soft skills. Practice explaining complex concepts in simple terms, as communication is key in collaborative environments. We want to see how you think and solve problems!
✨Tip Number 4
Don’t forget to apply through our website! It’s the best way to ensure your application gets seen. Plus, we love seeing candidates who are proactive about their job search. So, get that application in and let’s get you on board!
We think you need these skills to ace Research Associate
Some tips for your application 🫡
Tailor Your CV: Make sure your CV is tailored to the Research Associate role. Highlight your relevant skills in AI/ML, formal methods, and programming languages like C and Rust. We want to see how your experience aligns with what we're looking for!
Craft a Compelling Cover Letter: Your cover letter is your chance to shine! Use it to explain why you're passionate about automated translation and how your background makes you a great fit for our team. Keep it engaging and personal – we love to see your personality come through!
Showcase Your Research Experience: If you've got a track record of research excellence, flaunt it! Include any publications or preprints that demonstrate your expertise in formal verification or related areas. This will help us see your potential contribution to our project.
Apply Through Our Website: We encourage you to apply directly through our website. It’s the easiest way for us to keep track of your application and ensures you don’t miss out on any important updates. Plus, it shows you’re keen to join our team!
How to prepare for a job interview at Economicsnetwork
✨Know Your Stuff
Make sure you brush up on your knowledge of AI/ML, formal verification, and programming languages like C and Rust. Be ready to discuss your research experience and any relevant projects you've worked on. This will show that you're not just familiar with the topics but genuinely passionate about them.
✨Showcase Your Collaboration Skills
Since this role involves working on collaborative programming projects, be prepared to share examples of how you've successfully worked in teams. Highlight any experiences where you integrated different methods or tools, especially if they relate to automated translation or formal methods.
✨Prepare for Technical Questions
Expect some technical questions related to automated software verification and LLMs for code translation. Practice explaining complex concepts in simple terms, as this will demonstrate your understanding and communication skills. It’s all about making those intricate ideas accessible!
✨Ask Insightful Questions
At the end of the interview, don’t forget to ask questions! Inquire about the specific projects you'll be involved in, the team dynamics, or how they measure success in this role. This shows your interest and helps you gauge if the position is the right fit for you.
