3 proof-checking-postdoc-computer-science-logic PhD research jobs at Aarhus University in Denmark
-
to stay informed of the latest developments in the field. Required Qualifications: Ph.D. in computer science. Established strong record of publications in the areas of programming languages, logic and
-
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