[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
The Security Group at the Department of Computer Science, IT University of
Copenhagen and DemTech are looking for a two year post-doc starting 1 June
2017.
The position is part of a joint project with Carnegie Mellon University
(Pittsburgh, USA and Qatar) on
Automated verification of properties of concurrent, distributed and
parallel specifications with applications to computer security.
Application deadline: 19 April 2017, at 23:59 CET (Note that this is a hard
deadline)
For more information:
- About the project: http://www.cs.cmu.edu/~iliano/projects/metaCLF2/index.shtml
- About applying:
https://candidate.hr-manager.net/ApplicationInit.aspx?cid=119&ProjectId=180845&MediaId=5#sthash.SbYYhDlJ.dpuf
Or just contact me: cars...@itu.dk <mailto:cars...@itu.dk> or Iliano
Cervesato: ili...@cmu.edu <mailto:ili...@cs.cmu.edu>
Please distribute.
Best regards,
- Carsten Schuermann
