A searchable index of Hacker News “Who is hiring?” job postings.
← All postings · June 2020 thread
Synopsys
Software Engineers - Static Analysis
Original posting
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: https://sjobs.brassring.com/TGnewUI/Search/home/HomeWithPreL...