[Agda] PhD position on the formalization of logical calculi in Saarbrücken

Andrei Popescu andrei.h.popescu at gmail.com
Wed May 26 15:10:49 CEST 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.

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


More information about the Agda mailing list