Date: Tue, 11 Feb 1997 12:38:16 -0600 (CST)
From: Kevin Smith <kmsmith@cyc.com>
To: ai+lisp-jobs@cs.cmu.edu
Subject: Job: Job Opportunities!
Message-ID: <Pine.SUN.3.95.970211123746.9627a-100000@proton.cyc.com>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: ai@A.GP.CS.CMU.EDU


           JOIN THE CYC(tm) COMMON SENSE SOFTWARE TEAM!


Thanks to high demand from commercial and government customers, 
Cycorp has opportunities for 15 individuals to join us in Austin.

All positions involve working with the Cyc(TM) technology -- an 
immense, broad, multi-contextual knowledge base which our group 
has developed over the last thirteen years.   The Cyc(TM) 
knowledge base, spanning fundamental human knowledge, enables a
multitude of knowledge-intensive products and services which will
revolutionize the way in which people use and interact with 
computers: semantic information retrieval, consistency-checking
of structured information, deductive integration of heterogeneous 
data bases, natural language interfaces able to cope with realistic
levels of ambiguity/terseness/contextualization, and many more.  

We are looking for enthusiastic individuals to join us in this 
challenging enterprise.  There are no set educational requirements
for these positions.  We invite you to contact us if you satisfy 
one (or more) of the following six sets of criteria:


Ontological Engineers
---------------------
o Facility with formal logic (predicate calculus)
o Self-motivated, yet works well in a team
o Responsibilities: codify and formalize areas of knowledge

Ontological Engineer Trainees
-----------------------------
o Ability to think problems through logically
o Introspective 
o Highly self-motivated and a good learner
o Works well as a member of a team

System Administrator
--------------------
o Experience in a heterogenous (UNIX / Windows NT) environment
o Responsibilities: selecting and configuring new hardware,  
  maintaining and expanding the computing environment, and 
  performing regular Cyc(TM) system maintenance 

Application Programmers
-----------------------
o Some familiarity with deductive inference, search, and logic
o Training (and practice) in complexity analysis of algorithms

o Application programming expertise with C and/or Lisp
o Expertise in UNIX and/or Windows operating systems
o No strong beliefs that one language or OS is clearly best

Interface Programmers
---------------------
o Interface programming experience with C and/or Java
o Designed/improved widely-used application interfaces
o Familiarity with UNIX and/or Windows operating systems

Project Managers
----------------
o Software development experience in C and/or Lisp
o Successful project management experience
o Experience working under federal grants/contracts
o Some experience and interest in declarative AI
 

For all six categories of positions above, each of the 
following skills/experience would be considered a plus: 
programming (esp. Lisp or C or C++); database programming
and/or administration; Java and/or HTML wizardry; general
AI (esp. knowledge representation); natural language 
processing; linguistics; philosophy; modal logic; 
mathematics (beyond calculus); rhetoric; cognitive 
psychology; complexity theory; experience in the healthcare 
industry or the military; management or teaching experience; 
product rollout, documentation, or maintenance experience.

For further information about our company and our technology,
please visit our Website at www.cyc.com

For immediate consideration, please send your resume and a cover
letter to:

       Doug Lenat
       Cycorp
       3721 Executive Center Drive, Suite 100
       Austin, TX 78731

FAX: 512-342-4040
E-MAIL: doug@cyc.com

                 Cycorp is an Equal Opportunity Employer


-------------------------------------------------------------------------------
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