[TYPES/announce] Tenure-track assistant professor in Systems Level Security at University of Copenhagen

[Thomas Jensen]

University of Copenhagen invites applications for a tenure-track assistant professorship in Systems Level Security. 

The researcher will be part of the newly formed Security and Privacy Group spanning several research sections at the department. People working at the intersection of systems-level security and formal aspects of computer science (e.g., verification, type systems, programming languages, language-based security, formal methods and logic,) are encouraged to apply. Relevant research areas include hardware-assisted security, OS and hypervisor-level security, secure compilation, security aspects of IoT, cryptographic engineering, security engineering. 

The full announcement is available at :
https://candidate.hr-manager.net/ApplicationInit.aspx/?cid=1307&departmentId=18971&ProjectId=152982&MediaId=5&SkipAdvertisement=false. <https://candidate.hr-manager.net/ApplicationInit.aspx/?cid=1307&departmentId=18971&ProjectId=152982&MediaId=5&SkipAdvertisement=false.>

Deadline: Sunday 10 January 2021. 

For further information contact Professor Jakob Grue Simonsen, simonsen at di.ku.dk or Head of Department: Professor Mads Nielsen, madsn at di.ku.dk. I can also provide information about the position. 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20201127/77c5c52e/attachment-0001.htm>