Cyc (www.cyc.com) is an immense knowledge based system, with millions of rules written in full first order logic and beyond (meta- and meta-meta- reasoning, reflection, modals, contexts, etc.), so its inference engine programmers are continually experimenting with novel, clever ways to chip away at the exponents plaguing conventional theorem proving algorithms. Do you have what it takes to enter this fight? If so, come join us on the frontier! Cycorp needs Junior and Senior Inference Programmers and Architects. Required skills include:
- Java or Lisp programming
- Fluency with first-order logic
- Talent for and enjoyment of clever algorithm design
- AI background and interest
- Working well as a "lieutenant"
- Not afraid to dig into and operate on a complex software system
- Either software productization experience or else a sense of humor
Additional pluses would be familiarity with other inference engines, higher order logic, databases, machine learning, natural language processing, probability and probabilistic reasoning.
Send a letter of application and résumé by email to firstname.lastname@example.org
Cycorp’s AI R&D is headquartered in Austin, Texas, and applications are understood to be for regular, full time employment on-site there. 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 will hire only persons authorized to work in the United States and will verify identity and eligibility for employment, and complete form I-9 for all new employees within three (3) business days of the date of hire.
OF TECH TALENT