Logic List Mailing Archive

CfA: Funded PhD Position in Formalizing/Verification of Golang, Exeter (UK) / Paris (France), Deadline: 31.03.2024

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
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php