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 c5ff346549e7 (Postfix) with ESMTPS id C198D5D4 for ; Sun, 24 May 2020 11:07:04 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,429,1583190000"; d="scan'208,217";a="451066228" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 May 2020 13:06:29 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9DD47E1E86; Sun, 24 May 2020 13:06:29 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 7D389E1E7D; Sun, 24 May 2020 13:06:24 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=komendantskaya@gmail.com; spf=Pass smtp.mailfrom=komendantskaya@gmail.com; spf=None smtp.helo=postmaster@mail-wm1-f66.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AJBvtgRFWI/80v56UOkayuZ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ75p8+7bnLW6fgltlLVR4KTs6sC17OL9fm5CSdbvd6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vLBi6txjdutQVjIdtJKs8xQbCr2dVde?= =?us-ascii?q?hR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/Y?= =?us-ascii?q?TQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhS?= =?us-ascii?q?EaPDMi7mrZltJ/g75aoBK5phxw3YjUYJ2ONPFjeq/RZM4WSXZdUspUUSFOBZ6y?= =?us-ascii?q?b5YUD+oZI+lXs5X9qVUJrRu7HwasBeXvwSJMinL52aA21uIsGhzE0gM9BdIDqH?= =?us-ascii?q?vbotX7OqkRTO670rXHwC7ZYP9Kwzrw8pTEfgwjrPyKQLl+cdDRyU4qFw7dgVuQ?= =?us-ascii?q?qpbqPy+L2eQXsmib6fBvXv+qhW4grgF+vD6vydo2hYnPmoIV0VPE+j95wYkvON?= =?us-ascii?q?a1T017YdmhEJROsSGVKpF5QsU+Q2FzuyY10L0HtoSgcSgFzZQo3R/fa/idf4eU?= =?us-ascii?q?5RLjUf+cLDFlj31qZLyxnQy98VS8yuLiTMm01k5HoylZntfMtn0A1wHf58mbRv?= =?us-ascii?q?Zh/kmsxCqC2hzR5+1ZJU06m6vWJp0iz7M/kpcev0fOECD4lknrkqKaaEQp9+m1?= =?us-ascii?q?5+nhf77oqJicN4puhQH/NKQjgsi/Dv45MggQRWSb5Oe82KXj/Uz3WrlFlOE5nr?= =?us-ascii?q?PEsJDZPcgUvbC2AwlJ0oYl6hawFC2q0NMCnXkINF5KZg+Ig5LzNF7SOvz4EPS/?= =?us-ascii?q?j0yjkDdswPDGMbnhDYvXInffl7fheLBw4FNfxgor1d1T+Y5YB7UbLP/wWkL9rs?= =?us-ascii?q?HUAgE6PgCuwuvqCdNw3Z4EV22VGK+WKqbSvEeI5u0xJ+mMY5cYuDPnJPgk4/7i?= =?us-ascii?q?lHE4mVoAcaWw05saaXG1Eu5pI0WeZnrsjdMBHnkQsgUiS+zqjUWOUT9VZ3msQ6?= =?us-ascii?q?Ix/i83BJ6iAIvZRY2ggKaN0DqlEpBVfGxLC1GBHW/td4qeWvcMbCySItVmkjwB?= =?us-ascii?q?TbWhSIgh1RSwuw/81rVoNOzU+jEDtZLgztd05/fcmAo99TxxFcud0mWNQ3tokW?= =?us-ascii?q?MPQj86xLp/rlBlylefzah4hORVGsBJ6PNMVgc2LJrcz+1hC9DuQQ/BZdeISFO+?= =?us-ascii?q?Qtq8Gz0xT9Qxw8UPY0lnAdmigArD1TKwA7AJj7yLGIA08qXE0nftIMZ90m/K27?= =?us-ascii?q?Ulj1k7WcRCLnamh6569wjLHYHFiUSZl6CwdaQdxiHB7mmDzXDd9H1fBRJhSaje?= =?us-ascii?q?GHQefVf+qdXi+liEVLKnEvI6KgZHz4iPJrYOIt3gllZLQPOmM93QbkqxknyzCB?= =?us-ascii?q?KMgLSWY86iZ3QF0T71DEkfjxtV9naPMQ0zHDznuG+aRCdyDRq7eF/02ex3o2j9?= =?us-ascii?q?TlByxgrMck43k/K++xcSwOGHRukI9rkAuT8loj8yG0yym5rdAt+E7xd6cb9HKY?= =?us-ascii?q?c26VJDkGbYrBBVP5q6LqkkiERIN0x8uFqr3BFqAK1Bl9IrpTUk1k46KauD015F?= =?us-ascii?q?cxuY1IvzN7nTbG7o81TnYqHa03na0c2K4eEE6P08rlj5p0eyGw5qyE1D6JEByG?= =?us-ascii?q?OY/b3GBxFUXpb4FE88sQV58fWSbzM57oXbkGRxPLKoszjEwPokHu8szBnmeM1Q?= =?us-ascii?q?dOutLjC3OOo/IumSFMEHs1yocB8eJOdV8Og9NIW7dL/O06ruPf1plj+iiWkC/Z?= =?us-ascii?q?twyFmk8ytnVvWO1J8AhfiTmBaEE3/ghViJr9zzmJtYfncPAmevwDOiCYJMIuV4?= =?us-ascii?q?eoEQFSKvJdG63Nhlm7bpWmVE7xipAFQdxImuYxXWJ1jz1hYV1EILrGaqgjeQzj?= =?us-ascii?q?p61Twl6KOUmjHNh6zLbwEAMW9CWGhlix/iJpL8tMEfVk+sbgNhsByq5E2yk6FA?= =?us-ascii?q?oIxhJnLISF0OciTreSUqWa+9v7zHZ89U9LszuiRaVu+xJ0qHDLj551MXzS7lA0?= =?us-ascii?q?NfwnYnanShvpzkhAB6gWbbIHs35GLDfs41wR7Z6/TQRP1MmDYFAGFxhyLaDXC1?= =?us-ascii?q?McKk9pOdjI2FueakTCSvTNkbaiTg0JmBqDqT62pxCBH5mOq83pXoHRJ/0CrT2N?= =?us-ascii?q?VwECTN6hjmJsHky+GkPPhmcAxwCUX54sx3HJ1luoQ8ntQR3D4UnNHd4XMIuWzo?= =?us-ascii?q?d8hH1LL3dzwASSNPi8bR6Q7oxE55BnGTgYXjWTHVzM5gbMKSY2UM2ys5981RTq?= =?us-ascii?q?mOqPRCgjNp51u+owX5ZflmgixbyPwlrnMXx6kVuAcq1DSbHpgWHFJEJiH2iVKO?= =?us-ascii?q?6Ny3r+NaaHvrObG70BBWlsvnEa2PsghHHnv1Z9NqFih164BjMF/Lymzb64zpdZ?= =?us-ascii?q?/Xd91X/gKVux7BgeITNZQw0/kDny58I3/9sDspxqpzjBdqxdSlu5KEMGVq5LmR?= =?us-ascii?q?GRBFcDb8I4sX8zDzyK9YmMGL2YuiNpBoES5NXISuRPnuDTFW/djcGE7aHDAksW?= =?us-ascii?q?aAMb/WFhTZ6FggpnmJDpP9czmTI3YYxpB6Xh6SPkVahQESUx0+n4UlDUayxcfo?= =?us-ascii?q?bAJ97zYeoFnipUhi0OVtYjT8W3vSvgauY38XT52SKhZf6B1Z5E7EOITK7eV2Ei?= =?us-ascii?q?dU95u9tw+EO2WzaAFBDGVPUUuBUQOwdoKy7MXNprDLTtG1KOHDNPDT8LUCBcfN?= =?us-ascii?q?/oqm185dxxjJLt+GZyAwAPgy204FVnd8SZyAymc/DhcPnieIVPa14RK1+yl5tM?= =?us-ascii?q?e6qa25Vwfm5I/JALxXY4w2pkKGxJybPuvVvx5XbDZV0pRWmC3NwbkbmUEX0mRg?= =?us-ascii?q?KWfrHrMHuirACqnXn/0PAg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B0DQAEVMpef0KAVdFLGg4ICAEBCxIMg?= =?us-ascii?q?yyBMUUORjMshCSBHIJeimKCCgWIXoJAiFUthwsDVQEKAQMBDBgBCgwEAQGERE4?= =?us-ascii?q?BBIFMHAcBBDQTAhABAQUBAQECAQIDBAETAQEJCwsIJ4VfDIIpEimDEQUBEAsGH?= =?us-ascii?q?QETCAwDAQEEBQQDEhAwBwICIgERAQUBIgEaGoMFgkoBAy4PPJ5RgQQ9iyiBFQU?= =?us-ascii?q?BF4MCBYIDBYJXChkoDWWBNAIHEoEmjB4mGoIAgUeCLC6DGgsBAYEvY4JngmAEj?= =?us-ascii?q?i+KaIdZgTyQekyCEoJ0hTWQMx2CY4ESh3CSHYxvg1+JE1uFYYlShFoPI4FGWIE?= =?us-ascii?q?gcIEBgjgJCQ0xGA2QQDiDOoUUgmaCHgU6QzACNQIGAQcBAQMJjVoBAQ?= X-IPAS-Result: =?us-ascii?q?A0B0DQAEVMpef0KAVdFLGg4ICAEBCxIMgyyBMUUORjMshCS?= =?us-ascii?q?BHIJeimKCCgWIXoJAiFUthwsDVQEKAQMBDBgBCgwEAQGERE4BBIFMHAcBBDQTA?= =?us-ascii?q?hABAQUBAQECAQIDBAETAQEJCwsIJ4VfDIIpEimDEQUBEAsGHQETCAwDAQEEBQQ?= =?us-ascii?q?DEhAwBwICIgERAQUBIgEaGoMFgkoBAy4PPJ5RgQQ9iyiBFQUBF4MCBYIDBYJXC?= =?us-ascii?q?hkoDWWBNAIHEoEmjB4mGoIAgUeCLC6DGgsBAYEvY4JngmAEji+KaIdZgTyQeky?= =?us-ascii?q?CEoJ0hTWQMx2CY4ESh3CSHYxvg1+JE1uFYYlShFoPI4FGWIEgcIEBgjgJCQ0xG?= =?us-ascii?q?A2QQDiDOoUUgmaCHgU6QzACNQIGAQcBAQMJjVoBAQ?= X-IronPort-AV: E=Sophos;i="5.73,429,1583190000"; d="scan'208,217";a="349460022" X-MGA-submission: =?us-ascii?q?MDEx5LfH92J1DgQj4Uk1j6YgwNiRqEuJO7E1Yx?= =?us-ascii?q?lJ6Q7LvGJHgPhAtyVfna5Vu3cjr0UeKD4mB5Ky9sLCGoWcsRXRGaBNkG?= =?us-ascii?q?6fjb5xi5YjpfB1eNH+zOfCvSEL46sfdk3/qcFCAIdf0WmfjYq7aaZnNE?= =?us-ascii?q?7IsXUeJ4u3SFwARxCZdnX3LA=3D=3D?= Received: from mail-wm1-f66.google.com ([209.85.128.66]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 24 May 2020 13:06:22 +0200 Received: by mail-wm1-f66.google.com with SMTP id j198so1130971wmj.0; Sun, 24 May 2020 04:06:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=XUXXzMSyCnvp1741QoHHpWDnxYrzIOSQ6o1np6i/q8s=; b=I41laIhm2CaM++AV3PgJ3DRsYOMel65/w7wI5AYX6mirZHJVBusmZHfkBB6JBCGxDV IrWSmdkc/O1POGN7Js3zKMhj5n7ntH8+FA3FZx/ZTnjjBrlRBdUqtq25qarxKYCL15LN Ae9SKsn7m5GzoEzRNbjb/6Dygmz5rU6uu7qeVa2FrVMbH15HaCC3RuYtbygCFg3/R+Cx YiwPHxdiDXbxs9iXQaNAPHNDfEYnTqhDrflA3anKs+Y5wKSUS9FYYVBeTVzA0K+5equH 45QdQmo654u9htJ9EnIZH3Be4TreaEG3h+67zZbfBKCpkcBXbD7aLgmOoY0AF34g8jEv 4M4A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=XUXXzMSyCnvp1741QoHHpWDnxYrzIOSQ6o1np6i/q8s=; b=sIzu0C8dsX5W7c4Qt5uVacfm/Msn50YKJ8IcMF/hIoHpiz7/mBU1d1GlIH4w1KsGao 3EYjdzcigt7k1+H5TxoSwcPXYX8damXgcIW/TQAQUsgPkI2LRpgnLIVY+8I6hISKYrSx bj5fXOkRL94wKpi+M2VI47OgGqFu6GQtv9Qup84WaHMfD3nuxjXbIp0Nw0PFzAPoseag xo5zzGeddauMbfZgd6W/irVRSBtSL2kDvzWQ+dRrqEAEXWsmhWitGWK8QDrrjTc8SioL pCv2iTTjo7BPugLem0zObCLcjEjppQtGEl/IlSC8krb/3yGCSpHYj3KcMJHSQKqM5pQe mB+Q== X-Gm-Message-State: AOAM530VmYjZr8SbT9Z0Op7tsg920kTKnCPDUOOWMcKzDzlPKA5AIaRS eAWz5HENDUV4511rKFkyHN6cquN2VwCa7C58EvM= X-Google-Smtp-Source: ABdhPJwnHp7yK5qTcGtekezqhb+yCBDzWAlmPx1OOE+RzplvV9eqofjWHlw4vlCT/RolaazX6LgLWBrXG3j5cSBvvrI= X-Received: by 2002:a05:600c:2146:: with SMTP id v6mr21618053wml.142.1590318382345; Sun, 24 May 2020 04:06:22 -0700 (PDT) MIME-Version: 1.0 From: Ekaterina Komendantskaya Date: Sun, 24 May 2020 12:05:56 +0100 Message-ID: To: types-list@lists.seas.upenn.edu, haskell-cafe@haskell.org, types@lists.chalmers.se, stp , ciao-users@cliplab.org, caml users , coq-club@inria.fr, haskell@haskell.org, agda@lists.chalmers.se, SPLS , erlang-questions@erlang.org, ARW-COMMITTEE@liverpool.ac.uk, cl-isabelle-users@lists.cam.ac.uk, tag@utlists.utexas.edu, boost-interest@lists.boost.org, lfcs-interest@inf.ed.ac.uk, Association for Symbolic Logic , clean-list@science.ru.nl, event@in.tu-clausthal.de, prog-lang@diku.dk, afsec@afsec.asr.cnrs.fr, security@fosad.org, gdr-im@gdr-im.fr, gt-verif-permanents@gdr-im.fr, tag@cs.utexas.edu, planetkr@kr.org, fmics@inrialpes.fr, nwpt-info@lists.ioc.ee, theorynt@listserv.nodak.edu, acl2@cs.utexas.edu, comm-theory@ieee.org, wi@aifb.uni-karlsruhe.de, iclp-workshops@sfu.ca, laiv-announce@macs.hw.ac.uk, DSG , logic-programming@lists.picat-lang.org Content-Type: multipart/alternative; boundary="0000000000004271f605a662da0a" Subject: [Caml-list] Research Positions in a project on AI Verification (Types, Programming Languages, Security, Machine Learning ) Reply-To: Ekaterina Komendantskaya X-Loop: caml-list@inria.fr X-Sequence: 18153 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --0000000000004271f605a662da0a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable [Apologies for multiple postings. This is a final call for applications in the following project:] AI Secure and Explainable by Construction: Multiple Research Positions (3 Doctoral, 5 Post-doctoral) available at Heriot-Watt, Edinburgh and Strathclyde Universities, Scotland, UK. Start date: 1 September 2020 or soon after; End date: 2023 Postdoctoral Salary Scale: =C2=A331,866 to =C2=A340,322 per annum PhD funding: covering PhD fees and stipend for 3.5 years We encourage interested applicants to contact us informally ASAP. The project has sufficient flexibility to mitigate the effects of COVID-19, i.e. by accommodating later start date or remote working. The project aims to design novel methods and tools for verification of complex AI systems. It spans several subjects: type theory, automated and interactive theorem proving, security, AI and machine learning, autonomous systems, natural language processing and generation, legal aspects of AI. It will cover two main application areas: autonomous cars and chatbots, drawing from expertise and infrastructure provided by industrial partners working in these two areas. The project has a significant international span, with 12 partners from Academia and Industry in Europe (France, Germany, Israel, the Netherlands, Norway) and the US. Researchers joining this project will have excellent opportunities to travel to international conferences, organise scientific events, spend time with industrial partners, collaborate with academic leaders in the field, develop their own research profiles as well as gain experience in other AI and CS disciplines= . For further information,applications deadlines, and instructions how to apply, please visit: http://laiv.uk/index.php/vacancies/ Ekaterina Komendantskaya: http://www.macs.hw.ac.uk/~ek19/ Robert Atkey: https://bentnib.org/ David Aspinall: https://homepages.inf.ed.ac.uk/da/ Burkard Schafer: https://www.law.ed.ac.uk/people/professor-burkhard-schafer Verena Rieser: https://sites.google.com/site/verenateresarieser/ --0000000000004271f605a662da0a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

