[TYPES/announce] Job Opportunities at Kestrel Institute

Alessandro Coglio coglio at kestrel.edu
Fri Feb 11 21:23:40 EST 2011

Researcher in Applied Software Synthesis

Are you interested in developing tools and techniques for the automated 
synthesis of provably correct software from formal specifications?

Kestrel Institute has openings for researchers with strong implementation 
skills, driven to advance the state of the art and practice of software 
synthesis and to apply it to real-world problems. Research topics include: 
high-level modeling, rigorous specification, program refinement, program 
transformation, theorem proving, verification, security guarantees.

Candidates must be willing and able to learn new application domains and to 
apply program synthesis technology to them. Past and current application domains 
include: smart cards, security and communication protocols, scheduling, memory 
management, Java analysis, synthetic diversity, embedded controllers, and sensor 

Candidates must have a strong mathematics and computer science background, at 
the Master’s or PhD level or equivalent experience. U.S. citizenship is a plus.

Kestrel Institute is a non-profit research center. Our website, www.kestrel.edu, 
describes our research. We offer competitive salaries and excellent benefits.

Resumes may be submitted by email, fax or mail to:

Reference: Computer Scientist Position
Kestrel Institute
3260 Hillview Ave.
Palo Alto, CA 94304

Fax:  650-424-1807

Email:  careers at kestrel.edu

Please no phone calls.

More information about the Types-announce mailing list