[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ([email protected]) or Dr. Diego Marmsoler
([email protected]) 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
