Message-Id: <9703040558.AA14815@theforce.Stanford.EDU>
To: ai+lisp-jobs@cs.cmu.edu
Subject: Job: Common Lisp position at Stanford
Date: Mon, 03 Mar 1997 21:58:17 -0800
From: David Dill <dill@theforce.stanford.edu>
Sender: ai@A.GP.CS.CMU.EDU


We're looking for an expert Common Lisp programmer to help with
implementing a system for prototyping formal methods applications.
Here is the official advertisement:

DESCRIPTION: Computer Systems Lab (CSL) in the Computer Science
Department is seeking an expert Common Lisp programmer to support a
research project to develop formal verification tools in a
mixed-language environment.  Responsibilities to include implementing
parts of the system, investigating and improving performance of
existing Lisp systems, implementation of interfaces to C and C++
libraries using foreign function interfaces, assisting in design of
the system architecture, and providing guidance to implementers
(e.g. graduate students) with less Common Lisp experience.

QUALIFICATIONS: B.S./M.S. (Master's degree preferred for C07 level) in
Computer Science or related discipline, plus 2-5 years (C06) or 6-12
years (C07) related experience or equivalent combination of education
and experience. Successful applicant will have in-depth knowledge and
extensive experience implementing efficient Common Lisp code, and
excellent programming skills in Common Lisp and experience with C or
C++ programming on Unix. Experience should include working on a
multi-programmer implementation project. Previous experience with
formal logic or theorem-proving systems would be useful, but is not
required. Send resume and at least three references to Professor David
Dill, Computer Science Dept., Stanford University, Stanford, CA
94305-9030 either by FAX at 415/725-6949 or e-mail at
dill@theforce.stanford.edu (e-mail preferred).


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