Silicon Formal Verification Engineer III, Cloud

info_outlineXIn most instances, this position requires in-person interviews as part of the hiring process.

Minimum qualifications:

• Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience.

• 5 years of experience in the formal verification domain.

• Experience working with one or more formal verification tools (e.g., Jasper, VC Formal, Questa Formal, 360-DV).

• Experience with scripting languages (i.e. Python).

Preferred qualifications:

• Master's degree or PhD in Electrical Engineering, Computer Engineering or Computer Science, with an emphasis on computer architecture.

• Basic understanding of formal verification algorithms