-
a structured system for AI-assisted mathematical research, applied to the topics mentioned above Conducting research on the design of a methodological framework for AI-assisted mathematical discovery
-
that include the feasibility, practicality and success evaluation of prototype implementations. You will be working close together with Mike Papadakis (Associate Professor in Software Engineering). The position
Searches related to assistant professor
Enter an email to receive alerts for assistant-professor positions