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.
Perguntas de entrevista [1]
Pergunta 1
How do you translate x bit of knowledge into first order predicate logic?
30 minute interview describing the job and asking you relevant questions on the types of things you'll be doing. They don't expect you to know everything about the company and will answer questions for you.
Perguntas de entrevista [1]
Pergunta 1
What techniques do you have for staying focused while doing something monotonous for a long time?
Candidatei-me online. Fui entrevistado pela Cycorp em jun. de 2018
Entrevista
Phone interview with CEO. Several questions about how to represent knowledge in FOL. I found this really unnatural and difficult to do over the phone; Lenat also talked over me a few times, which made it more difficult to explain my solutions. The experience would have been better with a whiteboard-type tool to avoid the awkwardness of using phrases like "for all x Bx" over and over, and trying to explain where parentheses are, etc. Was told I'd hear back but never did, even after a followup.