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 (j.v.tuc...@swansea.ac.uk <mailto:j.v.tuc...@swansea.ac.uk>)
or
Prof Markus Roggenbach (m.roggenb...@swansea.ac.uk
<mailto:m.roggenb...@swansea.ac.uk>)
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
