1 proof-checking-postdoc-computer-science-logic PhD positions at WIAS Berlin

PhD Student Position (f/m/d) (Ref. 25/11) at WIAS Berlin, Germany

WIAS Berlin | Berlin, Berlin | Germany | about 3 hours ago

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