Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Fully (UK Home) Funded PhD Positions in the Sa...


view this post on Zulip Email Gateway (Dec 15 2021 at 10:37):

From: "Achim D. Brucker" <brucker@spamfence.net>
Several fully funded PhD scholarships for UK applicants are available in
the Security and Trust of Advanced Systems Group [1] (Prof. Achim
Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer
Science of the University of Exeter, UK [4].

We are looking for enthusiastic and outstanding Computer Science or
Mathematics students with a strong background in at least one of the
following topics:

* safety or security of (software) systems,
* formal modelling or formal reasoning/verification,
* program analysis or program verification,
* language-based security
* semantics of programming languages,
* theorem proving, model checking,
* cryptographic protocols,
* distributed systems (e.g., blockchain),
* specification-based testing, and
* design and implementation of security architectures.

This award provides annual funding to cover UK tuition fees and a
tax-free stipend. For students who pay UK tuition fees the award will
cover the tuition fees in full, plus at least £15,009 per year
tax-free stipend. The studentship will be awarded on the basis of
merit for 3.5 years of full-time study.

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:
https://www.exeter.ac.uk/study/funding/award/?id=4326

* Formal Verification for Safety- or Security-Critical Systems:
https://www.exeter.ac.uk/study/funding/award/?id=4328

* Software Engineering for Security- or Safety-Critical Systems:
https://www.exeter.ac.uk/study/funding/award/?id=4329

* Open Call:
https://www.exeter.ac.uk/study/funding/award/?id=4343

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

Best,

Achim and Diego

[1] http://emps.exeter.ac.uk/computer-science/research/cyber-security/
[2] https://www.brucker.ch/
[3] https://marmsoler.com/
[4] http://emps.exeter.ac.uk/computer-science/


Last updated: Jul 15 2022 at 23:21 UTC