[Om-announce] Funded PhD Position in Formalizing/Verification of Golang (Application Deadline 2024-03-31)

[Achim D. 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 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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.exeter.ac.uk%2Fstudy%2Fpg-research%2Ffunding%2Fphdfunding%2Fparis-saclay%2F&data=05%7C02%7C%7C526d7d962ab64734248708dc48fc622d%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638465497152312951%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C60000%7C%7C%7C&sdata=HNk2EYZUo89whTkxPpSjdIZA1a5QvOioH8gtb093TRU%3D&reserved=0
* https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fadum.fr%2Fas%2Fed%2Fvoirproposition.pl%3Fsite%3DadumR%26matricule_prop%3D53822%23version&data=05%7C02%7C%7C526d7d962ab64734248708dc48fc622d%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638465497152312951%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C60000%7C%7C%7C&sdata=vBPLR%2Bdsc%2BHN%2FXovHK0b6FU8AvQelLsWYClEDAX1s44%3D&reserved=0

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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.brucker.ch%2F&data=05%7C02%7C%7C526d7d962ab64734248708dc48fc622d%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638465497152312951%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C60000%7C%7C%7C&sdata=C1HETXKtR8pi7mJTz40yvoAi74gDeGGMM942fO69IY8%3D&reserved=0 | https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flogicalhacking.com%2Fblog&data=05%7C02%7C%7C526d7d962ab64734248708dc48fc622d%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638465497152312951%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C60000%7C%7C%7C&sdata=aajqa84WdLm2B36YR3hs%2FkcxXG529uapaqK9ZD5EvJU%3D&reserved=0
                         @adbrucker | @logicalhacking