[isabelle] 3 year RA position in Theoretical Computer Science in Swansea



There is a 3 year, full time 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.

Link to the advert:

http://www.swansea.ac.uk/personnel/jobs/details.php?nPostingId=3541&nPostingTargetId=6123&id=QHUFK026203F3VBQB7VLO8NXD&LG=UK&mask=suext


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.