[TYPES/announce] 3 year, post PhD, RA position in Theoretical Computer Science in Swan

Markus Roggenbach m.roggenbach at swansea.ac.uk
Mon Aug 29 17:39:46 EDT 2016

There is a 3 year, full time, post-PhD, RA position available in the Processes and Data group at Swansea, UK.

Topic: new formal methods for specification and validation of data sharing, i.e., formal security.

Required background: experience in formal methods / theoretical computer science; the position provides an opportunity to enter the important, developing field of formal methods for cyber security. A previous track record in cyber security will be valuable, however not be necessary.

Closing date: 5.9.2016.

Informal enquiries are welcome and should be directed to Markus Roggenbach m.roggenbach at swan.ac.uk.

Link to the advert:

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160829/e7931216/attachment-0001.html>

More information about the Types-announce mailing list