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.
Design, experiment with, and implement new checkers
Make improvements to general analysis infrastructure
Investigate, debug, and reproduce failures and imprecision
Experience in C/C++ development
Experience with Object Oriented programming and design
Experience with development on Linux
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
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.
Apply at https://sjobs.brassring.com/TGnewUI/Search/Home/Home?partner...