[ The Types Forum (announcements only),
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
3260 Hillview Ave.
Palo Alto, CA 94304
Please no phone calls.