[Apologies for multiple postings. This is a final call for applicatio= ns in the following project:]


AI Sec= ure and Explainable by Construction:=C2=A0

Multiple Res= earch Positions (3 Doctoral, 5 Post-doctoral)

<= span style=3D"font-size:11pt;font-family:Arial;color:rgb(0,0,0);background-= color:transparent;font-variant-numeric:normal;font-variant-east-asian:norma= l;vertical-align:baseline;white-space:pre-wrap">available at Heriot-Watt, E= dinburgh and Strathclyde Universities, Scotland, UK.

Start date: 1 September 2020 or soon after; End date: 2023

Postdoctoral Salary Scale: =C2=A331,866 to =C2=A340,322 p= er annum

PhD funding: covering PhD fees and = stipend for 3.5 years



= We encourage interested applicants to contact us informally ASAP.

T= he project has sufficient flexibility to mitigate the effects of COVID-19, = i.e. by accommodating later start date or remote working.


The project aims= to design novel methods and tools for verification of complex AI systems. = It spans several subjects: type theory, automated and interactive theorem p= roving, security, AI and machine learning, autonomous systems, natural lang= uage processing and generation, legal aspects of AI. It will cover two main= application areas: autonomous cars and chatbots, drawing from expertise an= d infrastructure provided by industrial partners working in these two areas= . The project has a significant international span, with 12 partners from A= cademia and Industry in Europe (France, Germany, Israel, the Netherlands, N= orway) and the US. Researchers joining this project will have excellent opp= ortunities to travel to international conferences, organise scientific even= ts, spend time with industrial partners, collaborate with academic leaders = in the field, develop their own research profiles as well as gain experienc= e in other AI and CS disciplines.

For = further information,applications deadlines, and instructions how=C2=A0to ap= ply, please visit:=C2=A0http://laiv.uk/index.php/vacancies/=C2=A0


=

<= /div>
--0000000000004271f605a662da0a--