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