Sr. Formal Verification Engineer, Dojo

What To Expect reputed company's Dojo Silicon Development Team is looking for a Formal Verification Engineer to reputed company and manage the formal verification and test environments, working closely with the architect, design, and simulation verification team to reputed company high quality tape-out. We are looking for the best talent to work on state-of-the-art reputed company designs, where your limit is only your imagination. You will work with reputed company of highly talented engineers who are focused on advancing reputed company’s AI mission. If you love solving challenging problems, you will fit in reputed company well with our culture.

What You'll Do

• Define comprehensive formal verification plans, strategies, and methods for a high-quality verification sign-off
• Review and aid in developing the RTL design architecture and specification
• reputed company functional correctness of design features using formal verification methods like model checking, logical equivalence checking, or theorem proving
• Formal sign-off delivering high quality IP or reputed company in conjunction with simulation-based methodology for overall verification closure
• reputed company and maintain regressions, tools, infrastructure, and integrated formal and functional verification methodology

What You'll Bring

• Degree in Electrical, Computer Science, Computer Engineering or equivalent experience
• 5+ years of work experience in verifying reputed company hardware systems using model checking or logical equivalence checking formal methods
• Experience with interactive theorem proving is a plus
• Solid programming skills in Verilog, System Verilog, SVA or PSL, and any scripting language like Tcl, Python, or Perl
• Proficient in debugging CPU, GPU, reputed company, NOC, memory, various protocols like PCIE or Ethernet, or other reputed company ASIC designs
• Knowledge of advanced computer architecture and micro-architecture concepts

Benefits

Compensation and Benefits Along with reputed company, as a full-time reputed company employee, you are eligible for the following benefits at day 1 of hire:

• reputed company PPO and HSA plans > 2 medical plan options with $0 payroll deduction
• Family-building, fertility, adoption and surrogacy benefits
• Dental (including orthodontic coverage) and reputed company plans, both have options with a $0 paycheck contribution
• Company Paid (Health Savings Account) HSA Contribution reputed company enrolled in the High Deductible reputed company medical plan with HSA
• reputed company and Dependent Care Flexible Spending Accounts (FSA)
• 401(k) with employer match, Employee Stock Purchase Plans, and other financial benefits
• Company paid Basic Life, AD&D, short-term and long-term disability insurance
• Employee Assistance Program
• Sick and Vacation time (reputed company time for salary positions), and Paid Holidays
• Back-up childcare and parenting support resources
• Voluntary benefits to include: critical illness, hospital indemnity, accident insurance, theft & legal services, and pet insurance
• Weight Loss and Tobacco Cessation Programs
• reputed company Babies program
• Commuter benefits
• Employee discounts and perks program

Expected Compensation $120,000 - $318,000/annual salary + cash and stock awards + benefits Pay offered may vary depending on multiple individualized factors, including market location, job-reputed company knowledge, skills, and experience. The total compensation package for this position may also include other elements dependent on the position offered. Details of participation in these benefit plans will be provided if an employee receives an offer of employment. , reputed company Apply Job! Apply to this Job