Fortify (a division of Micro Focus) | Static analysis expert | Sunnyvale, CA | ONSITE | Full time
Fortify SCA is the industry-leading static analyzer for application security.  Our analyzer scans applications in some two dozen languages, analyzing their source code, looking for hundreds of different types of vulnerabilities.  We are looking for someone to join our core static analysis team.  Our ideal candidate would have a CS PhD or equivalent experience, with emphasis on static analysis using abstract interpretation, and would have worked on whole-program analyzers for dynamic languages such as JavaScript or Python.  (Knowledge of points-to analysis or higher-order flow analysis is especially desirable.)  But such people are quite rare; we would be happy to hear from anyone with compiler internals experience.  Come help us make the world's software safer by advancing the state of the art in static analysis!  Please contact me (the SCA tech lead) directly: REDACTED_EMAIL