logo

AI Job Summary

Apply formal methods and constraint programming to verify complex computing systems, contribute to hardware design flows, and lead ML-based optimization methods into production tools for hardware engineers. Requires a Bachelor's in Computer Science or equivalent, five years in hardware design or test, and two years coding in any programming language. Key skills include formal methods, constraint programming, and compiler work with MLIR-based stacks.

Written from this posting by Neural Jobs AI. The full description is below.

AI Resume Tailoring Sign in to use this AI Cover Letter Sign in to use this

Job 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.

Minimum qualifications:

  • 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.

Preferred qualifications:

  • 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.
  • 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.
Do you match this job?

Here is what this employer asked for. Sign in and we will fill in your half.

  • Role Senior Software Engineer, GenAI Silicon Automation, DeepMind
  • Experience 5-7 years
  • Education Bachelor Degree, or equivalent experience
  • Work type On-site
  • Location France
Check my match (free)
Google
AI Research Lab · 500+ Members · Mountain View, CA, United States

Google builds internet, software, cloud, and AI products used by consumers, developers, and organizations. Its portfolio includes Search, YouTube, Android, Chrome, Maps, Gmail, Workspace, Google Cloud, advertising platforms, devices, and Gemini AI products. The company develops large-scale computing infrastructure and research that power information retrieval, communication, productivity, media, navigation, and machine learning. Google is the largest operating business within Alphabet and earns a substantial share of its revenue from digital advertising.

All jobs at Google
Job Overview
Eligibility
France Right to work in France required.
Workplace
On-site
Job Posted:
2 days ago
Job Type
Full Time
Education
Bachelor Degree, or equivalent experience
Experience
5-7 years

Share This Job: