[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Trustworthy Systems group in Australia has an open post doc position at
UNSW, Sydney.
The position is to support the Verified Time Protection project, which is
funded by an ARC Discovery grant. It aims to provably prevent information
leakage through timing channels, by providing principled temporal isolation in
the operating system (OS).
We’re planning to make Spectre and friends a thing of the past.
More information and online application at:
http://external-careers.jobs.unsw.edu.au/cw/en/job/497264/research-associate-computer-science-formal-methods
Applications close 18 Aug 2019.
