[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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,
[email protected] or Head of Department: Professor Mads Nielsen,
[email protected]. I can also provide information about the position.
