Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Research officer in theoretical foundations of...

Email Gateway (Aug 22 2022 at 15:04):

From: Markus Roggenbach <m.roggenbach@swansea.ac.uk>
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/

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.Tucker@swansea.ac.uk) or
Prof Markus Roggenbach (M.Roggenbach@swansea.ac.uk)

Last updated: Nov 21 2024 at 12:39 UTC