From: bboyer@orion.oac.uci.edu (Bruce Boyer)
Subject: Knowledge Eng Position Wanted
Newsgroups: misc.jobs.resumes
Organization: University of California, Irvine
Date: 26 Jul 92 22:29:47 GMT
Distribution: ca

Dear Reader:

I am interested in pursuing a position in knowledge engineering.  I am
interested in this position as an opportunity to apply my extensive 
background in logic and information analysis.  If you can offer me
any help, including pointers to my search, I would be grateful.  All the
more so if you have a position for me.

My background includes extensive work in philosophical logic, including
the usual first-order logic and several forms of "deviant" logic.  I have
earned a Ph.D. in philosophy, with a dissertation on dynamic default logic.
This background should put me in a good position to represent information
in an appropriate language.

My professional experience as a technical writer gives me somewhat more
practical representational experience, since I have had to assemble,
organize and present information, albeit in English.

If you have a position that could make use of my background, I would like 
to hear from you.  Please refer to the resume below for details of my 
experience.

If I can provide any further information, please contact me via email, 
mail or phone.

Thank you.

Sincerely,

Bruce L. Boyer

------------------------------

                         BRUCE L. BOYER
                         18011 Theodora
                   Tustin, California 92680
                      Home: (714) 838-8865
                      Work: (714) 549-6382
                 email: bboyer@orion.oac.uci.edu

Education
     Ph.D., Philosophy, University of California, Irvine, 1991
            Dissertation:  Dynamic Default Logic
     M.A., Philosophy, University of California, Irvine, 1984
     M.A., Theology, Fuller Theological Seminary, Pasadena, 1978
     B.A., Philosophy, Westmont College, Santa Barbara, 1974

Special Knowledge
     Logic: 
            Predicate logic (with identity and descriptions)
            Modal predicate logic and other intensional logics
            Dynamic logic
            Set theory
            Model theory
            Computability theory

     Computer languages: BASIC, C, Lisp, Pascal

     Philosophy of Artificial Intelligence and Mind

Work Experience
     Technical Writing
           This work emphasizes analytical skills required to collect 
           and organize diverse and often complex and changing 
           information for presentation to a reading audience.

           > Symbol Technologies, 1991 to present
           > MAI Systems Corporation, 1983 to 1987 and 1988 to 1991
           > Liaison DataCorp, 1987 to 1988

     Teaching
           My classes primarily have been introductions to logic and 
           critical thinking, using categorical (Aristotelian), 
           propositional, and basic predicate logics.

           > Lecturer, Philosophy Department, Orange Coast Community
             College, 1987
           > Teaching Associate, Humanities Department, University of 
             California, Irvine, 1982 to 1983
           > Teaching Assistant, Philosophy Department, University of 
             California, Irvine, 1980 to 1982
           > Lecturer, Philosophy Department, California State 
             University, Los Angeles, 1981

References
     Available upon request

--
*******************
Bruce L. Boyer
orion.oac.uci.edu!bboyer
*******************