Overview:
GrammaTech is seeking a talented and innovative software engineer to augment the team working on CodeSonar –our flagship static analysis product –to specialize in static checkers.
The successful candidate will work on the CodeSonar static checkers, both to improve existing checkers and to implement entirely new ones. Most new checkers will be for analyzing C++, and those checkers will also be written in C++, so very strong C++ expertise is required. Writing good checkers is as much of an art as a science, and sophisticated judgment is needed to find the right balance of precision, recall, and performance.
Location: Preference is for Ithaca, NY or Bethesda, MD, but hiring manager may consider remote employees (MUST BE IN USA) when there is a strong match of skills and experience. (COVID Restrictions are in place and the team will not require relocation until restrictions are lifted.)
Responsibilities:
- Design and implement new static checkers, and evaluate them against synthetic micro-tests and real-world code
- Refine existing static checkers to improve their effectiveness
- Work with the front-end team to ensure the parsing phase is creating the necessary intermediate representations for the analysis
- Work with product management to convert customer requirements to solid designs and implementations
- Work with product technical support to troubleshoot customer issues
- Work with the testing team to ensure effective testing
- Report to the chief product architect
Qualifications:
Required
- BS in Computer Science or related field
- Industrial or advanced academic experience with implementing static analyzers
- Expert in C++
- Successful completion of a college-level compilers class
- Experience in an Agile/Scrum environment
- Proficiency with modern version control, CI/CD, and other software engineering tools
Preferred
- MS or PhD in Computer Science
- Experience with Python