1 proof-checking-postdoc-computer-science-logic PhD positions at WIAS Berlin in Germany
Sort by
Refine Your Search
-
program. Technical queries should be directed to Benedikt Jahnel (benedikt.jahnel@wias-berlin.de ) or Lukas Lüchtrath (lukas.luechtrath@wias-berlin.de ). The working hours are 29,25 hours per week and the
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions