Expoint - all jobs in one place

מציאת משרת הייטק בחברות הטובות ביותר מעולם לא הייתה קלה יותר

Limitless High-tech career opportunities - Expoint

Apple CAD Engineer - Formal Verification 
United States, California, Cupertino 
810093328

Today
Description
Core Responsibilities:- You will be responsible for developing, maintaining, and enhancing an existing system of executing a formal verification tool- You will help out with supporting our existing Jasper reset analysis, SEC and formal proofing flows- You will utilize your debugging experience to debug vendor tool problems and interact with designers/formal verification team to help solve their problems
Minimum Qualifications
  • Experience scripting in Python, Perl, Kotlin or TCL
  • Experience in Software Development with Test in-mind
  • Knowledge in Verilog and System Verilog
  • Minimum requirement of BS and 3+ years of relevant industry experience
Preferred Qualifications
  • Familiarity with Jasper or VC Formal products is highly desirable
  • Experience in formal verification is a plus
  • Prior customer support experience is a plus
  • Experience with DevOps flows is a plus
  • Comfortable with co-developing an existing system
Pay & Benefits
  • At Apple, base pay is one part of our total compensation package and is determined within a range. This provides the opportunity to progress as you grow and develop within a role. The base pay range for this role is between $143,100 and $264,200, and your base pay will depend on your skills, qualifications, experience, and location.Note: Apple benefit, compensation and employee stock programs are subject to eligibility requirements and other terms of the applicable plan or program.
  • Apple is an equal opportunity employer that is committed to inclusion and diversity. We take affirmative action to ensure equal opportunity for all applicants without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability, Veteran status, or other legally protected characteristics.