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 tooling to help lead the technical planning, design, and implementation of static bug-finding tools. This role will involve developing compiler- and OS-assisted program analysis features, mentoring engineers, and partnering with operating system and security teams to improve the security and reliability of software in the Apple ecosystem. We value communication skills, integrity, creativity, and aspire to build diverse, balanced and dynamic teams.

DESCRIPTION

In this role, your primary responsibility will be to act as a technical lead for a team of static analysis engineers who develop bug-finding and security tools used to secure software running on over 2 billion devices. 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. You will: - Help develop and execute 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 - Work with cross-functional teams to design, plan, and deliver high-quality software features for our tools and operating systems - Strengthen the team by mentoring junior engineers - Grow strong connections to the Clang/LLVM community and represent Apple in open source - Develop new program analysis tools and checks by driving feature planning, design, implementation and roll out strategy - You will foster collaboration with IDE and CI teams as well as teams across Apple to help formulate priorities and set goals for the team. Your work will directly improve the development experience for millions of developers across the world. Here you’ll find that we: - Have a supportive and tight-knit team - Provide mentorship on technical as well as social skills - Have an encouraging and growth-focused workplace culture If this sounds of interest to you, we’d love to hear from you!

MINIMUM QUALIFICATIONS

• Experience developing compiler or static analysis tools (such as with compiler frontends, refactoring tools, software verification tools)
• Experience leading the technical development of large features and collaborating across organizational boundaries
• Proficiency in C++ development
• Interest in systems-level programming and security

PREFERRED QUALIFICATIONS

• Strong communication and organizational skills
• Excellent software engineering, testing, and debugging ability
• Experience with static analysis techniques (data flow analysis, abstract interpretation, or symbolic execution) is a plus.

Please refer the Job description for details