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://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/
--
Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of
Exeter
https://www.brucker.ch | https://logicalhacking.com/blog
@adbrucker | @logicalhacking
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
