[TYPES/announce] Fully (UK Home) Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2021-01-24)

[Achim D. Brucker]

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

For more details, please consult the official advertisements:
  * Compositional Verification of Smart Contracts in Isabelle:
    https://urldefense.com/v3/__https://www.exeter.ac.uk/study/funding/award/?id=4326__;!!IBzWLUs!DCJjVU_lAfZllxW9EZZWF5gvTzKYO-Ca9_NhpZzGDzY5ridnQWwlOtaqRVyStf0Bvzhpp_04dK0qbA$ 
  * Formal Verification for Safety- or Security-Critical Systems:
    https://urldefense.com/v3/__https://www.exeter.ac.uk/study/funding/award/?id=4328__;!!IBzWLUs!DCJjVU_lAfZllxW9EZZWF5gvTzKYO-Ca9_NhpZzGDzY5ridnQWwlOtaqRVyStf0Bvzhpp_0OTJW9ig$ 
  * Software Engineering for Security- or Safety-Critical Systems:
    https://urldefense.com/v3/__https://www.exeter.ac.uk/study/funding/award/?id=4329__;!!IBzWLUs!DCJjVU_lAfZllxW9EZZWF5gvTzKYO-Ca9_NhpZzGDzY5ridnQWwlOtaqRVyStf0Bvzhpp_2ByIElKA$ 
  * Open Call:
    https://urldefense.com/v3/__https://www.exeter.ac.uk/study/funding/award/?id=4343__;!!IBzWLUs!DCJjVU_lAfZllxW9EZZWF5gvTzKYO-Ca9_NhpZzGDzY5ridnQWwlOtaqRVyStf0Bvzhpp_2RUEtKaQ$ 

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

Best,

  Achim and Diego

[1] https://urldefense.com/v3/__http://emps.exeter.ac.uk/computer-science/research/cyber-security/__;!!IBzWLUs!DCJjVU_lAfZllxW9EZZWF5gvTzKYO-Ca9_NhpZzGDzY5ridnQWwlOtaqRVyStf0Bvzhpp_14cBhVWA$ 
[2] https://urldefense.com/v3/__https://www.brucker.ch/__;!!IBzWLUs!DCJjVU_lAfZllxW9EZZWF5gvTzKYO-Ca9_NhpZzGDzY5ridnQWwlOtaqRVyStf0Bvzhpp_3R9JLxlA$ 
[3] https://urldefense.com/v3/__https://marmsoler.com/__;!!IBzWLUs!DCJjVU_lAfZllxW9EZZWF5gvTzKYO-Ca9_NhpZzGDzY5ridnQWwlOtaqRVyStf0Bvzhpp_1aeEQaDw$ 
[4] https://urldefense.com/v3/__http://emps.exeter.ac.uk/computer-science/__;!!IBzWLUs!DCJjVU_lAfZllxW9EZZWF5gvTzKYO-Ca9_NhpZzGDzY5ridnQWwlOtaqRVyStf0Bvzhpp_1vmf_fQQ$ 
-- 
Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter
           https://urldefense.com/v3/__https://www.brucker.ch__;!!IBzWLUs!DCJjVU_lAfZllxW9EZZWF5gvTzKYO-Ca9_NhpZzGDzY5ridnQWwlOtaqRVyStf0Bvzhpp_0tG2yYGQ$  | https://urldefense.com/v3/__https://logicalhacking.com/blog__;!!IBzWLUs!DCJjVU_lAfZllxW9EZZWF5gvTzKYO-Ca9_NhpZzGDzY5ridnQWwlOtaqRVyStf0Bvzhpp_3dyOULiA$ 
                         @adbrucker | @logicalhacking