Description The Institute for Computer-Aided Reasoning in Mathematics is a new US National Science Foundation Mathematical Sciences Research Institute, located on the campus of Carnegie Mellon University in Pittsburgh, Pennsylvania. Its mission is to support the use of new technologies for mathematical research, including interactive theorem proving and formalization, automated reasoning and symbolic AI, and machine learning and neural AI. The Institute invites applications for a one-year
Esta é uma lista de previsão...
Você precisa se inscrever para ver a descrição completa do trabalho e para se candidatar.
Gerencie / atualize este trabalho para uma lista completa de empregos.
Encontre a sua melhor oportunidade
Diga a eles AcademicJobs.com Enviou você!

