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.