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...
Application deadline is the 31st of March 2024. Please contact me for more details.
Best, Achim
finite-model-theory@lists.rwth-aachen.de