Senior Software Engineer (AI for RTL Design & Formal Verification)

Join our team as a Senior Software Engineer specializing in AI for RTL Design and Formal Verification. In this role, you will design, develop, and deploy AI applications to support various aspects of RTL, physical and analog design, static/lint checking, and formal verification flows. You will build infrastructure for LLM-powered engineering assistants, develop agentic AI solutions, maintain design databases and dashboards, and collaborate closely with various teams to understand pain points and translate them into AI-assisted tooling.

• Design, develop, and deploy AI applications to support RTL, physical and analog design, static/lint checking, and formal verification flows.
• Build infrastructure to deploy LLM-powered engineering assistants and multi-turn dialogue systems that help designers and verification engineers debug faster.
• Develop agentic AI solutions for tasks such as RTL rule and lint checking, RTL optimization, bug triage, formal proof convergence, and static verification report analysis.

• Proficiency in Python for rapid prototyping, with strong fundamentals in data structures, algorithms, and software engineering practices
• Experience with LLMs, including fine-tuning, building multi-agent systems, RAG pipelines, and vector databases
• 4-10 years of industry experience in software engineering, with direct exposure to RTL design, static/lint verification, or formal verification methodologies
• A proactive, self-directed approach to problem-solving and comfort operating with ambiguity
• Bachelor's, Master's degree in Electrical Engineering, Computer Science/Engineering, or equivalent experience
• Familiarity with RTL design languages (Verilog/SystemVerilog) and formal/static verification tools (e.g., JasperGold, VC Formal, or similar) is strongly preferred
• Strong analytical, communication, and interpersonal skills, with a proven ability to work effectively in a fast-paced, cross-functional startup environment
• Direct experience applying AI/ML techniques to EDA or CAD flow problems
• Proficiency in modern software engineering practices, including version control, testing, and CI/CD
• Experience with formal property verification, assertion-based verification (SVA), or static timing/lint tools
• A track record of learning across disparate domains (AI/ML and hardware design) and combining them into novel engineering solutions