Sr. Formal Verification Engineer (Boston)

Lightmatter builds chips for artificial intelligence computing. Our architecture leverages unique properties of light to enable fast and efficient inference and training engines. If you're a collaborative engineer or scientist who has a passion for innovation, solving challenging technical problems and doing impactful work like building the world's first optical computers, consider joining the team at Lightmatter!

This role offers an unparalleled chance for a Formal Verification engineer. You will be working in tandem with design teams to ensure that complex digital designs meet their specifications. Using state-of-the-art formal tools, you will create exhaustive checkers, employ property checking, and ensure chip correctness. Through collaborations with design and architecture teams, you will also ensure that system requirements are met and potential pitfalls are identified and addressed.

Requirements

• Engage deeply with digital design teams to understand design intent, specifications, and architectures.
• Develop, maintain, and run formal verification environments, tools, and methodologies.
• Create exhaustive checkers, ensure completeness of verification, and work on property checking to ensure chip correctness.
• Identify potential design issues and collaborate closely with designers to address them.
• Provide feedback to improve design robustness and liaise with tool vendors for any required tool enhancements.

Qualifications:

• Bachelor's degree or higher in electrical or computer engineering (or other related fields) 8 years of related experience with a Bachelor's degree; or 6 years and a Master's degree.
• Must have formal verification experience
• Proficiency in Hardware Description Languages (HDL) like SystemVerilog.
• Strong knowledge of formal tools like JasperGold, VC Formal, or Questa Formal.
• Adeptness in understanding complex digital designs and writing properties/checkers for verification.
• Strong analytical skills to deduce design correctness from formal results.
• Fluency in English, both written and verbal.
• Ability to collaborate closely with multiple teams across different domains.

Preferred Qualifications:

• Experience with Scripting Languages such as perl or python.
• Deep knowledge and hands-on experience in clock domain crossing (CDC) design and verification.
• Understanding of the broader verification landscape including simulation and emulation.
• Prior experience in dealing with tool vendors for debugging, tool enhancement, and flow development.

Benefits

• Comprehensive Health Care Plan (Medical, Dental & Vision)
• 401k matching
• Life Insurance (Basic, Voluntary & AD&D)
• Generous Time Off (Vacation, Sick & Public Holidays)
• Paid Family Leave
• Short Term & Long Term Disability
• Training & Development
• Flexible, hybrid workplace model
• Stock Option Plan

Base Compensation Range: $120,000 - $170,000.00. In accordance with the Colorado, California and New York law, the range provided is Lightmatter's reasonable estimate of the compensation for this role. Actual pay will be based on several factors including work experience, location and education.

Lightmatter recruits, employs, trains, compensates and promotes regardless of race, religion, color, national origin, sex, disability, age, veteran status, and other protected status as required by applicable law.