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 _______________________________________________ Om-announce mailing list [email protected] https://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
