Two fully funded PhD scholarships for EU/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 some 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/EU tuition fees and a
tax-free stipend.  For students who pay UK/EU 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.

For more details, please consult the official advertisement:

     http://www.exeter.ac.uk/studying/funding/award/?id=3887

The closing date for applications is midnight on 1 May 2020.
Project-specific queries should be directed to the supervisors, Prof
Achim Brucker (a.bruc...@exeter.ac.uk) or Dr Diego Marmsoler
(d.marmso...@exeter.ac.uk).


Best,
    Achim and Diego

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


-- 
Prof. Achim Brucker | https://www.brucker.ch | https://logicalhacking.com/blog
*We are hiring:*
  * Lecturer (Assistant Professor) - Deadline 2020-04-08:
    
https://www.jobs.ac.uk/job/BZH668/lecturer-in-computer-science-education-and-research
  * Two PhD Studentships (EU/UK Tuition Fees) - Deadline 2020-05-01:
    http://www.exeter.ac.uk/studying/funding/award/?id=3887
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Reply via email to