Formal Verification AI/ML Engineer

What you'll do

• Build domain-specific AI applications using LLMs and ML techniques to accelerate formal verification workflows.
• Develop and fine-tune LLM-based systems including RAG pipelines and agentic tool-use frameworks for hardware tasks.
• Prototype automated SVA property synthesis and natural-language-to-formal-specification translation tools.
• Implement intelligent proof debugging, strategy recommendation, and counterexample analysis features.
• Evaluate and integrate emerging AI/ML research into production-quality tools for the formal verification team.
• Establish best practices and infrastructure for AI application development within the organization.
• Translate complex hardware verification pain points into practical, high-impact AI solutions.

What we're looking for

• A bachelor's degree in a relevant field is required.
• At least 10 years of relevant industry experience are required.
• Experience building AI/ML applications using LLMs, including RAG architectures and agentic systems, is preferred.
• Proficiency in Python and modern ML frameworks like PyTorch, LangChain, or Hugging Face is preferred.
• A strong mathematical foundation or background in formal methods and logic is preferred.
• Experience taking AI capabilities from prototype to production-ready tools is preferred.
• Knowledge of hardware design or verification concepts such as RTL, SystemVerilog, and EDA tools is preferred.
• An MS or PhD in Computer Science, Electrical Engineering, or Mathematics is preferred.