Formal Verification Engineer - New College Graduate

Requirements:

• BS/MS/Ph.D. or equivalent experience in CS/CE/EE/Mathematics
• Strong analytical and collaboration skills to solve complex problems
• Strong coding skills in C, Perl, Python or any other industry-standard scripting languages
• Good debugging skills
• Excellent communication skills, able to effectively collaborate and work with members of a distributed team

Nice to haves:

• Knowledge of formal verification methodologies, techniques and tools like Jasper
• Hands-on experience with Verilog / System Verilog HDLs, SVA assertions, and able to understand complex RTL code quickly

What you will be doing:

• In this position you will use formal verification algorithms to formally prove the correctness of complicated logic problems
• Identify key behaviors for verification to write clear test plans for complex designs
• Implement test plans using innovative formal techniques
• Drive tools to realize their best performance
• Develop flow and script to automate and improve team efficiency
• Collaborate with other teams to help produce bug-free, outstanding silicon products

Perks and benefits:

• Competitive salaries
• Generous benefits package
• Opportunity to work in a progressive, technology-focused company impacting diverse product lines
• Highly talented global team pushing the frontiers of computing
• Equal opportunity employer with a diverse and inclusive work environment