> Markdown version of [/jobs/ext/3203018-senior-software-engineer-genai-silicon-automation-deepmind](https://www.wearedevelopers.com/jobs/ext/3203018-senior-software-engineer-genai-silicon-automation-deepmind). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Senior Software Engineer, GenAI Silicon Automation, DeepMind

- **Company:** Google
- **Location:** Paris, France
- **Experience:** Expert
- **Salary:** €104,000.0 - €106,000.0
- **Contract:** Permanent contract
- **Skills:** Java (Programming Language), JavaScript (Programming Language), PHP (Programming Language), Artificial Intelligence, C Sharp (Programming Language), C++ (Programming Language), Computer Programming, Data Structures, Hardware Design, Python (Programming Language), Machine Learning, Natural Language Processing, Open Source Technology, Tensorflow, Ruby, Software Engineering, Pytorch, Large Language Models, Deep Learning, Information Technology, Formal Methods, Objective C++, Programming Languages
- **Published:** September 15, 2026
- **Apply:** https://dejobs.org/x/x/BC62C121C3074022A862A914507FAC41/job/

## About the Role

* Bachelor's degree in Computer Science, related technical field or equivalent practical experience.
 * 5 years of experience in hardware design or test.
 * 2 years of experience with software development in one or more programming languages., * 5 years of coding experience in two or more of the following languages: Java, C/C++, C#, Objective-C, Python, JavaScript, PHP, Ruby or Go.
 * 5 years of experience with machine learning algorithms and tools (e.g., PyTorch, JAX, TensorFlow), artificial intelligence, deep learning, Large Language Model (LLMs), or natural language processing.
 * 5 years of experience with data structures and algorithms and hardware-software co-design.
 * 2 years of experience in low level ML accelerator programming, compiler or other close to hardware performance programming.
 * 2 years of low level ML accelerator programming, compiler or other close to hardware performance programming experience.

## Description

* Apply formal methods and constraint programming to the verification of complex computing systems.
 * Contribute to open source and internal hardware design flows.
 * Lead the transfer of ML-based optimization methods to production-grade tools for hardware engineers.
 * Drive the application of formal methods in the loop of ML-based and agentic optimization flows.
 * Support an MLIR-based compiler stack.


## Related Videos

- [The Future of Developer Experience with GenAI: Driving Engineering Excellence](https://www.wearedevelopers.com/videos/1107-the-future-of-developer-experience-with-genai-driving-engineering-excellence)
- [Coffee with Developers: David Heinemeier Hansson](https://www.wearedevelopers.com/videos/875-coffee-with-developers-david-heinemeier-hansson)
- [Photonic Computing: Programming a New Class of AI Accelerators (incl. Live Coding)](https://www.wearedevelopers.com/videos/100196-photonic-computing-programming-a-new-class-of-ai-accelerators-incl-live-coding)
- [Machine learning in the browser with TensorFlowjs](https://www.wearedevelopers.com/videos/155-machine-learning-in-the-browser-with-tensorflowjs)
- [Getting Started with Machine Learning](https://www.wearedevelopers.com/videos/260-getting-started-with-machine-learning)
- [Developing an AI.SDK](https://www.wearedevelopers.com/videos/198-developing-an-ai-sdk)

## Related Articles

- [How to Become an AI Engineer](https://www.wearedevelopers.com/magazine/331-how-to-become-an-ai-engineer)
- [MLOps And AI Driven Development](https://www.wearedevelopers.com/magazine/82-mlops-and-ai-driven-development)
- [Got AI ideas but no money? Here are 10 free ways to level up your AI skills with Google Cloud](https://www.wearedevelopers.com/magazine/600-got-ai-ideas-but-no-money-here-are-10-free-ways-to-level-up-your-ai-skills-with-google-cloud)
- [What Are Large Language Models?](https://www.wearedevelopers.com/magazine/304-what-are-large-language-models)
- [Dev Digest 137 - AI'm not sure about this](https://www.wearedevelopers.com/magazine/485-dev-digest-137-ai-m-not-sure-about-this)
- [Dev Digest 120 - Apple and peers](https://www.wearedevelopers.com/magazine/455-dev-digest-120-apple-and-peers)