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 (email@example.com) or Dr. Diego Marmsoler (firstname.lastname@example.org) 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: Dec 07 2023 at 16:21 UTC