About this job
Technologies
Job description
Are you ready for a challenge? Do you want to work around of number of equally intelligent people?
GrammaTech’s Research Internship offers PhD students the opportunity to gain real experience in a friendly, open, and supportive environment. We choose projects based on real needs, and interns work closely with engineers on specific research projects. Candidates will be selected based on research core to GrammaTech. This position is on the Research side of our business, please research our current and completed research projects on the website before applying, https://www.grammatech.com/sponsored-research. (HINT: This is a research role, doing research on the company is important.)
GrammaTech will conduct a series of programming tests and screening interviews as part of our process. Most will be in C or C++ but it may vary for the team being considered.
Responsibilities:
Research projects at GrammaTech can take on a wide variety of topics and challenges. Projects focus on software assurance, software protection, reverse engineering, and software transformation. We do both static and dynamic analysis on both source and object code, in order to tackle serious problems with practical solutions.
Potential projects include:
- Apply compiler optimizations to binaries. Develop some classic compiler optimizations on top of our IR.
- Compile benchmark programs, design and run a large-scale Bug-Injector experiment
- Web development of a reverse-engineering diagram viewer and editor
- Improve precision and recall of similar machine code search, including feature engineering, run experiments to identify gaps, and implement solutions
- Work on automatically injecting known bugs into JavaScript programs, i.e., building a JavaScript front-end for Bug Injector
- Expand testing for vulnerability detection and rewriting for embedded systems. Set up sample systems, identify vulnerabilities, test if our tools offer strong protection.
Required
- Enrollment in a Computer Science PhD program
- Excellent programming skills (C++, C, & Python) in Linux or Windows environments
Preferred for One of the Teams
- Excellent programming skills in Common LISP or Scheme
Life at GrammaTech, Inc.

About GrammaTech, Inc.
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 has two distinct business development units, the Product Team and the Research Team. Information on both can be found on the company website but this position is on the Research Team and some of our past projects can be found on our website, https://www.grammatech.com/sponsored-research.
The Product Team focuses on our Code Sonar product line:
CodeSonar employs a unified dataflow and symbolic execution analysis that examines the computation of the complete application. By not relying on pattern matching or similar approximations, CodeSonar's static analysis engine is extraordinarily deep, finding 3-5 times more defects on average than other static analysis tools.
Unlike many software development tools, such as testing tools, compilers, configuration management, etc., SAST tools can be integrated into a team's development process at any time with ease. SAST technologies like CodeSonar simply attach to your existing build environments to add analysis information to your verification process.
The Research Team responds to Request for Proposals from government and other sponsors:
Our expertise in software analysis and binary transformation comes from decades of experience of high-tech research with the U.S. government and other organizations. Over the past two decades, we have partnered with several groups to help solve some of the most complex software challenges that impact devices' resiliency, safety, and security. Our work has been focused in three areas:
- Software Assurance: new techniques and technologies for analyzing and correcting software to ensure runtime integrity and prevent unplanned system breaches and failures.
- Software Hardening: technologies solely focused on system resiliency.
- Autonomic Computing: providing software systems with the ability to ‘self-protect’
This position is on the Research team.
Benefits
- Competitive base salaries - whether in Ithaca, Madison or remote!
- Flex Time - flexible hours, ample vacation time, available day one
- Floating Holidays - flexible holidays can be taken on any day
- Healthcare -health, dental, & vision; covered day one
- Annual bonuses and raises - above cost of living increases
- Generous pension plan - after 13 months of employment
- SNACKS - plenty of free snacks!
Joel Test
More jobs at GrammaTech, Inc.
Okay, you won’t see this job anymore. Undo
Want to get notified about new jobs at GrammaTech, Inc.?
Create a company alertReactions to this job
Are you looking for a job?
When you create a Developer Story, we’ll accelerate your matches and get you in front of employers ASAP.
Create a Developer StoryHiring developers? We have Talent Solutions.
Learn more »