Computer Science Position at Kestrel Institute (Palo Alto, CA, USA)

Subject: Computer Science Position at Kestrel Institute (Palo Alto, CA, USA)
From: Rafael Furst (
Date: Thu Oct 31 1996 - 04:53:27 MET

Job Opportunities at Kestrel Institute

Kestrel has positions available for candidates interested in applying
state-of-the-art software synthesis techniques and formal methods
technology to applications in various domains. The position would
require you to learn to use and apply the KIDS and Specware systems
developed at Kestrel to generate highly-efficient algorithms,
especially in the domain of scheduling (e.g. transportation, power
plant maintenance, and manufacturing). Related projects are exploring
formal methods applied to database integration and secure software.

For information on the formal approach used at Kestrel, see

  Synthesis of Planning and Scheduling Software. Douglas R. Smith,
  Eduardo A. Parra, and Stephen J. Westfold. Advanced Planning
  Technology, Ed. A. Tate, AAAI Press, Menlo Park, California, 1996.

  Specware(TM): Formal Support for Composing Software. Y. V. Srinivas
  and Richard Jullig, Proceedings of the Conference on Mathematics of
  Program Construction, Kloster Irsee, Germany, July 1995.

Both are available from


Minimum Qualifications

   * MS in Computer Science or equivalent

Additional Desirable Qualifications

   * interest in developing working applications for end-users

   * ability to work with applications of advanced mathematical concepts
     to software engineering

   * experience with automated theorem-proving systems

About Kestrel

We are a small research and development group specializing in applying
formal methods and knowledge-based systems to advance the
state-of-the-art in software development. Recent projects include:
development of tools for the design and automated synthesis of
component-based software using high-level, graphical specifications;
synthesis of extremely fast algorithms; improving software analysis
and testing using automated reasoning engines; on-the-fly software
visualization; the specification, synthesis, verification and
simulation of reactive systems; as well as others.

Our current work builds on concepts from mathematical logic and
automated theorem-proving, higher-order algebraic specifications,
category theory, and sheaf theory.

The Best of the Research and Commercial Worlds

Kestrel Institute is a not-for-profit research institution which is
funded primarily through government grants, and contracts with private
companies. In order to test the feasibility of our ideas, our
research is almost always implemented as working prototype systems.
Opportunities exist to get involved in technology transition,
including equity interest in startup companies.

For More Information


        Dr. Douglas Smith
        Kestrel Institute
        3260 Hillview Ave
        Palo Alto, CA 94304
        (415) 493-6871

Electronic submission of resumes is preferred (either plain text or

More information about Kestrel can be found at

This archive was generated by hypermail 2b25 : Fri Mar 03 2000 - 16:17:11 MET