2 Postdocs in Formal Methods and Cyber Security

by albertolluch, Feb. 25, 2019

DTU Compute invites applications for two appointments as Postdoc in the areas of formal methods and cyber security.

Candidates with a research background and excellent publication record in at least one of the following areas are particularly encouraged to apply:
- formal methods for security and privacy
- security and privacy in IoT/cloud/fog/edge computing
- security and privacy in software engineering
- security, privacy and AI
- security intelligence

Summary:
- Candidates must have a completed or close-to-completion PhD in Computer Science, Computer Engineering or similar disciplines.
- The period of employment is 2 years.
- Location: DTU campus in Lyngby, Denmark
- Application deadline: 30 April 2019 (local time).

Further information on the links below

Postdoc in Formal Methods and IoT
https://www.dtu.dk/english/About/JOB-and-CAREER/vacant-positions/job?id=179775f6-8edd-4f0c-aeae-380854ec3f34

Postdoc in Formal Methods and Security Intelligence
https://www.dtu.dk/english/About/JOB-and-CAREER/vacant-positions/job?id=441c3345-739c-437a-8b05-e98e8885b528

Dear colleagues,

DTU Compute, the Department of Applied Mathematics and Computer Science at the Technical University of Denmark, invites applications for two appointments as Postdoc in the areas of formal methods and cyber security.

Candidates with a research background and excellent publication record in at least one of the following areas are particularly encouraged to apply:

- formal methods for security and privacy

- security and privacy in IoT/cloud/fog/edge computing

- security and privacy in software engineering

- security, privacy and AI

- security intelligence

Candidates must have a completed or close-to-completion PhD in Computer Science, Computer Engineering or similar disciplines.

Appointed candidates will expand and contribute to the department’s research activities in the above mentioned areas, in particular within the H2020 project CyberSec4Europe (cybersec4europe.eu), and will work in close collaboration with the department’s research groups in formal methods (compute.dtu.dk/english/research/research-sections/formalmethods), cyber security (compute.dtu.dk/english/research/research-sections/cyber), and embedded systems engineering (compute.dtu.dk/english/research/research-sections/ese).

We offer a rewarding and challenging job in an international research environment. DTU is a leading technical university globally recognized for the excellence of its research, education, innovation and scientific advice. DTU strives for academic excellence in an environment characterized by collegial respect and academic freedom tempered by responsibility.

The period of employment is 2 years, starting as soon as possible, according to mutual agreement.

The location of the job is the DTU campus in Lyngby, situated in the metropolitan area of Copenhagen, the capital city of Denmark.

The application deadline is 30 April 2019 (local time).

For further information and for applying please visit the following links.

Postdoc in Formal Methods and IoT

https://www.dtu.dk/english/About/JOB-and-CAREER/vacant-positions/job?id=179775f6-8edd-4f0c-aeae-380854ec3f34

Postdoc in Formal Methods and Security Intelligence

https://www.dtu.dk/english/About/JOB-and-CAREER/vacant-positions/job?id=441c3345-739c-437a-8b05-e98e8885b528

-- 

Alberto Lluch Lafuente

Head of Section and Associate Professor

Department of Applied Mathematics and Computer Science

Technical University of Denmark

---------------------------------------------------------------------------------

Richard Petersens Plads, Building 324, Room 180

2800 Kgs. Lyngby

---------------------------------------------------------------------------------

+45 31241447