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 translation.
• Evaluate and integrate emerging AI/ML research into production-quality hardware verification tools.
• Provide proof strategy recommendations and intelligent counterexample analysis using machine learning.
• Establish best practices and infrastructure for AI application development within the formal verification organization.

What we're looking for

• A bachelor's degree in a relevant field is required.
• A minimum of 10 years of relevant industry experience is required.
• Strong hands-on experience building AI/ML applications, particularly those leveraging Large Language Models (LLMs) (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).
• A background in formal methods, mathematical logic, or a strong mathematical foundation (preferred).
• Software engineering best practices including version control, testing, and API design (preferred).
• An MS or PhD in Computer Science, Electrical Engineering, Mathematics, or a related field (preferred).