Email Gateway (Aug 22 2022 at 13:52): Email Gateway (Aug 22 2022 at 13:52):From: Markus Roggenbach <m.roggenbach@swansea.ac.uk>
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:
Last updated: Apr 24 2024 at 08:20 UTC