Murkez Technologies Hiring for Formal Verification Engineer at San Jose, CA Full Time

As a Formal Verification Engineer, you will contribute to the design of GPU IP. This is a hands-on role, driving next generation product development with a high level of contribution and knowledge base needs.

Responsibilities:

• Review architecture specifications.
• Identify key design features for formal verification.
• Develop formal verification plans.
• Work with RTL to create formal verification-friendly reference models.
• Manage tasks and deliverables to meet milestones.
• Drive formal verification closure Minimum requirements:
• BSEE, Computer Engineering, or Computer Science and 3+ years of experience.
• Master’s or Ph.D. degree preferred.
• Good understanding of CPU and/or GPU design architecture.
• Basic RTL and System Verilog skills can read and understand designs and test benches.
• Excellent communication skills and be able to work with cross-functional teams to execute verification plans.

Preferred Skills:

• Deep understanding of CPU and/or GPU design.
• Proficiency in scripting languages such as Python, Perl, or TCL.
• Experience with formal tools such as VC Formal or Jasper Gold.
• Strong capability to read high level design specification and RTL to create/execute verification plans.

Job Type: Full-time

Salary: $70.00 – $90.00 per hour

Experience level:

• 5 years

Work Location: Remote