Home : Career Opportunities
 

Research Position in Applied Formal Methods / Software Correctness

Kestrel Institute has several openings for researchers interested in tools and methods for producing software that is known/proven to be correct. Topics that are of interest include:

• Developing high-level specifications/models and validating them using, e.g., theorem provers.
• Formalizing design and implementation knowledge using, e.g., refinements, transformations or semantics-based meta-programming; using formalized knowledge to generate code and other artifacts (e.g., certification evidence).
• Formally proving the correctness of refinements and transformations.
• Analyzing specifications, refinements, transformations and code.

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

Experience with one or more of the following is desirable: higher-order logic, theorem provers, formal specification systems, formal verification, functional programming languages, program transformation systems. We are interested in researchers with all levels of experience. All of our researchers are offered opportunities to take on project leadership roles, if so inclined.

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

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

U.S. citizenship is a plus.

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

Principals only, please.

Please no phone calls.

-Back to Top- 

- Home - About Kestrel - Research Staff - Current Projects - Project Archive -
- Publications - Technology Transfer - Career Opportunities - Contact Kestrel -