Formal Verification Engineer
Core
Ensure design correctness using mathematical methods like model checking and equivalence checking to detect corner-case bugs early in the design cycle.
Role type
Senior IC formal verification engineer (SoC)
Builds
Verified hardware designs for SoC products
Domain
Hardware verification / SoC design
Deliverable
production ML models | product features | dashboards & analysis | research | client delivery | infrastructure | physical/clinical work
Required skills
SoC verification, formal verification techniques, model checking, equivalence checking, Verilog, VHDL
Preferred skills
None stated
Technologies
Model checking tools, equivalence checking tools, Verilog, VHDL
Responsibilities
Analyze complex design specifications, develop formal models, apply verification techniques, mentor junior team members, collaborate with multiple teams on key decisions
Seniority
Senior, hands-on IC with team management responsibilities
