Stream: Announcements

Topic: Several PhD Positions in Exeter, UK

view this post on Zulip Achim Brucker (Dec 15 2021 at 14:54):

We have several funded (UK fees) PhD scholarships for UK applicants are available in the Security and Trust of Advanced Systems Group (Prof. Achim Brucker and Dr. Diego Marmsoler) at the Department of Computer Science of the University of Exeter, UK. While the focus of the advertisements is on the verification of systems in Isabelle, we are happy to also discuss topics that are broadly related (e.g., integrating computer algebra systems with Isabelle, theorem-prover-based testing).

Interested candidates should contact the potential supervisors Prof. Achim Brucker ( or Dr. Diego Marmsoler ( to discuss their application.

For more details, please consult the official advertisements:

The closing date for applications is midnight on the 24th of January 2022.


Achim and Diego

Last updated: Mar 04 2024 at 10:08 UTC