187 jobs for "Formal Verification Engineer"

Apple is where individual imaginations gather together, committing to the values that lead to great work. Every new product we build, service we create, or Apple Store experience we deliver is the result of us making each other's ideas stronger. That happens because every one of us shares a belief that we can make something wonderful and share it with the world, changing lives for the better. It's the diversity of our people and their thinking that inspires the innovation that runs through everything we do. When we bring everybody in, we can do the best work of our lives. Here, you'll do more than join something - you'll add something.

Description
Join Apple's innovative team where you will contribute to the development and verification of cutting-edge wireless technologies. We are seeking a highly skilled Firmware Verification and Integration Engineer to play a critical role in ensuring the quality and performance of our 4G/5G firmware. You will be a key member of a cross-functional team, collaborating with component validation, integration, protocol test, firmware development, and system engineering teams.","responsibilities":"Designing and developing robust validation frameworks and comprehensive test cases for 4G/5G firmware.
Implementing and maintaining test automation for 4G/5G User Equipment (UEs), test simulators, and carrier OTA drops.
Verifying critical protocol, signal processing, and numerical algorithms, ensuring performance within stringent time, latency, and energy budgets.
Debugging and analyzing issues identified during testing, working closely with firmware development and systems design teams to drive resolution.
Evaluating and implementing advanced tools for building, formal verification, and testing processes.

Preferred Qualifications
Bachelor's, Master's degree, or higher degree in Electrical and/or Communication Engineering and/or Computer Science, or a related field, paired with several years of relevant industry work experience.
Experience with network emulators, silicon prototyping, emulation systems, and virtual platforms would be a plus
Proficiency in automation tools and scripting languages (e.g., Python, C/C++, Java) is beneficial.

Apple is an Equal Opportunity Employer that is committed to inclusion and diversity. We also take affirmative action to offer employment and advancement opportunities to all applicants, including minorities, women, protected veterans, and individuals with disabilities. Apple will not discriminate or retaliate against applicants who inquire about, disclose, or discuss their compensation or that of other applicants.

Minimum Qualifications
Expertise in 4G/5G 3GPP physical layer and protocol stack procedures and configurations.
Demonstrated experience in Modem system test plan and feature release planning for 4G/5G functional and performance scenarios.
Strong understanding of 4G/5G signaling and physical layer test equipment, including their automation interfaces.
Excellent analytical and debugging skills, with the ability to diagnose complex issues and collaborate effectively with development/design teams for resolution.
Proficiency with source code control tools.
Ability to quickly adapt and learn new architectures and frameworks.
Familiarity with AI/ML tools and techniques for test optimization, data analysis, or complex system verification.
Fluent English language skills are required for this position.

About Apple

Working at Apple means doing more than you ever thought possible and having more impact than you ever imagined.

Size: 10,000+ employees
Industry: Technology: Manufacturing

View company profile