Research officer in theoretical foundations of cyber security at Swansea
University
Duration: 3 years
Available now
Application deadline: 24.2.17
URL:
http://www.jobs.ac.uk/job/AWX894/research-assistant-officer-in-theoretical-computer-science-theory-of-security/
<http://www.jobs.ac.uk/job/AWX894/research-assistant-officer-in-theoretical-computer-science-theory-of-security/>
Within an EPSRC funded project, we have a research position that
offers an opportunity to undertake research in the broad area of
Trust, Identity, Privacy and Security. To this end we want apply
algebra and logic in explorations of topics such as
- security and privacy properties for data sharing;
- block-chain technologies;
- digital identities;
- authentication and certification.
The position provides an opportunity to enter the important,
developing field of formal methods for cyber security.
We encourage any candidate with experience in
- theory of computation;
- formal methods for software development;
- logic and AI; or
- computer security
to apply for our position. A previous track record in cyber security will be
valuable,
however not be necessary.
For informal enquires please contact
Prof John Tucker ([email protected] <mailto:[email protected]>)
or
Prof Markus Roggenbach ([email protected]
<mailto:[email protected]>)
_______________________________________________
Om-announce mailing list
[email protected]
http://openmath.org/mailman/listinfo/om-announce
