Funded PhD Position: Formalizing Go(lang) in Isabelle/HOL

Stream: job postings

[Achim Brucker]

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 new 'double PhD' programme leading to a PhD award from both universities.

More information and application details at: https://www.exeter.ac.uk/study/pg-research/funding/phdfunding/paris-saclay/ and https://adum.fr/as/ed/voirproposition.pl?site=adumR&matricule_prop=53822#version (application deadline: 31st of March 2024). Please contact me for more details.

Best,
Achim

[Notification Bot]

This topic was moved here from #announce > Funded PhD Position: Formalizing Go(lang) in Isabelle/HOL by Johan Commelin.