Please note that this newsitem has been archived, and may contain outdated information or links.
PhD student position on formalisation of logical calculi, Saarbruecken (Germany)
Deadline: Thursday 16 September 2021
A PhD position is open at the MPI for Informatics in Saarbrücken, supervised by Christoph Weidenbach, Jasmin Blanchette and Sophie Tourret. The project is about using Isabelle/HOL to formalize logical calculi.
For more information, see
https://www.cs.vu.nl/~jbe248/sb_job.html
or contact Jennifer Müller at jmueller at mpi-inf.mpg.de.
Please note that this newsitem has been archived, and may contain outdated information or links.