Stream: Announcements

Topic: Several PhD Positions in Exeter, UK

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 (a.brucker@exeter.ac.uk) or Dr. Diego Marmsoler (d.marmsoler@exeter.ac.uk) to discuss their application.

For more details, please consult the official advertisements:

• Compositional Verification of Smart Contracts in Isabelle
• Formal Verification for Safety- or Security-Critical Systems
• Software Engineering for Security- or Safety-Critical Systems
• Open Call

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

Best,

Achim and Diego

Last updated: Dec 22 2024 at 08:21 UTC