1 assistant-professor-computer-science-"https:"-"https:"-"https:"-"https:"-"https:"-"UCL"-"UCL" positions at Fondo Italiano per la Scienza in Italy

Humanizing Mathematical Knowledge: Fallibility, Technology, Know-How (HUMATH)

Fondo Italiano per la Scienza | Italy | 15 days ago

notations and diagrams. 3. Investigate the different roles that computers play in mathematical research, focusing on interactive proof assistants and generative AI applied to mathematics. This project has