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.
Questions d'entretien [1]
Question 1
How do you translate x bit of knowledge into first order predicate logic?
J'ai postulé en ligne. J'ai passé un entretien chez Cycorp
Entretien
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.
Questions d'entretien [1]
Question 1
How would you represent "Horses have heads" in first order logic?
J'ai postulé en ligne. Le processus a pris 4 semaines. J'ai passé un entretien chez Cycorp en sept. 2019
Entretien
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.
Questions d'entretien [1]
Question 1
Describe the relationship "horses have heads" using first order logic.