Email Gateway (Aug 18 2022 at 17:16): Email Gateway (Aug 18 2022 at 17:16):From: Alessandro Coglio <coglio@kestrel.edu>
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: careers@kestrel.edu
Please no phone calls.
Last updated: Apr 19 2024 at 01:05 UTC