2 proof-checking-postdoc-computer-science-logic Fellowship positions at ; in Germany

Filters Search
  • ; | Germany, | Germany | about 4 hours ago

    The Käte Hamburger Centre for Cultural Practices of Reparation (KHK CURE) at Saarland University (UdS) is an institute for advanced study, funded by the German Ministry for Research, Technology and

  • ; | Hamburg, Hamburg | Germany | about 4 hours ago

    The German Institute for Global and Area Studies (GIGA) / Leibniz-Institut für Globale und Regionale Studien is an independent social-science research institute based in Hamburg. It analyses

Searches related to proof checking postdoc computer science logic

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions