Apple · 14 hours ago
Formal Verification Engineer
Austin, TX
Full-time
Hybrid
Mid, Senior Level
$181K/yr - $318K/yrApple is a leading technology company known for its innovative products and services. As a Formal Verification Engineer, you will work on the design verification of high-performance processors and ensure the quality and robustness of Apple’s devices through formal verification methodologies.
AppsArtificial Intelligence (AI)BroadcastingDigital EntertainmentFoundational AIMedia and EntertainmentMobile DevicesOperating SystemsTVWearables
Responsibilities
Working with Apple Silicon's world-class Security Enclave design engineers to develop a formal micro-architecture specification
Developing comprehensive formal verification test plan that includes unique security requirement verification
Proving properties of the design, finding design bugs, and working closely with design teams to help improve the micro-architecture
Crafting novel and creative solutions for modelling security attacks and proving robustness of complex design micro-architectures
Developing and implementing re-usable and optimized formal models and verification code base
Architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity
Qualification
Required
Working with Apple Silicon's world-class Security Enclave design engineers to develop a formal micro-architecture specification
Developing comprehensive formal verification test plan that includes unique security requirement verification
Proving properties of the design, finding design bugs, and working closely with design teams to help improve the micro-architecture
Crafting novel and creative solutions for modelling security attacks and proving robustness of complex design micro-architectures
Developing and implementing re-usable and optimized formal models and verification code base
Architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity
Detail oriented approach and desire to overcome challenges is required
Preferred
Hands on experience with VLSI and digital logic design and verification techniques or formal methods and their application to hardware, software, or systems
Interest in learning and becoming an expert in SoC, CPU, GPU, or Cellular designs
Formal Method or Formal Verification technologies knowledge is a plus
Knowledge and experience in interpreting hardware specifications
Temporal logic assertion-based languages such as SVA or PSL
Experience in using EDA formal tools and tool development experience is plus
Proficiency in any scripting language with excellent debugging skills
Excellent interpersonal skills
Passionate about developing world-class/innovative formal verification solutions
Exposure to CPU instruction-set architectures, memory consistency or cache coherence principles
Benefits
Comprehensive medical and dental coverage
Retirement benefits
A range of discounted products and free services
Reimbursement for certain educational expenses — including tuition
Discretionary bonuses or commission payments
Relocation
Company
Apple
Apple is a technology company that designs, manufactures, and markets consumer electronics, personal computers, and software.
Founded in 1976
10001+ employees
H1B Sponsorship
Apple has a track record of offering H1B sponsorships. Please note that this does not
guarantee sponsorship for this specific role. Below presents additional info for your
reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (6998)
2024 (3766)
2023 (3939)
2022 (4822)
2021 (4060)
2020 (3656)
Funding
Current Stage
Public CompanyTotal Funding
$5.67BKey Investors
Berkshire HathawayMicrosoftSequoia Capital
2025-05-05Post Ipo Debt· $4.5B
2025-01-16Post Ipo Debt· $0.31M
2021-04-30Post Ipo Equity
Leadership Team
Tim Cook
CEO
Craig Federighi
SVP, Software Engineering
Recent News
Venrock
2025-12-01
2025-09-25
Mac Daily News
2025-09-25
Company data provided by crunchbase