The Coq mailing list

[coglio AT kestrel.edu]

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 AT kestrel.edu

Principals only, please.
Please no phone calls.