[ The Types Forum (announcements only),
    http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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 networks.

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:

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

Fax:  650-424-1807

Email:  care...@kestrel.edu

Please no phone calls.

Reply via email to