Cycorp has immediate openings in Austin, Texas, for Ontologists to help us bring human-level AI into existence and into widespread use. You will be extending the world’s largest knowledge based system, Cyc, both in its breadth of general common sense and in its depth in fields ranging from finance to energy to manufacturing to search to healthcare to education. You will work as part of team, alongside other ontologists and AI programmers. Through introspection, reading, and discussions with domain experts, you will codify and formalize important, general pieces of knowledge about the world. You will directly interact with the Cyc system to add knowledge, and you will test the growing AI system’s understanding of what you’ve taught it.

Qualifications: It's likely that you have an advanced degree in philosophy, and are familiar with modal and higher order logics and metaphysics, epistemology or philosophy of language. But the only requirement is that you have great facility in converting English sentences representing assertions into equivalent formal sentences in a predicate calculus such as first order logic.

We offer competitive compensation, a stimulating and productive work environment, and the chance to contribute to the development of the world’s first true Artificial Intelligence. Email a letter of application and resume to jobs@cyc.com

Cycorp is an equal-opportunity employer. No person shall be excluded from consideration for recruitment, selection, appointment, training, promotion, retention, or any other personnel action, or be denied any benefits or participation in any activities on the grounds of race, religion, color, national origin, sex, handicap, sexual orientation, age, otherwise qualified disabled or veteran status. Cycorp hires only persons authorized to work in the United States and verifies identity and eligibility for employment, and completes form I-9 for all new employees within three (3) business days of the date of hire.