Formal Verification AI/ML Engineer

What you'll do

• Build domain-specific AI applications using LLMs to accelerate formal verification workflows.
• Develop and fine-tune LLM-based systems including RAG pipelines and agentic tool-use frameworks.
• Prototype AI-driven approaches for automatic SVA property synthesis and natural-language-to-formal-specification translation.
• Implement intelligent counterexample analysis and proof strategy recommendation systems.
• Evaluate and integrate emerging AI/ML research into production-quality hardware verification tools.
• Establish best practices and infrastructure for AI application development within the formal verification organization.
• Translate formal verification methodologies and pain points into practical AI-powered productivity improvements.

What we're looking for

• A bachelor's degree in a relevant field is required.
• Minimum of 10 years of relevant industry experience is required.
• MS or PhD in Computer Science, Electrical Engineering, Mathematics, or a related field (preferred).
• Strong hands-on experience building AI/ML applications, particularly those leveraging Large Language Models (preferred).
• Demonstrated ability to take AI capabilities from prototype to production (preferred).
• Proficiency in Python and modern ML/AI frameworks such as PyTorch, LangChain, LlamaIndex, or Hugging Face (preferred).
• Background in formal methods, mathematical logic, or a strong mathematical foundation (preferred).
• Prior exposure to hardware design or verification concepts such as RTL, SystemVerilog, assertions, or EDA tools (preferred).