Register
Recruit Create CV

Senior Formal Verification Engineer Jobs in Texas

Formal Verification Fellow Jobs
By AMD At Austin, TX, United States
In-depth knowledge in formal verification algorithms, engines and use cases
Define long-term strategy for formal verification expansion and steer the technical roadmap
Strong background in temporal logic like LTL and CTL, proven expertise in system Verilog assertion and abstract model development
Expert user of formal verification tool from both academy and EDA vendors(JasperGold, VC formal, Murphi, theorem prover).
Proven expertise in developing formal verification infrastructure for FPV, DPV, SEV and other use cases
Master or Phd degree in computer science/computer engineering/electrical engineering

Are you an experienced Senior Formal Verification Engineer looking for a new challenge? We are looking for a highly motivated individual to join our team and help us develop cutting-edge verification solutions for our products. You will be responsible for developing and maintaining formal verification models, ensuring the highest quality of our products. If you have a passion for problem solving and a drive to make a difference, this could be the perfect opportunity for you!

Overview:

A Senior Formal Verification Engineer is responsible for developing and executing formal verification strategies and plans for complex digital designs. They are responsible for developing and executing formal verification plans, developing and maintaining formal verification environments, and providing technical guidance and support to other engineers.

Detailed Job Description:

The Senior Formal Verification Engineer is responsible for developing and executing formal verification strategies and plans for complex digital designs. This includes developing and executing formal verification plans, developing and maintaining formal verification environments, and providing technical guidance and support to other engineers. The Senior Formal Verification Engineer will also be responsible for developing and maintaining formal verification models, developing and executing formal verification tests, and analyzing and reporting formal verification results.

What is Senior Formal Verification Engineer Job Skills Required?

• Knowledge of digital design and verification techniques
• Knowledge of formal verification tools and techniques
• Knowledge of scripting languages such as Tcl, Perl, and Python
• Ability to develop and maintain formal verification models
• Ability to develop and execute formal verification tests
• Ability to analyze and report formal verification results
• Ability to work independently and as part of a team
• Excellent written and verbal communication skills

What is Senior Formal Verification Engineer Job Qualifications?

• Bachelor’s degree in Electrical Engineering, Computer Engineering, or related field
• 5+ years of experience in digital design and verification
• 3+ years of experience in formal verification
• Experience with scripting languages such as Tcl, Perl, and Python
• Experience with formal verification tools such as Synopsys Formality, Cadence Conformal, and Mentor FormalPro

What is Senior Formal Verification Engineer Job Knowledge?

• Knowledge of digital design and verification techniques
• Knowledge of formal verification tools and techniques
• Knowledge of scripting languages such as Tcl, Perl, and Python
• Knowledge of digital design and verification methodologies

What is Senior Formal Verification Engineer Job Experience?

• 5+ years of experience in digital design and verification
• 3+ years of experience in formal verification
• Experience with scripting languages such as Tcl, Perl, and Python
• Experience with formal verification tools such as Synopsys Formality, Cadence Conformal, and Mentor FormalPro

What is Senior Formal Verification Engineer Job Responsibilities?

• Develop and execute formal verification strategies and plans for complex digital designs
• Develop and maintain formal verification models
• Develop and execute formal verification tests
• Analyze and report formal verification results
• Provide technical guidance and support to other engineers
• Work independently and as