FREE ACCESS
5,000–10,000 jobs/day
See all jobs on JobTailor
Search thousands of fresh jobs every day.
Discover
- Fresh listings
- Fast filters
- No subscription required
Create a free account and start exploring right away.
Formal Verification Engineer
LUBIS EDAFormal Verification Engineer taking ownership of formal deliverables in a fast-growing semiconductor startup. Creating verification strategies to ensure chips work flawlessly before production.
About the role
Key responsibilities & impact- Own a defined formal deliverable end–to–end
- Work independently in known contexts
- Drive proof closure and hand over sign–off artifacts
- Clarify requirements and co-define the verification strategy
- Produce maintainable SVA and a clean formal environment
Requirements
What you’ll need- Proven experience delivering formal results on non–trivial RTL (e.g., caches, pipelined processors, DMAs, NoCs)
- Strong SVA skills
- Hands-on formal tool experience (e.g.: Jasper, VCF, Questa Formal/Onespin)
- Reliable end–to–end ownership in a defined scope
Benefits
Comp & perks- Flexible work arrangements
- Professional development
ATS Keywords
✓ Tailor your resumeApplicant Tracking System Keywords
Tip: use these terms in your resume and cover letter to boost ATS matches.
Hard Skills & Tools
RTLSVAformal verificationcachespipelined processorsDMAsNoCs
Soft Skills
independent workrequirement clarificationend-to-end ownership