8 hours ago
Paris, FranceSenior
Responsibilities
- Apply formal methods and constraint programming to verify complex computing systems.
- Contribute to open-source and internal hardware design flows.
- Lead the transfer of ML-based optimization methods into production-grade tools for hardware engineers.
- Drive formal methods within ML-based and agentic optimization flows.
- Support an MLIR-based compiler stack.
- Automate design-space exploration for TPU and emerging machine-learning inference accelerators.
Requirements
- Bachelor's degree in Computer Science, a related technical field, or equivalent practical experience.
- At least 5 years of experience in hardware design or test.
- At least 2 years of software development experience in one or more programming languages.
- Preferred: 5 years of coding experience in at least two listed programming languages.
- Preferred: 5 years of experience with machine learning algorithms and tools, artificial intelligence, deep learning, LLMs, or natural language processing.
- Preferred: 5 years of experience with data structures, algorithms, and hardware-software co-design.
- Preferred: 2 years of low-level ML accelerator programming, compiler, or other close-to-hardware performance programming experience.
Benefits
- The position is based in France and includes bonus target, equity, and benefits.
- The role offers opportunities for internal research collaborations, open-source contributions, and academic publications when appropriate.
Categories
About Google
Google builds consumer and enterprise software and services including Search, Android, YouTube, Chrome, Maps, Gmail, and Google Cloud. Its business model centers on digital advertising and paid cloud, software, and hardware offerings (e.g., Pixel and Nest) for consumers, developers, and organizations. Founded in 1998 and headquartered in Mountain View, California, Google operates globally as a subsidiary of Alphabet Inc.