Research Positions at Kestrel Institute

Kestrel Institute has several openings for computer science researchers in the broad topics of formal methods, program verification, software synthesis, and computer security.

Areas that are of interest include:

Candidates should have a strong background in computer science, preferably at the Master's or Ph.D. level (or equivalent experience).

Experience with one or more of the following is desirable: formal logic, theorem provers, formal specification systems, formal verification, functional programming languages, program transformation systems, or SAT/SMT solvers.

Candidates should have strong implementation skills and a willingness to adapt to new application domains. Domains that are currently of interest include planning and scheduling, network operations, smart cards, Java analysis, memory management, synthetic diversity, computer and network security, security and communication protocols, embedded controllers, and malware detection.

Kestrel Institute is a non-profit research center. Our website,, describes our research. We offer competitive salaries and excellent benefits. All of our researchers are offered opportunities to take on project leadership roles, if so inclined.

U.S. citizenship is a plus.

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

Principals only, and no phone calls please.