Subject: Computer Science Position at Kestrel Institute (Palo Alto, CA, USA)
From: Rafael Furst (email@example.com)
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 http://kestrel.edu/www/publications.html
* 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
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
3260 Hillview Ave
Palo Alto, CA 94304
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