Synopsys

The Coverity Static Analysis team is looking for an exceptional C/C++ developer or static analysis expert to join the team. The job involves the creation of new code checkers, evolving Coverity's state-of-the-art analysis infrastructure, optimizing multi-process and system code, and generally pushing the envelope of static analysis. This position is ideal if you enjoy reasoning abstractly and scientifically about programming languages and software systems, want to enable customers to find critical security vulnerabilities before they go live, and have a desire to quickly familiarize yourself with a broad variety of languages and technologies.