3 proof-checking-postdoc-computer-science-logic PhD research jobs at Aarhus University in Denmark
-
Post doc position in theory of machine learning at Department of Computer Science, Aarhus University
theoretical computer science. Publications at top venues such as COLT/NeurIPS/ICML or STOC/FOCS/SODA are much appreciated. About the Research Group: The daily work will be carried out in the Algorithms, Data
-
Neuroscience and Computational Psychiatry. The starting date is September 1st, 2025, but it can be discussed. The position is a fixed-term full-time position for 1 year, with the possibility of extension
-
information about entering and working in Denmark here . Aarhus University also offers a Junior Researcher Development Programme targeted at career development for postdocs at AU. You can read more about it
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions