Senior Engineer, Static Analysis
Coverity - Seattle, WA

This job posting is no longer available on Coverity. Find similar jobs: Senior Engineer jobs - Coverity jobs

Coverity is a 275+ person pre-IPO company that is healthy and growing rapidly. With record growth in 2012, we are part of the Deloitte Fast 500, the San Francisco Fast 100, and the 2012 CODiE award winner. Our experienced leadership team has "been there, done that" in enterprise software.

Our products find bugs and security vulnerabilities in source code before they can crash software in the key systems of such important things as pacemakers, cars, and cell phones -- and before they can be hacked by malicious attackers. We are considered to be the leader in the embedded software testing space -- and we are rapidly expanding into other industries and markets. Among our 1,100 customers are:

7 of the 10 top global brands

All 10 top aerospace and defense companies

All 10 top consumer electronics companies

8 of the 10 top telecommunications companies

7 of the 10 top software companies

You name a product in your daily life, and it is likely that we made it better by improving the software. We are proud that the software of the Mars Rover Curiosity is "Coverity-clean" and our products contributed to the success of the large Hadron Collider. In addition, Coverity provides free code analysis to open source projects through our SCAN initiative and most top universities use us as part of their Computer Science curriculum to demonstrate software testing at its best.

Our team works on cutting-edge problems in compilers, build systems, program analysis, code coverage, modern web-applications, IDE plugins, and much more. The challenges range from performance (we need to analyze 10s of millions of lines code in a few hours), capacity (we need to serve organizations with 10s of thousands of developers maintaining 100s of millions of lines of code), to smooth deployments and upgrades. Our people share a passion to "help developers build better code". They are smart, work hard to take advantage of the great opportunity in front of us, strive for excellence, and have fun as a team.

We have 3 development offices - San Francisco, Calgary, and downtown Seattle. We use the best computer equipment available (including Macs), multiple large monitors, ergo keyboards, and top-of-the-line office furniture.


We only want the best of the best to join our team . Be ready to produce results. Bring innovation, creativity and passion to work every day. Lead others. Create urgency. Stand back to back with your team. Make an impact. Have fun.

The Static Analysis team is looking for an exceptional C# developer to join the Coverity core analysis team. The job involves creation of new checkers, evolving Coverity's state of the art analysis infrastructure, and generally push the envelope of static analysis.

The perfect candidate will have a strong passion for improving software quality and preferably a background in programming languages and static analysis, and foremost a strong desire to learn. If you've got experience with any known static analysis and developer testing tools like Fortify, Parasoft, or Klocwork, we'd love to talk to you!

Do you want to help change the world of software development? Are you the best of the best? Then please consider joining our team of outstanding and driven static analysis experts!


Design, experiment and implementation of new checkers

Improvements to general analysis infrastructure

Qualifications: Must Have

BA Computer Science, BS or MS or equivalent

Significant experience in C# development (2+ years)

Strong understanding of C and C++ (2+ years)

Experience with Object Oriented programming and design

Experience with development on Windows

Qualifications: Nice to Have

Background in programming languages and static analysis

Experience with C++ templates

Experience with development on UNIX

Personal Skills

Strong problem solving skills

Good written and verbal skills

Team player

Strong interest in learning and growing

Driven personality/self-starter