[TYPES/announce] PhD Research Fellow in Specification and Analysis of Information Privacy - Deadline: February 29, 2020

[Silvia Lizeth Tapia Tarifa]

——————————————————————————————————
PhD Research Fellow in Specification and Analysis of Information Privacy.
——————————————————————————————————

Position as PhD Research Fellow in specification and analysis of information
privacy using programming language theory is available at the Department
of Informatics University of Oslo.

Please see the announcement for more details.

https://www.jobbnorge.no/en/available-jobs/job/182259/phd-research-fellow-in-specification-and-analysis-of-information-privacy

Job description:
———————

This position is funded by the Department of Informatics and will be part of
the collaboration between researches in the area of Formal Methods (FM)
and Digital Security (SEC) at the department.

The planned PhD research will explore compliances of privacy in data access
and data processing (information-flow analysis) at design time, e.g., where
private data will be stored and which parts of a system will have access to
process such data. To explore and investigate these ideas, the project will use
formal methods for distributed systems and programming language theory,
aiming to develop new techniques for supporting modelling languages, which
are aware of privacy capabilities for data access and data processing.
The PhD project aims at demonstrating the results by means of experimental
proof of concept.

The FM group works on light weight formal methods techniques using formal
models applied to various problem domains, including parallel and distributed
systems and language-based security. The SEC group works on different topics
 in the area of information security including cyber threat intelligence, privacy
and cryptography, and hosts the UiO Ethical Hacking Team.

Both groups have a dynamic and interactive working environment with relatively
good gender balance, consisting of full-time professors, researchers, and multiple
postdocs and PhD students.


How to apply:
——————

 The application must include:

 - Cover letter - statement of research interests indicating why this PhD topic fits
   their interest/background.
- CV (summarizing education, positions and academic work - scientific publications)
- Copies of the original Bachelor and Master’s degree diploma, transcripts of records
   and letters of recommendation
- Documentation of English proficiency
- List of publications and academic work that the applicant wishes to be considered
  by the evaluation committee
- Names and contact details of 2-3 references (name, relation to candidate, e-mail
   and telephone number


Apologies if you receive multiple copies of this email and
please distribute to interested parties.




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200205/16cf5f8a/attachment.html>