Received: from GLINDA.OZ.CS.CMU.EDU by A.GP.CS.CMU.EDU id aa18802; 10 Aug 95 19:06:06 EDT Date: Thu, 10 Aug 95 19:04:21 EDT From: AI.Repository@GLINDA.OZ.CS.CMU.EDU To: ai+ai-jobs@cs.cmu.edu Subject: Job: Knowledge-based AI at NASA Ames (Moffett Field, CA) Cc: ai+lisp-jobs@CS.CMU.EDU Sender: ai@A.GP.CS.CMU.EDU From: lowry@minkowski.arc.nasa.gov (Michael Lowry) Subject: NASA Ames S/W Engineer for Automatic Programming Project Organization: NASA/Ames Information Sciences Date: Wed, 9 Aug 1995 03:20:52 GMT Background: The goal of the Amphion project is to make knowledge-based software enginnering (KBSE) a reality for NASA. KBSE uses techniques from artificial intelligence and formal methods to raise the level at which users program to the specification level (what is the problem to be solved) rather than the detailed code level (how to solve a problem). Programs are generated automatically from specifications. The Amphion system is a general-purpose KBSE system that has been applied to several NASA domains: space science observation geometries (Amphion/NAIF), space shuttle navigation (Amphion/TOT), and computational fluid dynamics (Amphion/CFD). The most mature of these applications - Amphion/NAIF - has generated software currently in use by space scientists. One example is a visualizer for the 1995/1996 Saturn Ring crossing, when Saturn's rings appear edge-on to the earth, thus providing unique observation opportunities. More information can be found on the WWW at http://ic-www.arc.nasa.gov/ic/projects/amphion/index.html We are currently expanding Amphion from a research system to a robust industrial-quality system that will be distributed to various NASA user communities. Job Description and Requirements: We are seeking an experienced software engineer who has had significant system-building and customer support responsibilities on software projects. The major job responsibilities will be to continue development and refinement of the user interfaces; system building, robustifying, and maintenance; and working directly with customers. In the next year customers will mostly be space scientists and engineers working on unmanned missions such as Galileo (Jupiter), Cassini (Saturn), and Mars Surveyor, and New Millennium. Secondary responsibilities will be to support and participate in research aimed at next-generation KBSE systems. The base qualification for this job is previous project experience building and maintaining UNIX-based software systems, and subsequent customer support. Experience with Lisp and X-Windows is a plus. Good candidates should be well organized, highly motivated, and able to learn quickly. This job offers significant technical growth. The following is a partial list of sciences and technologies that are relevant to this job; we expect most of these to be learned on the job (please mention previous training or experience): Solar System Astronomy, celestial mechanics, automated theorem proving, knowledge representation and acquisition, formal specification languages, Lisp, CLOS (common lisp object system), user interface technologies including Garnet, Motif, HTML (Word Wide Web) and X-WIndows, and application languages including Fortran and C++. Salary will be commensurate with experience and education. This is a full-time permanent position, available immediately. US citizenship or green card status is required. The bulk of the work will be performed on site at NASA Ames Research Center in Silicon Valley (the south San Francisco bay area). To apply: Please send an electronic copy of a cover-letter and resume or curriculum vitae (ASCII or Postscript) to lowry@ptolemy.arc.nasa.gov If you are unable to send email, a hardcopy of your resume can be mailed to: Dr. Michael Lowry MS 269-2 NASA Ames Research Center Moffett Field, CA 94035 Preliminary interviews will be held either by telephone, in the Silicon Valley area, or at IJCAI'95. ------------------------------------------------------------------------------- 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