We are Hiring!

Two fully funded PhD scholarships for EU/UK applicants are available
in our group at the University of Exeter, UK.

We are looking for enthusiastic and outstanding Computer Science or
Mathematics students interested in Formal Methods and their application in areas such as Cybersecurity.

For more details, please drop me an EMail or consult the official advertisement at http://www.exeter.ac.uk/studying/funding/award/?id=3887