Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site wdl1.UUCP
Path: utzoo!watmath!clyde!cbosgd!ihnp4!houxm!mhuxt!mhuxr!ulysses!allegra!mit-eddie!genrad!decvax!decwrl!sun!wdl1!mhb
From: mhb@wdl1.UUCP
Newsgroups: net.jobs
Subject: AI and SYSTEMS Research jobs
Message-ID: <948@wdl1.UUCP>
Date: Mon, 20-Jan-86 18:40:31 EST
Article-I.D.: wdl1.948
Posted: Mon Jan 20 18:40:31 1986
Date-Received: Thu, 23-Jan-86 08:28:22 EST
Sender: notes@wdl1.UUCP
Organization: Ford Aerospace, Western Development Laboratories
Lines: 39
Nf-ID: #N:wdl1:3900009:000:1394
Nf-From: wdl1!mhb    Jan 20 13:59:00 1986


                 RESEARCH OPPORTUNITIES at
           Ford Aerospace & Communications Corp.
                       Palo Alto, CA


Ford Aerospace, Palo Alto, is looking for talented academics
to   participate   in   their  software  research  programs.
Currently, we are seeking people in two  areas:   ARTIFICIAL
INTELLIGENCE and FORMAL SYSTEMS.

                  Artificial Intelligence
                  =======================
We are looking for all levels of AI researchers and program-
mers,  from   PhDs  down to experienced Lisp programmers, to
carry out applied research.  Among our research and applica-
tion areas:
o    expert system paradigms
o    distributed expert systems
o    image understanding
o    man-machine interface

                       Formal Systems
                       ==============
We are looking for talented people with  an  academic  back-
ground  to help lead our research into the theory and appli-
cation of formal systems.  Research includes  the  verifica-
tion  of program correctness and its application to computer
systems.

                          Contacts
                          ========
Richard H. Sherman; (arpanet)sherman@FORD-WDL1; (415) 852-4122
Michael Bender; (arpanet)mhb@FORD-WDL1; (415) 852-4137
Bev Ding; Ford Aerospace, Industrial Relations, 3939 Fabian Way,
     Palo Alto, CA 94303

                  US CITIZENSHIP REQUIRED