About the Role

Apple's static program analysis tools help millions of developers inside and outside of Apple find, fix, and prevent security and stability bugs. We are looking for a senior engineer with a strong background in compilers or static analysis tools to help develop tools to prevent classes of errors, support the adoption of safe programming models, and find bugs. This role will involve developing program analyses to prevent classes of errors and automate the adoption of safe programming models, collaborating with and mentoring engineers, and partnering with operating system and security teams to improve the security and reliability of software in the Apple ecosystem. We value creativity, communication skills, and integrity, and aspire to build diverse, balanced and dynamic teams.

Description

In this role, your primary responsibility will be to develop security and bug-finding tools used to secure software running on over 2 billion devices, working as part of a team of static analysis and compiler engineers. This team collaborates closely with operating systems and security engineers to improve the security and stability of C, C++, Objective-C, and Swift codebases in Apple's platform and ecosystem. The team actively participates in the Clang/LLVM open source community and memory safety-related language standards efforts.

Responsibilities

• Help develop and make progress on a technical roadmap to build program analysis tools to continually improve the security of Apple's operating system software stack, including user space, kernel, and firmware environments.
• Develop program analysis-based tools and features to prevent classes of errors, enable the adoption of safe programming models, and find bugs.
• Own the end-to-end engineering of the tools and features, including feature planning, design, implementation, testing, and roll out strategy.
• Work with partner teams to design, plan, and deliver high-quality software features for our tools and operating systems.
• Strengthen the team by mentoring junior engineers and helping engineers grow their skills.
• Grow strong connections to the Clang/LLVM community and represent Apple in open source.

Minimum Qualifications

• Experience developing compiler or static analysis tools (such as with compiler frontends, refactoring tools, software verification tools).
• Excellent software engineering, testing, and debugging ability.
• Proficiency in C++ development.
• Interest in systems-level programming and security.
• Strong communication and organizational skills.

Preferred Qualifications

• Experience with static analysis techniques (data flow analysis, abstract interpretation, or symbolic execution) is a plus.
• Experience leading the technical development of large features and collaborating across organizational boundaries.

Equal Opportunity

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.