Received: from RI.CMU.EDU by ux4.sp.cs.cmu.edu id aa25834; 20 Jun 98 14:55 EDT Received: from crg-gw.Stanford.EDU by RI.CMU.EDU id aa14317; 20 Jun 98 14:54:36 EDT Received: from ksl.stanford.edu (SMI-Shiva-2-5.Stanford.EDU [171.65.32.42]) by crg-gw.Stanford.EDU (8.8.8/8.8.8) with ESMTP id LAA11041; Sat, 20 Jun 1998 11:54:26 -0700 (PDT) Message-ID: <358C05A8.C35DC167@ksl.stanford.edu> Date: Sat, 20 Jun 1998 11:55:36 -0700 From: Richard Fikes Organization: KSL X-Mailer: Mozilla 4.03 [en] (WinNT; U) MIME-Version: 1.0 To: ai+lisp-jobs@cs.cmu.edu Subject: Job: Intelligent Systems at Stanford University (Stanford, California) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: ai+@ux4.sp.cs.cmu.edu I have a Programmer position and a Research Associate position available starting this summer for someone to work with us on our knowledge representation and reasoning projects in the Knowledge Systems Lab at Stanford University (http://www-ksl.stanford.edu/). We currently have projects in DARPA's High Performance Knolwedge Base (HPKB) program and Rapid Design Exploration and Optimization (RaDEO) program, and have proposals pending to NSF's Knowledge and Distributed Intelligence (KDI) program. A paper describing our current vision and research directions in the HPKB program is available at http://ksl-web.stanford.edu/KSL_Abstracts/KSL-97-02.html. The programmer position is to work with James Rice in building our large-scale intelligent system prototypes. Our primary implementation languages are LISP and JAVA, and we typically provide HTML/JAVA user interfaces for our systems and make them available for use via the Web. (See our Ontolingua system as an example; http://ontolingua.stanford.edu.) Our programmers are substantive participants in our research activities and co-author many of our publications. If you are interested in this position, send me your resume information. Richard Fikes Co-Scientific Director, Knowledge Systems Laboratory Professor (Research) Computer Science ------------------------------------------------------------------------------- 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