MatX
Formal Verification Engineer
Mountain View, CAmidAdded 2 days ago
About this role
MatX is seeking a Formal Verification Engineer to ensure the correctness of their hardware and software at various levels of the stack through rigorous mathematical methods. The role involves applying formal verification techniques and collaborating with cross-functional teams to enhance the verification process.
What you'll do
- Perform model checking and formal property verification on RTL blocks
- Develop machine-checked proofs for compiler transformations
- Embed hardware description languages into theorem provers
- Collaborate with teams to identify and translate correctness properties
- Integrate formal tools into existing verification practices
What they're looking for
- Experience with hardware model checking
- Knowledge of interactive theorem provers
- Understanding of RTL microarchitecture
- Experience with compiler correctness proofs
- Ability to work in a small, dynamic team
Benefits
- Flexible equity compensation mix
- Subsidized health, dental, and vision insurance
- 4 weeks paid time off plus holidays
- Paid parental leave up to 12 weeks
- Learning and development allowance of $1,500
- 401K with 5% company contribution
Opens the official application on the employer’s site. No login required.