[PRL] Fwd: Opportunities for CS graduates at GrammaTech

[Matthias Felleisen]

Begin forwarded message:

> From: "Tim Teitelbaum" 
> Subject: Opportunities for CS graduates at GrammaTech
> Date: December 12, 2014 3:30:36 PM EST
> To: matthias at ccs.neu.edu
> Reply-To: "Tim Teitelbaum" <tt at grammatech.com>
> 
> Dear Matthias,
> 
> Greetings.
> 
> We are writing, as in the past, to request your help in recruiting high-quality graduates to GrammaTech. Our Government-sponsored research program and our commercial software assurance products are both growing, and we have open positions at all levels: Bachelors, Masters, PhD, and interns.
> 
> GrammaTech is an exciting environment for both Computer Scientists and Software Engineers. In many ways, it combines the diversity and intellectual depth of a top university Computer Science department with the focused challenge and excitement of a product-oriented high-tech startup. Our eighteenth PhD will join us next month, bringing our total technical staff to 50.
> 
> Our current research projects include the following:
> 
> DARPA
> Mining and Understanding Software Enclaves (MUSE)
> Cyber Grand Challenge (CGC)
> Vetting Commodity IT Software and Firmware (VET)
> Automatic Detection and Patching of Vulnerabilities in Embedded Systems
> ONR
> Lean and Efficient Software: Whole-Program Optimization of Executables
> Progressive Model Generation for Adaptive Resilient System Software
> NASA
> Specification Editing and Discovery Assistant for C/C++ Software Development
> NSF
> Crowdsourcing Annotations
> The next release of CodeSonar, our commercial software-assurance product, will feature:
> 
> Enhanced bug and security vulnerability discovery based on improved taint tracking and function pointer analysis.
> Analysis of projects that combine C/C++ and Intel x64 machine code.
> Support for the Misra coding standards.
> Ideal applicants would have interests and talents that match our core activities, as described by the projects described above, and which include static program analysis (including machine and source code), dynamic system monitoring, and applied formal methods. Positions are listed on our website here, and include opportunities for staff at our headquarters in Ithaca, as well as in our newer Madison, WI office.
> 
> You likely have a sense of who among your finishing graduates would be a good fit for us, and we would appreciate your referral.  We would love to schedule phone interviews for upcoming graduates that you identify as appropriate for this opportunity. Please feel free, as well, to forward this email to students you think would be interested.
> 
> Thanks again, as always, and happy holidays.
> 
> Tim and Tom
> 
> -- 
> Tim Teitelbaum, CEO 
> GrammaTech, Inc. 
> 531 Esty Street 
> Ithaca, NY 14850 
> (607) 273-7340 x125 
> http://www.grammatech.com 
> 
> Thomas Reps, President 
> GrammaTech, Inc. 
> Professor, Computer Sciences Department 
> University of Wisconsin 
> 1210 West Dayton Street 
> Madison, WI 53706 
> http://www.cs.wisc.edu/~reps 
> (608) 262-2091 [direct] 
> (608) 262-1204 [secretary]
> 
> 
> 

-------------- next part --------------
HTML attachment scrubbed and removed