[ 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 (a.bruc...@exeter.ac.uk) or Dr. Diego Marmsoler (d.marmso...@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