Synopsys | Software Engineers - Static Analysis / C++ | San Francisco, CA Onsite (... eventually)
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.
    Have a desire to quickly familiarize yourself with a broad variety of languages and technologies.
     
General Responsibilities
    Design, experiment with, and implement new checkers
    Make improvements to general analysis infrastructure
    Investigate, debug, and reproduce failures and imprecision

Key Qualifications
    Experience in C/C++ development
    Experience with Object Oriented programming and design
    Experience with development on Linux

Preferred Experience
    Experience or Interest with Web App Security or Mobile Security
    Experience with one or more of Java, C#, JavaScript, Go, or Python
    Experience with compiler technology
    Research, degree or background in programming languages and static analysis
    Experience with development on Windows
     
APPLY HERE: <a href="