[Haskell] UNSW postdoc position for Verified Time Protection

Klein, Gerwin (Data61, Kensington NSW) Gerwin.Klein at data61.csiro.au
Wed Jul 24 09:38:25 UTC 2019


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.


More information about the Haskell mailing list