---------- Forwarded message --------- The University of Manchester has several research positions in Theorem Proving in AI and Math available immediately:
https://www.jobs.manchester.ac.uk/Job/JobDetail?JobId=34016 The positions are funded by the project "Learning to do Math with Vampires and Spiders", see https://www.renaissancephilanthropy.org/learning-to-do-math-with-vampires-and-spiders. For any questions please contact Prof. Andrei Voronkov at [email protected]. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiubPRo1%3DazvhQKfgMcYzKxf4MHBk3C_EqDwJXKSvMQ%3DQ%40mail.gmail.com.
