Formal Verification - AI/ML Engineer
Core
Building AI-powered systems using Large Language Models to augment and transform formal verification workflows on Apple Silicon.
Role type
Senior IC AI/ML Engineer (Formal Verification)
Builds
Domain-specific AI applications for hardware verification
Domain
Hardware verification + Large Language Models
Deliverable
production ML models
Required skills
LLM fine-tuning, RAG pipelines, agentic tool-use frameworks, Python, PyTorch, LangChain, LlamaIndex, Hugging Face, formal methods, mathematical logic, automated reasoning, software engineering best practices
Preferred skills
Shipped/deployed AI-powered tools, inference engines, model serving, evaluation harnesses, RTL/SystemVerilog, EDA tools, SAT/SMT solvers, model checking, theorem proving, code generation/analysis with LLMs
Technologies
PyTorch, LangChain, LlamaIndex, Hugging Face
Responsibilities
Develop and fine-tune LLM-based systems for hardware verification tasks; Collaborate with formal verification engineers to understand methodologies and pain points; Prototype novel AI-driven approaches for property synthesis and proof debugging; Evaluate and integrate emerging AI/ML research into production tools; Establish best practices and infrastructure for AI application development
Seniority
Senior, hands-on IC
