Email Gateway (Feb 04 2025 at 11:08): Email Gateway (Feb 04 2025 at 11:08):From: "Achim D. Brucker" <adbrucker@0x5f.org>
We have an exciting funded opportunity for a PhD on developing "Verification Environment for Distributed Systems Implemented in Go". The main objectives are to define a formal semantics of Go and its CSP-inspired concurrency model in an interactive theorem prover (e.g., Isabelle/HOL) as well as developing a calculus for program verification. This is a unique opportunity to work in the intersection of theory and application and while doing so, contributing to improving the state of the art in software correctness and security.
A detailed description of the PhD proposal is available at:
Information about the funding and application process is available at:
Application deadline is the midnight GMT on 10th of February 2025.
Please reach out to me, if you have any questions.
Best,
Achim
--
Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter
https://www.brucker.ch | https://logicalhacking.com/blog
@adbrucker | @logicalhacking
Last updated: Mar 09 2025 at 12:28 UTC