Research Engineer, Code Analysis

Artificial Intelligence could be one of humanity’s most useful inventions. At Google DeepMind, we’re a team of scientists, engineers, machine learning experts and more, working together to advance the state of the art in artificial intelligence. We use our technologies for widespread public benefit and scientific discovery, and collaborate with others on critical challenges, ensuring safety and ethics are the highest priority.

We’re a dedicated scientific community, committed to “solving intelligence” and ensuring our technology is used for widespread public benefit. 

We’ve built a supportive and inclusive environment where collaboration is encouraged and learning is shared freely. We don’t set limits based on what others think is possible or impossible. We drive ourselves and inspire each other to push boundaries and achieve ambitious goals.

To succeed in this role you will need to be passionate about advancing AI systems that can rigorously analyze correctness, safety, and security properties of code and generate code that satisfies these properties by construction. You'll join an energetic team of computer scientists, ML researchers and engineers. You'll leverage our unique mix of expertise, data and computational resources to experiment and iterate both rapidly and at scale.

As an embedded Research Engineer you will collaborate with research scientists and software engineers to develop and run experiments, exploring ways to develop AI systems for code analysis and generation. The team is exploring many different foundational and applied challenges in software engineering and security, so you may take part in exploratory work validating early ideas or work in a maturing area to deepen and exploit a promising line of research. You will also contribute to the knowledge and experience of the team with your own knowledge.

• Plan and perform rapid prototyping of ML-based techniques for automatically analyzing and generating code.
• Undertake exploratory analysis to inform experimentation and research directions.
• Make improvements to model architectures and training procedures of machine learning models used for code analysis.
• Implement tools, libraries and frameworks to speed up and enable new research.
• Report and present software developments, experimental results and data analysis clearly and efficiently.
• Collaborate with internal and external domain experts.

The role will suit candidates who enjoy working in a heavily experimental setting with large and noisy datasets and who wish to immerse themselves in innovative science, ML and AI research.

In order to set you up for success as a Research Engineer at Google DeepMind,  we look for the following skills and experience:

• Masters degree in computer science, electrical engineering, mathematics, or equivalent experience.
• Understanding of foundational principles of code analysis (e.g., invariant generation, abstract interpretation).
• Experience building tools for code analysis and generation. 
• Experience with Python and preferably Rust and C++.
• Applied experience with machine learning, preferably modern deep learning techniques (e.g. Transformers, Diffusion Models, LLMs) and reinforcement learning.
• Experience exploring, analysing and visualising data.
• Experience using Jax, PyTorch, TensorFlow, NumPy, Pandas or similar ML libraries.

In addition, the following would be an advantage: 

• Experience with formal mathematical reasoning, and in particular, the Lean theorem-prover.
• Prior experience building AI-based tools for code analysis and generation.  
• Experience working with large and noisy datasets.
• Experience collaborating across fields.
• Broad-based knowledge of current trends in computer science. 

When assessing technical background we will take a holistic view of the mix of experience with ML, engineering experience, and foundational computer science. We do not expect you to be an expert in all fields simultaneously. However, since the role serves as a bridge between all three, some experience in each is necessary.

At Google DeepMind, we value diversity of experience, knowledge, backgrounds and perspectives and harness these qualities to create extraordinary impact. We are committed to equal employment opportunity regardless of sex, race, religion or belief, ethnic or national origin, disability, age, citizenship, marital, domestic or civil partnership status, sexual orientation, gender identity, pregnancy, or related condition (including breastfeeding) or any other basis as protected by applicable law. If you have a disability or additional need that requires accommodation, please do not hesitate to let us know.

Applications close on Monday 14th July @ 5pm UK Time.