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 Formal Verification Engineer (SoC)
Builds
Hardware designs and verification methodologies for System on Chip (SoC) products
Domain
Semiconductor / Hardware Design
Required skills
SoC Verification, Model Checking, Equivalence Checking, Verilog, VHDL, Design Specification Analysis
Preferred skills
Team Leadership, Mentoring, Cross-functional Collaboration
Technologies
Model checking tools, Equivalence checking tools, Verilog, VHDL
Responsibilities
Develop formal models to verify design specifications, Mentor junior team members, Collaborate with multiple teams on key design decisions, Analyze complex design specifications to identify potential issues
Seniority
Senior, hands-on IC with leadership responsibilities
