Requirements

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

Nice to haves

• Master's degree or PhD in Computer Science or a related field with a focus on AI/ML.
• 8 years of experience coding in one programming language (e.g., Java, C++, Python, etc.).
• 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.
• 3 years of experience in low level ML accelerator programming, compiler, or other close to hardware performance programming.

What you'll be doing

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

Perks and benefits

• Competitive salary package
• 20% bonus target
• Equity
• Benefits including health insurance, retirement plans, and more