[isabelle] Research Positions at Kestrel Institute

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:

- Tools and methods for producing software that is known/proved to be correct
   and secure

- Developing high-level, rigorous specifications/models and validating them
   using provers/solvers

 - Formalizing design and implementation knowledge (e.g., as libraries of
refinements and program transformations) and generating high-quality code
   that satisfies security and correctness properties

 - Analyzing specifications, transformations, and code for security and

 - Developing high-assurance plans and schedules

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, www.kestrel.edu,
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
Email:careers at kestrel.edu

Principals only, and no phone calls please.

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.