Date: Thu, 18 Apr 1996 17:17:19 -0700
From: rafe@kestrel.edu (Rafael Furst)
Message-Id: <199604190017.RAA16268@merlin>
To: ai+ai-jobs@cs.cmu.edu
Subject: Job: Program Synthesis, Scheduling at Kestrel Inst. (Palo Alto, CA)
Sender: ai@A.GP.CS.CMU.EDU


[Please distribute]


Job Opportunities at Kestrel Institute
--------------------------------------

Kestrel would like to hire suitable candidates to apply and extend
software synthesis technology in the following areas.  Ideal
candidates would be able to cover several of these areas.

(1) Domain Modeling for Scheduling Applications
    & Synthesis of Scheduling Algorithms

   * Build theories of various scheduling domains
     (e.g. transportation, manufacturing, power plant maintenance)
   * Write formal specifications of scheduling systems
   * Synthesize code from the specifications using semi-automated
     algorithm design technology developed at Kestrel

   Previous experience with scheduling applications would be beneficial

(2) Software Synthesis and Automated Formal Methods

   We have projects that apply synthesis technology to various problem
   domains, in addition to scheduling:

   * software system design via formal descriptions of software architectures
   * parallel algorithm design
   * automated formal methods applied to database integration
   * automated formal methods applied to secure software


Qualifications
--------------

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
--------------------

Contact

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

Resumes may be submitted electronically (either plain text or
Postscript) or via the post office.

More information about Kestrel can be found at 

	http://www.kestrel.edu


-------------------------------------------------------------------------------
This message    | Submissions                       ai+ai-jobs@cs.cmu.edu
was sent via    | Subscribe/Unsubscribe             ai+query@cs.cmu.edu
the AI-JOBS     | Available mailing lists include
mailing list.   |    AI-JOBS, LISP-JOBS, PROLOG-JOBS, AI-POSTDOC, AI-PREDOC