-
for research, as well as job prospects in academia and industry. The successful postdoc will receive careful mentorship both from the supervisor and from other peers through a dedicated mentorship program
-
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