[PRL] Fwd: GrammaTech positions

[Riccardo Pucella]

Hi folks,

Grammatech, in Ithaca (NY), is hiring. See below.

Get in touch with me if you have questions or are interested, and I'll hook you up with the powers-that-be.

 Cheers,
 R


----- Forwarded Message -----


Yes, GrammaTech is hiring! We are looking for full-time
employees to join our small software company located in beautiful
Ithaca, New York. We are also accepting internship applications for
summer 2010 from strong Bachelors, Masters and PhD students.

GrammaTech has been performing cutting-edge research since it was
founded in 1988. We incorporate our research results into commercial
products, which in turn are used as platforms for further research.
Our flagship system is the CodeSurfer/CodeSonar static-analysis
platform. In addition, we have developed an advanced prototype for
analyzing and rewriting binaries (i.e., stripped executables or
machine code) called CodeSurfer/x86.

We're looking for people with people with strong computer science
backgrounds and good C/C++ skills to fill a number of full-time
positions:
- Software Engineers
- User Interface Engineer
- Software Engineering Manager
- Software Test Engineers
- Technical Support Specialist

Full descriptions and application instructions are on our website at
http://www.grammatech.com/corporate/employment.html

We are particularly interested in candidates with expertise in
static analysis, dynamic analysis, or language-based security
analysis.

Because so much of our funding is from NASA and DoD, we require US
citizenship for our full-time positions. Candidates without
citizenship will only be considered in very exceptional circumstances.

GrammaTech is still small enough to maintain an informal atmosphere
with an academic flavor. We have 11 PhD-level experts in program
analysis and many bachelors/masters-level engineers working on
commercial projects and research sponsored by NASA and defense
agencies, including:
- Hypervisor-based Security
- Detecting Violations of Best Practices in Safety-Critical Code
- Malware Detection
- De-obfuscation Tools
- Analyzing Multi-Core Programs
- Model Checking Software Binaries
- Run-Time Process Monitoring
- Anti-Reverse Engineering
- Software Visualization