Innovation is at the heart of GrammaTech, and we are constantly pushing the boundaries of software research and development–from software assurance and software integrity to cyber?security, threat mitigation and autonomic computing. We develop new technologies and see the results of our research incorporated into tools used by engineers and security professionals worldwide.  GrammaTech was founded in 1988, with the firmly?grounded purpose of helping today’s organizations develop tomorrow’s software. With a focus on the evolving cyber?security landscape, software hardening and intelligent systems, we tackle the most challenging software issues through a constant stream of highly innovative research and commercial development programs. Headquartered in Bethesda, MD, and a Research and Development Center in Ithaca, NY, as well as opportunities for remote employment. For full-time, direct hire roles, we offer a competitive salary and benefits package including health care plan options, a generous paid time off program, flexible hours, company?sponsored employee pension plan, and opportunities for professional and personal development.  GrammaTech, Inc. is an Equal Opportunity/Disability/Veterans/Affirmative Action employer. Members of underrepresented groups are encouraged to apply.

GrammaTech, Inc.

United States

Software Engineer - Static Analysis (CodeSonar Team)

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