-
research program and will be required to teach at least one graduate course per year. Collaboration and engagement with IMPA students and researchers are strongly encouraged. Applications for this position
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions