Description
Google DeepMind is hiring a Software Engineer to apply formal methods and constraint programming to verify complex computing systems, contribute to hardware design flows, transfer machine-learning optimization methods to production tools, and support an MLIR-based compiler stack. The role focuses on automating hardware-accelerator design for machine learning, including TPUs and specialized inference accelerators, and may involve open-source contributions and academic publications. The position requires a bachelor's degree in computer science or a related technical field, five years of hardware design or test experience, and two years of software development experience.
