coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] UNSW postdoc position for Verified Time Protection

From: "Klein, Gerwin (Data61, Kensington NSW)" <Gerwin.Klein AT data61.csiro.au>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] UNSW postdoc position for Verified Time Protection
Date: Wed, 24 Jul 2019 09:34:20 +0000
Accept-language: en-AU, en-US
Arc-authentication-results: i=1; mx.microsoft.com 1;spf=pass smtp.mailfrom=data61.csiro.au;dmarc=pass action=none header.from=data61.csiro.au;dkim=pass header.d=data61.csiro.au;arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=lWGw+iJSDiyGdKqENU92o8xccaizlLcaUMOhZKGqePE=; b=cit5Unu9qoMTOaQCgoLtJ6Lq90xKze7IcdEhujwOgYm5t6VpvmtfyLrkRNGbsFL0qiHMnhOgeZCBCjLduoewLgnJWcJUXNY1rnAOm4coSvHTcv4FfS2iM8mC9zfQgBjr6MyZMk2QmhoF3Kh7f0SkKV8P1NMqNPpkMBqizQBpTiBd5vX6b42Dxcg2rTLP222rWYA9ifAHdO5Pka+3UQ1jgQZpr/clAdR9Ktg+1f4u3xW34M31K8+eOz6eGkgQXsx/oOifo8exmABkALTpnu57AYkD4e35Hbs3gcqoEblM+sj0Bz9y2GXdBYKUB9enMPvskQHb9aWBESmToSC7sjnkRg==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=kuncMkvgEIBx3x52pyrA/dhGsIKSkonFigz56a3Wyt6WJgFyM+n+SOpVvzMpH/F8qv1TSF0dIJlDjyidtCXxwEGwEhyiFOxdwhtF7GgDV3B+eSVY8WKqFgQpO9Mi2FtSTRu8GSO9MxtAl4iod+Bdltn+yRJpHS3L2nJp3Ng/D1L5XyOumUWStXuwNiTuZgqQTLSeckFGhW+D8uxQftdLQCKDIAqR1sEZ6FA70DJ2dshZHf0qmWNohTdvNPrGiztDuxNBcQxQyvqV5Ne280JKJhsC1JttnaoHEpeI/Fawoz7asq2aWeNXux/tqLOb5IVv4C0huy81vDfxhwB0WJd6ag==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=Pass smtp.pra=Gerwin.Klein AT data61.csiro.au; spf=Pass smtp.mailfrom=prvs=10109a7f3=Gerwin.Klein AT data61.csiro.au; spf=None smtp.helo=postmaster AT vic-MTAout2.csiro.au
Ironport-phdr: 9a23:OeFYKhThd2C5HOcKJ82l5yWkiNpsv+yvbD5Q0YIujvd0So/mwa6zbRCN2/xhgRfzUJnB7Loc0qyK6vqmCTRLuMzJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MQu6oR/Su8UKjoduN7g9wQbVr3VVfOhb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnYUAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhSwaMTMy7WPZhdFqjK9DoByvuQFxw5Labo+WM/R+f7/Sc9wVSmdaQsZeTClBDp+8b4cTDecMO/tToYnnp1sJqBuzHQegCubryjBWh3/227U22PkgHw7YxgwhEdMOsHLJp9nxOqkdS/y1w7PJwDned/9dxDLz55bOchA6oPGMW71wcdbWyUkpCgjLlkiepozgMz+by+8AtGmV4PR6VeOhim4nrRt9rD2rxsgyi4nJgJkYxU3e+iVl2ok4JMC0RFRnbt6/EZtQrSaaO5FsTcM/WmxlvjsxxLMBuZ6+ZicKyZInygbCa/yBaIiJ7AjvW/iMLjdlnn5qYq+/ihCv+kaj0u3xTtS43VZWoiZfjNXAqHQA2wbS58WIUPdw8ESs1S6S2wzJ9+1JL144mbDGJ5I837I8jJoevEbbEi/4hkr7j7Oae0Ah9+Wr6+nqY6vqq5qHOIJ3lg7yLqEjl8+lDuk4KAcDWmaW9fmm273t+0DyXa9EgecskqbDtZDXPcQbqbC9Aw9Syosj9Re/ACu/3Nofg3cKMFVFeA+bj4T3IV3BPOv4Dfalg1Srijtk3e3GMqXgApXLMHfDjK/scat95kJA0gY/085T6pZOBrwAL///QEH8ud/AAh88KQO0wuLnCNtn1oMZXGKCGreZMLnMsV+T/u8jPvWAaJIJtDv5Mfco5fDugHEhlFEcY6apx5UWaHG+Hvh8JkuZZWTjgtYHEWoRowUxVvDqh0eDXDJOfXq9Q7k85jAhCIKhF4vMXJ2tjKSb3CinBp1WenxGCleUHHj0cIWEQu4AZz6WIs98iTMJTqOhSo8k1RG2rgD20btnLuzO+i0Zr53vztZ15/eA3S01oHZ/CN3Y2GWQRUl1mHkJTnk4xuo39Ud60xKI1bVyq/1eD91aof1TBFQUL5nZmqZZD93zXEaJUdqTV1egCpWKCC04EIt1i/wDZV18Hdq+iRaL+RGVQvVdw5OGHoM19OT/23XwIe5xwmrPivBnhEInWMwJPHDw1f03zBTaG4OcyxbRrK2tb6lJhHeRplfG9nKHuQRjaCA1Sb/MBC9NakLKpIqgoEjZTqWpT706YFIYmJyyb5BSY9istm1oAfLqOdDQeWW0wjjiCR+Uz+3VKoHxen8amizAWhFdzlIjuE2ePA17PR+P5mLTCDs0TwDxYkip1NVXr26nFAk/1ACQaAtoyujt9w==
Ironport-phdr: 9a23:NXMnVx8edr2N9v9uRHGN82YQeigqvan1NQcJ650hzqhDabmn44+9ZR7E/fs4iljPUM2b8P9Ch+fM+4HYEW0bqdfk0jgZdYBUERoMiMEYhQslVeGIE1L6KrjJayE7GuxOXUNsoSj9OlNUAsG4bkCB6nA=
Ironport-sdr: +EgPWiwrj4pRhsx9iaVw/IKC4Fuf92tXlXXF3QuGbyNK1nAQn9GcXF6CIRp5AN4GTGVbVw2uBU GXnprwrLj8eg==

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.

[Coq-Club] UNSW postdoc position for Verified Time Protection, Klein, Gerwin (Data61, Kensington NSW), 07/24/2019