Offer summary
Qualifications:
Bachelor's or Master's degree in Computer Engineering, Electrical Engineering, Maths, Computer Science or related fields., Experience with formal verification tools like Jasper Gold and VC Formal., Proven track record in verifying hardware designs..Key responsabilities:
- Create verification plans.
- Develop formal models and assertions.
- Verify key hardware modules.