mhb@wdl1.UUCP (01/21/86)
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