18 hours ago
Paris, FranceStaff+
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 the use of formal methods within ML-based and agentic optimization workflows.
- Support an MLIR-based compiler stack.
- Automate the design of ML hardware accelerators across TPU and emerging inference-accelerator design spaces.
Requirements
- Bachelor's degree in computer science, a related technical field, or equivalent practical experience.
- At least five years of experience in hardware design or test.
- At least two years of software development experience in one or more programming languages.
- Preferred: master's degree or PhD in computer science or a related field focused on AI/ML.
- Preferred: eight years of coding experience in a language such as Java, C++, or Python.
- Preferred: five years of experience with ML algorithms and tools, AI, deep learning, LLMs, or natural language processing.
- Preferred: five years of experience with data structures and algorithms and hardware-software co-design.
- Preferred: three years of experience in low-level ML accelerator programming, compiler development, or closely related hardware-performance programming.
Benefits
- France base pay is €130000–€133000 plus a 20% bonus target, equity, and benefits.
- The role offers opportunities for open-source contributions, academic publications, and collaboration with product teams across Alphabet.
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.