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
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
