Funded PhD Position in Formalizing/Verification of Golang (Application Deadline 2024-03-31)
"Achim D. Brucker" <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <q5iciippkkf6jvvynsabdeufbozwbedpdvzzu7myiduj2nbq7c@icqcgh5oivsn> |
We have an exciting opportunity for PhD study with myself and
Prof. Burkhart Wolff from 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
--
Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter
https://www.brucker.ch | https://logicalhacking.com/blog
@adbrucker | @logicalhacking
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.