Software Engineer: Research ER11-01

Want to originate new technologies? Help make the software that runs our world better, safer, and more secure? Be a smart person on a smart team, where everyone brings their A game every day?

At GrammaTech, you will perform cutting-edge research in the automated software analysis domain. You'll be there for every step of the process: from initial proposal through design, experimentation, development, testing, and final delivery. The tools you build will solve real problems for real people. You'll work on a small team, and have the opportunity to lead teams as Principal Investigator.

You

Like interesting problems, and autonomy in solving them.
Are rock-solid on the fundamentals. Haven't worked in the automated software analysis domain before? Not a problem. Can't find your way around a graph? Problem.
Have an academic foundation ready to research on.
Want to work on projects that matter.
Can convince when you're right, and learn when you're wrong.

We

Make static-analysis tools that are used worldwide by startups, Fortune 500 companies, educational institutions, and government agencies.
Have a research arm that explores new horizons in software analysis, and a product arm that brings the research to market.
Are software experts. All the way to the top of the company.
Are bootstrapped from a two-person start-up...in 1988.
Don't expect (or even want) staff to work more than 40 hours a week.
Have Cornell University just up the hill, and collaborate with other universities too.

Qualifications: the details

At least a BS in computer science or equivalent experience. MS is great. PhD is extra-great. If you're good, we'll create the right position for you.
Advanced software application development skills in C++. It's not just about our own code, it's about taking other people's software apart and showing them what makes it tick.
Experience: at least a year. (Three if your degree is a BS.)
US Person as defined by ITAR.

Bonus skills

Know one or more of these? So much the better.

Compiler design, static analysis, or software security.
Scheme or Python.
Machine code, especially x86, PowerPC, or ARM.
Hypervisor technology.
Software and data visualization techniques

To Apply

Send your résumé via email to recruiting@grammatech.com. Please use reference ER11-01 in the subject line, and state your citizenship.

Equal Opportunity Employer, M/F/D/V

About GrammaTech

GrammaTech is a software company located in beautiful Ithaca, New York. We perform cutting-edge research and make static-analysis tools that are used worldwide by startups, Fortune 500 companies, educational institutions, and government agencies.