Cycorp is hiring full-time Artificial Intelligence Programmers in Austin, TX to work on accelerating theorem proving algorithms.
From the ad: “Cyc is the world’s largest AI program, with millions of rules written in full first order logic and beyond (meta- and meta-meta- reasoning, reflection, modals, contexts, etc.). Our 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 join this effort?”
