מציאת משרת הייטק בחברות הטובות ביותר מעולם לא הייתה קלה יותר
Apple CAD Engineer - Formal Verification United States, California, Cupertino 810093328
07.04.2025
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
- 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
- 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
Note: Apple benefit, compensation and employee stock programs are subject to eligibility requirements and other terms of the applicable plan or program.
משרות נוספות שיכולות לעניין אותך
