Synopsys

The Static Analysis team is looking for an exceptional C/C++ developer to join the Coverity team. The job involves the creation of new code checks, evolving Coverity's state-of-the-art analysis infrastructure, optimizing multi-process and system code, and generally pushing the envelope of static analysis. The perfect candidate will have a strong passion for improving software quality and security-- perhaps some background in programming languages, compilers, or static analysis-- and foremost a strong desire to learn. This position is ideal if you: * Enjoy abstract reasoning about software systems. * Want to help find critical security vulnerabilities before they go live. * Have a desire to deconstruct the latest programming languages and frameworks, to help find patterns of vulnerabilities. You will work in our China Basin office in San Francisco, with easy access to Muni and Caltrain. This is a chance to dive deep into some challenging engineering problems, with the backing of a solid company and top-notch team of coworkers.