The owner of the company asked me questions about first order logic translations. It seemed to be mostly a proof of logic competence interview. I mentioned I might also be interested in software engineering so we launched into an interview about this role right afterwards.
Interview questions [1]
Question 1
How do you translate x bit of knowledge into first order predicate logic?
I applied online. The process took 4 weeks. I interviewed at Cycorp in Sep 2019
Interview
The first phone call was technical and lasted less than ten minutes, he asked one question. He didn't like my answer and said it would be a waste of time to continue.
Interview questions [1]
Question 1
Describe the relationship "horses have heads" using first order logic.
Ontologist candidates all go through 1 on 1 interview with CEO Doug Lenat in which he asks them questions to get at their ability to do precise logical thinking. Some questions are about logical representation ("How would you represent <foo> in first order logic?") and others are more like brain teasers.
Interview questions [1]
Question 1
How would you represent "Horses have heads" in first order logic?
