From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id D36B8824E2 for ; Mon, 17 Sep 2018 21:46:34 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dave@chalmers.se; spf=None smtp.mailfrom=dave@chalmers.se; spf=None smtp.helo=postmaster@martell.ita.chalmers.se Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dave@chalmers.se) identity=pra; client-ip=129.16.226.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dave@chalmers.se"; x-sender="dave@chalmers.se"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dave@chalmers.se) identity=mailfrom; client-ip=129.16.226.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dave@chalmers.se"; x-sender="dave@chalmers.se"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@martell.ita.chalmers.se) identity=helo; client-ip=129.16.226.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dave@chalmers.se"; x-sender="postmaster@martell.ita.chalmers.se"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AunPUih2GWEacQuNBsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?se0fLvad9pjvdHbS+e9qxAeQG9mDtLQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPYQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb2SLE0WS+576dqTh/ohz?= =?us-ascii?q?oMOSAg/mrKhMxwjbxUoBa8qBdix4LZbp2ZOP94c6jAf90VWHBBU95RWSJcHoOy?= =?us-ascii?q?YYgBD+sdMulXtITyvUcCrRmkCAWwGO/j1zlFjWL2060g1OQhFBnL0gI6ENIQsX?= =?us-ascii?q?Tbscj+OroIXuCz0abI1ijIYvRL1jjn9ojHbAssru2MXb1qdcrRzFcgFxnejlmK?= =?us-ascii?q?sozqISqY2+IQuGaV6OpgUPigi28hqwxpvjevxt0jio3Mho0L0FDE7j91wJ0rKt?= =?us-ascii?q?C+VUV1YsakHYNNuy2EM4Z6WN4uTmBytCok1LELuIS3cDUExZko3xLTduKLfoyS?= =?us-ascii?q?7h7+VeudOyp0iG5/dL6hiBu/8VCsxvDiWsSwylpGsytInsPSunwT1hHf8NWLR/?= =?us-ascii?q?Vj8kqnxD2BzRrc6vteLkAxjafbK4Auwro3lpcLtETMBDX2mFnog6+SckUo4Omo?= =?us-ascii?q?6/j9bbn8upCcN5V7igX7MqswgMy/Gv40MhMQUGSD+OS80qPs/VHhTblXkPE7lr?= =?us-ascii?q?PVvI3bKMgBuKK1HQ5Y3pw+5xuxADqqyNEYkmMGLFJBdhKHlY/pO1TWLf/lF/i/?= =?us-ascii?q?nUqjnSx3yPDGJLLhBpDNIWbZkLf6Z7p98FBTxBIpzd9D/5JUFq0BIPXrV0Dtrt?= =?us-ascii?q?PYCxs5PxWww+bmE9V9ypgTWXmPA6+cKKPdq0WE5uMpI+mWZY8aoizxK/Y/562m?= =?us-ascii?q?o2U+nAoxdLeo0dMsYXa0BbwyL0yHbFLngt4FFGoQpUwlQbq52xW5TTdPaiPqDO?= =?us-ascii?q?oH7TYhBdf9Vd6SFLDou6SI2WKAJrMTY2lHDl6WFnKxLNePW/4IbS+IOYl6n25c?= =?us-ascii?q?DOTze8oazRir8TTC5f9/NOONoX8TtZvn0dVv/KvImENqrGEmP4Gmy2iIClpMsC?= =?us-ascii?q?YISjsxhv0tpEVn1lqH1e55n/UeHtxa4/ZESBx8LpOOl+E=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DQCwCHA6Bbh4biEIFbgxIBgVt/GQ8Kh?= =?us-ascii?q?zKQdzsXBmUBARsviG2Kc4JvgXoLJwQBgUuDGoNPGQYGMhYBAwEBAgEBAQEBEwE?= =?us-ascii?q?BAQoLCQgpIwyCNQyCb4EEFgGBACcfU4JGAYEdVw0Plw2QE4RzhRiKbRd4AYEHg?= =?us-ascii?q?3aDSQEDGIRcgkMCiCWBXoNKU44kCZANH48NlCgCAgICCQIUgUkOgXgzGggwgVk?= =?us-ascii?q?KgUUIgiqKD4QRbwF6AQEZixUBgR0B?= X-IPAS-Result: =?us-ascii?q?A0DQCwCHA6Bbh4biEIFbgxIBgVt/GQ8KhzKQdzsXBmUBARs?= =?us-ascii?q?viG2Kc4JvgXoLJwQBgUuDGoNPGQYGMhYBAwEBAgEBAQEBEwEBAQoLCQgpIwyCN?= =?us-ascii?q?QyCb4EEFgGBACcfU4JGAYEdVw0Plw2QE4RzhRiKbRd4AYEHg3aDSQEDGIRcgkM?= =?us-ascii?q?CiCWBXoNKU44kCZANH48NlCgCAgICCQIUgUkOgXgzGggwgVkKgUUIgiqKD4QRb?= =?us-ascii?q?wF6AQEZixUBgR0B?= X-IronPort-AV: E=Sophos;i="5.53,386,1531778400"; d="scan'208,217";a="346748499" Received: from martell.ita.chalmers.se ([129.16.226.134]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 17 Sep 2018 21:46:34 +0200 Received: from tyrell.ita.chalmers.se (129.16.226.132) by martell.ita.chalmers.se (129.16.226.134) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.1.1531.3; Mon, 17 Sep 2018 21:46:33 +0200 Received: from tyrell.ita.chalmers.se ([129.16.226.132]) by tyrell.ita.chalmers.se ([129.16.226.132]) with mapi id 15.01.1531.003; Mon, 17 Sep 2018 21:46:33 +0200 From: David Sands Thread-Topic: PhD positions in Programming Language Technology for Security and Privacy Thread-Index: AQHUTr7mB4H343URwk6WvMazC4YQpA== Date: Mon, 17 Sep 2018 19:46:33 +0000 Message-ID: <850538d666f5470bae4ccc2e1f12345c@chalmers.se> Accept-Language: en-GB, sv-SE, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [129.16.10.245] Content-Type: multipart/alternative; boundary="_000_850538d666f5470bae4ccc2e1f12345cchalmersse_" MIME-Version: 1.0 X-Validation-by: dave@chalmers.se Subject: [Caml-list] PhD positions in Programming Language Technology for Security and Privacy --_000_850538d666f5470bae4ccc2e1f12345cchalmersse_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Chalmers University of Technology in Gothenburg, Sweden invite applications= for PhD positions in Programming Language Technology for Security and Priv= acy. We are looking for applicants with a technical background in the programmin= g languages and systems research area, and who have a keen interest in appl= ying and developing this technology to create new methods and tools for sec= urity and privacy of software and systems. You will have a good knowledge i= n several of the following areas: compiler technology, static analysis, typ= e systems, programming language semantics, advanced functional programming,= program verification. Application deadline: October 10th, 2018. We encourage all applicants who m= ight need a visa to visit Sweden to apply as soon as possible. For details about the employment conditions and how to apply see: http://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Page= s/default.aspx?rmpage=3Djob&rmjob=3D6602&rmlang=3DUK --_000_850538d666f5470bae4ccc2e1f12345cchalmersse_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

Chalmers University of Tec= hnology in Gothenburg, Sweden invite applications for PhD positions in Programming Language Technology for= Security and Privacy. 

We are looking for applicants with a technical background in the programming languages and sy= stems research area, and who have a keen interest in applying and developin= g this technology to create new methods and tools for security and privacy = of software and systems. You will have a good knowledge in several of the following areas: compiler technolo= gy, static analysis, type systems, programming language semantics, advanced= functional programming, program verification.<= /div>

Application deadline: Octo= ber 10th, 2018. We encourage all applicants who might need a visa to visit Sweden to apply as soon as possible. <= br>

For details about the empl= oyment conditions and how to apply see: 


--_000_850538d666f5470bae4ccc2e1f12345cchalmersse_--