[TYPES/announce] PhD position on the formalization of logical calculi in Saarbrücken

Andrei Popescu andrei.h.popescu at gmail.com
Wed May 26 09:23:15 EDT 2021

Previous message (by thread): [TYPES/announce] New Software Foundations title: Separation Logic Foundations by Arthur Charguéraud
Next message (by thread): [TYPES/announce] PhD position on program verification in Coq
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

Previous message (by thread): [TYPES/announce] New Software Foundations title: Separation Logic Foundations by Arthur Charguéraud
Next message (by thread): [TYPES/announce] PhD position on program verification in Coq
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list