[Haskell-cafe] PhD position on the formalization of logical calculi in Saarbrücken

Andrei Popescu andrei.h.popescu at gmail.com
Wed May 26 13:15:12 UTC 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

See https://www.cs.vu.nl/~jbe248/sb_job.html for more information.

More information about the Haskell-Cafe mailing list