Synopsys

The Static Analysis team is looking for an exceptional C/C++ developer, with experience or interest in building security tools, to join the Coverity team. The job involves the creation of new checkers, evolving Coverity's state-of-the-art analysis infrastructure, performance and parallel system optimization, and generally pushing the envelope of static analysis. The perfect candidate will have a strong passion for improving software quality and security, preferably some background in programming languages and static analysis, and foremost a strong desire to learn. 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 stable company and top-notch team of coworkers.