Apple · 10 hours ago
Formal Verification Engineer
Austin, TX
Full-time
Onsite
New Grad, Entry Level
$114K/yr - $191K/yr
0+ years expApple is a leading technology company known for its innovative products. As a Formal Verification Engineer, you will be responsible for developing and implementing formal verification processes for design blocks and IPs, ensuring high-quality functional products are delivered efficiently.
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
Bachelor's degree in electrical engineering, computer engineering, or related field with 0 years of experience
Preferred
Interest in learning and becoming an expert in SoC, CPU, GPU, or Cellular design
Detail oriented approach and desire to overcome challenges is required
Formal Method or Formal Verification technologies knowledge is a plus
Knowledge and experience in interpreting hardware specifications
Proficiency in any scripting language with excellent debugging skills
Excellent interpersonal skills
Passionate about developing world-class/innovative formal verification solutions
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.
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