Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Funded PhD Position in Formalizing/Verificatio...

Email Gateway (Mar 20 2024 at 16:46):

From: "Achim D. Brucker" <adbrucker@0x5f.org>
We have an exciting opportunity for PhD study with myself and
Prof. Burkhart Wolff form the Université Paris-Saclay on developing
a formal semantics for Go(lang) in Isabelle/HOL.

This is part of a new 'double PhD' programme leading to a PhD award
from the University of Exeter and the Université Paris-Saclay.

More information and application details can be found at:

• https://www.exeter.ac.uk/study/pg-research/funding/phdfunding/paris-saclay/
• https://adum.fr/as/ed/voirproposition.pl?site=adumR&matricule_prop=53822#version

Application deadline is the 31st of March 2024. Please contact me for more details.

Best,
Achim

Last updated: Apr 28 2024 at 20:16 UTC