Security Developer Tools Engineer (Static Analysis), Languages & Runtimes

Appleʼs static program analysis tools help millions of developers inside and outside of Applenfind fix and prevent security and stability bugs. We are looking for a senior engineer with anstrong background in compilers or static analysis tools to help develop tools to prevent classesnof errors support the adoption of safe programming models and find bugs. This role will involvendeveloping program analyses to prevent classes of errors and automate the adoption of safenprogramming models collaborating with and mentoring engineers and partnering withnoperating system and security teams to improve the security and reliability of software in thenApple ecosystem. We value creativity communication skills and integrity and aspire to buildndiverse balanced and dynamic teams.

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

Help develop and make progress on a technical roadmap to build program analysis tools toncontinually improve the security of Appleʼs operating system software stack including usernspace kernel and firmware program analysis-based tools and features to prevent classes of errors enable thenadoption of safe programming models and find the end-to-end engineering of the tools and features including feature planningndesign implementation testing and roll out with partner teams to design plan and deliver high-quality software features for ourntools and operating the team by mentoring junior engineers and helping engineers grow their strong connections to the Clang/LLVM community and represent Apple in open source.

Experience developing compiler or static analysis tools (such as with compiler frontendsnrefactoring tools software verification tools).nExcellent software engineering testing and debugging in C in systems-level programming and communication and organizational skills.

Experience with static analysis techniques (data flow analysis abstract interpretation ornsymbolic execution) is a leading the technical development of large features and collaborating acrossnorganizational boundaries.