Logic List Mailing Archive

Metaphysicians and logicians, Cycorp, Austin TX (U.S.A.)

CYCORP, AUSTIN, TEXAS. Cycorp, Austin, seeks individuals with expertise in 
Metaphysics and Logic (modal/HOL desirable) to join our team of logicians, 
philosophers, linguists, and computer scientists in developing the world's 
largest formalized ontology and associated axiom system Cyc. Our 
Ontologists are currently extending the Cyc knowledge base into areas 
related to, e.g., cardiology. Practical experience designing ontologies 
and/or knowledge representation in general is a plus. Programming is not 
required but would be another plus, as would be some training or 
experience with medicine or healthcare informatics. Ideal candidates would 
also be familiar with some of XML, XSLT, RDF, OWL, SPARQL, SQL. An 
equal-opportunity employer, Cycorp is a profitable, employee-owned 
company, performing commercial and government projects. Inquries 
(authorized to work in the USA) to Rob Lewis jobs@cyc.com.