[TYPES/announce] Post-Doc at IT University of Copenhagen/DemTech

[Carsten Schuermann]

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:  carsten at itu.dk <mailto:carsten at itu.dk>  or Iliano Cervesato:  iliano at cmu.edu <mailto:iliano at cs.cmu.edu> 

Please distribute.

Best regards,
- Carsten Schuermann
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170323/ec86b64f/attachment.html>