Formal Verification Engineer
Core
Prove correctness of design blocks, IPs, and SoC components using formal verification methods.
Role type
Formal Verification Engineer
Builds
Hardware design blocks, IPs, and System-on-Chip (SoC) components
Domain
Semiconductor hardware engineering
Deliverable
production ML models | product features | dashboards & analysis | research | client delivery | infrastructure | physical/clinical work
Required skills
Formal verification methods, testplan preparation, scripting/programming (C, Python, Perl, Tcl), analytical problem solving
Preferred skills
Experimentation with formal tools and flows
Technologies
Formal verification tools and flows
Responsibilities
Prove correctness of design blocks, IPs, and SoC components; Prepare and implement testplans using formal verification techniques; Experiment with formal tools to drive performance and quality; Collaborate with design and verification teams to meet verification goals
Seniority
Mid-level, hands-on IC
