**Role Number:** 200665894-0505

**Summary**
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
s...