Jobs in the United States

25+ jobs

Save this search

Added just now
AI Full Stack Developer
Stefanini Group
Dearborn, MI
…support software features end to end, partnering with product, engineering and business teams to deliver measurable value to…
Added just now
A
Turbomachinery Design Engineer II
Antares
Los Angeles, CA
- $115,000 to $220,000 USD / year
The ideal candidate has experience designing complex mechanical hardware and strong skills in CAD, engineering drawings, GD&T, materials, and manufacturing processes. You can make practical…
Added just now
Staff Product Manager, Shopping Experience
CookUnity
Remote, United States
You'll work closely with Design, Engineering, Data Science, and Merchandising to make the discovery experience feel effortless, personal, and exciting.
Added just now
CIVIL INSPECTOR
EDP Energias de Portugal S.A.
Gold Hill, NC, NC
…access roads, crane pads, wind turbine foundations, collection systems, switchyards, substations, transmission lines, and laydown yards are built in accordance with the project civil design…
Added just now
Category Manager
RocketForce Technologies LLC
Jupiter, FL · Mason, OH · Redmond, WA
…power, and communications that get this country’s most important systems where they need to go - and keep them there. If it flies, we power it. If it protects the nation, we deliver it.…
Added just now
Adjunct - Instructor, Lecturer, or Senior Lecturer of Mining Engineering and Management
South Dakota Board Of Regents
SD
The Mining Engineering and Management department at the South Dakota School of Mines & Technology seeks exceptional candidates to teach a topics course in Advanced Topics in Mining Methods…
Added just now
R
Engineering Manager, Security
Render
Remote, United States
- $200,000 to $275,000 USD / year
We’re looking for an Engineering Manager to lead Trust & Safety within Render’s Security team. Your mission is to keep Render a trusted place to build and run applications by preventing…
Added just now
CM
Sr Business Systems Analyst
CHG Management, Inc.
Salt Lake City, UT
- $179,700 USD / year
We are seeking an exceptionally skilled and experienced Senior Business Systems Analyst to join our team. In this critical role, you will be instrumental in driving the evolution of our…
Added just now
JeffSTAT Paramedic Critical Care Transport
Thomas Jefferson University Hospitals, Inc.
United States
…Jefferson College of Nursing, and the Kanbar College of Design, Engineering and Commerce, dates back to 1824 and today comprises 10 colleges and three schools offering 200+ undergraduate…
Added just now
JeffSTAT Paramedic Critical Care Transport
Thomas Jefferson University Hospitals, Inc.
United States
…Jefferson College of Nursing, and the Kanbar College of Design, Engineering and Commerce, dates back to 1824 and today comprises 10 colleges and three schools offering 200+ undergraduate…
Added just now
JU
Full-Time Cardiac CRNA – Jefferson Einstein Montgomery
Jefferson University Physicians
Montgomery County, PA
- Full-time
…Jefferson College of Nursing, and the Kanbar College of Design, Engineering and Commerce, dates back to 1824 and today comprises 10 colleges and three schools offering 200+ undergraduate…
Added just now
TJ
Driver (Pharm Field Serv Rep) - Full Time / Days - Jefferson King of Prussia
Thomas Jefferson University Hospitals, Inc.
Montgomery County, PA
- Full-time
…Jefferson College of Nursing, and the Kanbar College of Design, Engineering and Commerce, dates back to 1824 and today comprises 10 colleges and three schools offering 200+ undergraduate…
Added just now
Coord of Patient Care Svcs, RN
Thomas Jefferson University Hospitals, Inc.
Philadelphia, PA
Added just now
Cloud Security Engineer
Deloitte US
Baltimore, MD · Rosslyn, VA · Washington, DC
…environments. This role supports cloud security architecture, engineering, monitoring, and risk reduction activities to help organizations protect critical systems and data. You will work…
Added just now
Sterile Processing Tech (Cert): Per Diem, Nights, Sterile Processing Department
Albert Einstein Medical Center
Philadelphia, PA
…Jefferson College of Nursing, and the Kanbar College of Design, Engineering and Commerce, dates back to 1824 and today comprises 10 colleges and three schools offering 200+ undergraduate…
Added just now
Software Engineer II
Cadence
United States
Cadence Design Systems is looking for a highly motivated Software Engineer II to join the Innovus R&D team.
Added just now
Software Engineer II
Cadence
United States
Cadence Design Systems is looking for a highly motivated Software Engineer II to join the Innovus R&D team.
Added 1 min ago
SailPoint Engineer
Deloitte US
Baltimore, MD · Rosslyn, VA · Washington, DC
Bachelor’s degree in Cybersecurity, Computer Science, Information Systems, Engineering, or a similar technical field
Added 1 min ago
Senior Instrument & Controls Engineer
Tetra Tech, Inc
Folsom, CA
…design, development, and execution of instrumentation and control systems for advanced technology and industrial manufacturing projects. This position is responsible for developing…
Added 1 min ago
Forward Deployed Strategist
Nearform
United States
…enterprises to build breakthrough products and modernise legacy systems by unleashing the power of…
Added 1 min ago
Planning Supervisor
M2S Group | Appvion, Nekoosa, Iconex, Decorative Films
Remote, United States
The position serves as a key planning resource and subject-matter expert for ERP systems, planning tools, process improvements, and system integrations. The supervisor partners closely with…
Added 1 min ago
Silicon Architect, AI and Infrastructure
Google
Sunnyvale, CA
As a Silicon Product Architect within the Cloud Silicon Engineering team, you will serve as a technical leader driving end-to-end product architecture for next-generation systems and chips.…
Added 1 min ago
Staff Hardware Systems Design Engineer, Platforms Infrastructure
Google
Sunnyvale, CA
Bachelor's degree in Electrical Engineering, Computer Engineering, Physics, a related field, or equivalent practical experience.
Added 1 min ago
Manager, Technical Program Management, Project Suncatcher
Google
Mountain View, CA
Experience leading end-to-end NPI and production ramp for next-generation hardware platforms across engineering, supply chain, and external manufacturing vendors.
Added 2 mins ago
Project Coordinator
Natera
Austin, TX · San Carlos, CA
Bachelor's degree in a scientific, engineering, or related discipline, or an equivalent combination of education and experience

Apple

Formal Validation Engineer

Cupertino, CA, United States

The base pay range for this role is between $174,149 - $225,300/yr and your base pay will depend on your skills, qualifications, experience, and location.

Apply About employer

Applications open in a new tab.

Job details

Pay: The base pay range for this role is between $174,149 - $225,300/yr and your base pay will depend on your skills, qualifications, experience, and location.
Working hours: 40 hours/week
Posting language: English
Posted: Nov 5, 2026

Original job description

Summary Imagine what you can do here. Apple is a place where extraordinary people gather to do their lives best work. Together we create products and experiences people once couldn't have imagined, and now, can't imagine living without. It's the diversity of those people and their ideas that inspires the innovation that runs through everything we do.

Description APPLE INC has the following available in Cupertino, California and various unanticipated locations throughout the USA. Work on the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/OMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.). Work with Apple Silicon's world-class SOC and IP design engineers to develop a formal microarchitecture specification Develop comprehensive formal verification test plan. Prove properties of the design, find design bugs, and work closely with design teams to help improve the micro-architecture. Craft novel and creative solutions for verifying complex design micro-architectures. Develop and implement re-usable and optimized formal models and verification code base. Responsible for architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity. 40 hours/week. 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 $174,149 - $225,300/yr and your base pay will depend on your skills, qualifications, experience, and location.

PAY & BENEFITS: Apple employees also have the opportunity to become an Apple shareholder through participation in Apple’s discretionary employee stock programs. Apple employees are eligible for discretionary restricted stock unit awards, and can purchase Apple stock at a discount if voluntarily participating in Apple’s Employee Stock Purchase Plan. You’ll also receive benefits including: Comprehensive medical and dental coverage, retirement benefits, a range of discounted products and free services, and for formal education related to advancing your career at Apple, reimbursement for certain educational expenses - including tuition. Additionally, this role might be eligible for discretionary bonuses or commission payments as well as relocation. Learn more about Apple Benefits: https://www.apple.com/careers/us/benefits.html. Note: Apple benefit, compensation and employee stock programs are subject to eligibility requirements and other terms of the applicable plan or program.

Minimum Qualifications Bachelor’s degree or foreign equivalent in Computer Engineering, Electrical Engineering, Electronics Engineering, or a related field.

Experience and/or education must include:

Working with digital hardware design principles. Utilizing model checking-based approaches to verify systems, such as hardware or protocols. Utilizing general formal methods principles. Communicating formal verification plans and results to dynamic validation and design partners. Analyzing computer architecture and SoCs. Hardware description language including Verilog, or VHDL, and use of such to develop formal test benches. Utilizing scripting languages including Python, Perl, or TCL in a hardware engineering and CAD context.

Preferred Qualifications N/A

LMT Footer This position is not subject to the application limits.

EEO Statement Apple is an equal opportunity employer that is committed to inclusion and diversity. We seek to promote 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. Learn more about your EEO rights as an applicant

Accessibility At Apple, we believe accessibility is a fundamental human right. You’ll find that idea reflected in everything here - in our culture, our benefits and our digital tools. By welcoming as many perspectives as possible, we help you build a career where you feel like you belong.

Learn about accessibility in Apple’s workplace

Learn about reasonable accommodations for job applicants

Application Deadline Apple accepts applications to this posting on an ongoing basis.

Apply About employer

Report this job