coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University
Chronological Thread
- From: Hazem Torfah <hazemto AT chalmers.se>
- Subject: [Coq-Club] Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University
- Date: Thu, 3 Aug 2023 14:34:49 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=chalmers.se; dmarc=pass action=none header.from=chalmers.se; dkim=pass header.d=chalmers.se; 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-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=ZdZ3wkxtA1uvv4Y8zfBdeHZDb3xBm0kVyd2r9G5CZJM=; b=irVjfNzikjnWXoBYb0DDE/8fygsfeSUOP/EzmG6MMaQz66L2Gbi6GNlcq+Dq+1r9ouY4mponkwA2+jQk2k/BtURbB9QqihV6gjhaAgu2DYeVNjTUmg69mXQUeObzyepa4UIxD1rWXfnyf37JsmbkXWTBZHYgTuSi4n/p6tf/Drv41RQS2bmTJ+Bzm4TX2HNfUnDPrGWqibbZJHHt5Mhza/XadAPHlqSu5P+37aqqekc2mE/VSkkdihhlH7EQwBkpvW9luEbVnZQ95IIleyZZZcJ0XOFS8S+4wKnfd3sYdKQrNPGDgqeV+qGM5sxDne/XkXBR+xYPkRqV9zUKFNCy0w==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=iVlBstbrnY+YJncdmyH+bQGnsalYT8BLgWxm7RtPkzndJGWn7h6YX7Q3+qwTqvy9o1fFUkYs7Xt6oNkQMeMEpww0zOXl2OaqveYbidDwyBDDfb8Acx4PTa9VXkXYTDSnP9UfqWMh4qe/Lm29cF8BcO9LZhaAz//26F6ruA1pwcHwdjyb64Uhm+lvL0rky8P9CbKP6Gc6UMF+V0AI4tebUqawSaVWAZlkyQ8ixahs/x4sZfeW1bImneTo/skihFvtsuwY2RNuI40uW6Q6rX1nw+zEWs8kM2rkd4RBLIeakNxDpDhac4MrnytHSm9T13LRGrB9Zm/RnNoeJRTw+QeeAg==
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hazemto AT chalmers.se; spf=Pass smtp.mailfrom=hazemto AT chalmers.se; spf=None smtp.helo=postmaster AT MM0P280CU005.outbound.protection.outlook.com
- Ironport-data: A9a23:anZr5KlsHPZsC9/374lPXAHo5gzpLURdPkR7XQ2eYbSJt1+Wr1Gzt xIXDTqFMviKZWXyft0nPI+z8EsPsJPdnNFgGgc+rC88EltH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayajt8B56r8ks156yi4GhA5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1yHRsqPNAUo98nGE4Q6 PA9dzU9SB+60rfeLLKTEoGAh+wGCZHTZtNHkUw4lWyfCus6S5feRamM/cVfwDo7msFJG7DZe tYdbj1sKh/HZnWjOH9KUtRnxL7u2Se5KmAwRFG9/cLb50DTxR581aTqGNHVc9iPSN9O2F2Vz o7D1zqjU0pFa4XAodaD2m32ge6Ux3/aYrI5K4z75txnimOZ3XNGXXX6UnPg+KLi0hfkMz5FE GQf/TNrpqwv/mSwX9zlVlu5pmSFt1gSQbJt//YS7QiMzu/P/AuVC24fSSNdaNU0s8lvHGRwj wfQwpXuGCBlt6CTRTSF7LCIoDiuOC8Ta2gfeSsDSghD6N7myG0usv7RZspySrK009GsIGHp7 G6XoA1hgoU1gvdegs1X4mv7qz6ro5HISCs86QPWQn+p42tFiGiNNtTABb/zvacoEWqJcrWSl CVZxZDBs4jiGbnUzn3cEL9l8KSBva7tDdHKvbJ4N6IMn9hH01uqeYVXiN2VDB0xY45YJFcFj Gfouqic4pIbF3y3a7NmC79d5uwvxKnkUM/6W/zZaMFJf4RxfR2A+ng3PRTJhzmw1k8xjas4J JGXN962CmoXArhmyzzwQPoB1bgsxWY1wma7qXHHI/aPj+f2iJ29E+1t3L6yggYRsPjsTOL9r 403Cidy408DONASmwGOmWLpEXgELGIgGbf9oNFNe+iIL2JOQT9wUqeJmOt6I9E+wMy5c9skG FnsAye0L3Ku3RX6xfmiMCkLhE7HAckn8ypnYXNE0aiAgiR+P9fwhEvgS3fHVeJ+r7c7lKQco wgtfsSLGPNUTTrbsz0PcIPwxLGOhzz67T9iyxGNOWBlF7Y5H1yh0oa9ImPHqnNSZgLp7pFWi +P7iWvmrW8rHV8K4DD+NKrwkDtcfBE1xIpPYqc/CoIDKRSxrtc7dnyZYz1eC5hkFCgvDwCyj 26+aSr0b8GUy2Ps2IiT3/K3vM2yHvFgH0FXOWDe4PzkfWPZ52evi8sIGuqBYTmXBiu+9bSAd Ndl6aj2EMQGu1JW7Kt6MbJglpwl6/XV+rR18wVDHVfwVWqNNI9OGHe98Pdqirxs3Z5c4Au/Z VKO8IJVOJKPI8LUL2QSLwsEMMWAjNcxtBDDytgfDHvGzTBRx+eZXXVoPhPXtjFvB+ZqO4Z0m dUenpYf1F2irh97a9qpnj5erX+RHyZRT4QmqZAoL4v5gSU7ylx5QML9Cw2nxLqtetlzIk0RD TvMv5X7hpNY3VjnX0coMHrwgc5xpM8pgw9b63MkK3CiuMv3ttVu0DJ/qT0IHxlolDNZ2OdNC 01XHkxSJ4DV2hx3hcJGDlueKysYCDK3okXOmkY0zkvHREyVV0vIHm03GcCJ2Gs7q2t8XDxqz Iu0+VbfcwTBXZ/Oh3MpeEtftfbcY8R79VTClOCZDs21JcQGTgS/sJC+R1gjikXBMZsqiVzlt Nta2r96SZfGOB46p4w5DIin1oosdi2UGVwaf9Zf+PImIGKNXhCzxjmEFG6pcOxvOfHh0BG1G u5uFO11RjW80ye/9DAbD4FVJ7RyueMivucDXpjJJmc2laSVgRQ0kZDX9wn43HQKRfc3m+kDC 4rhTRCwOU3Ouml1wUrj9NJlPEi8avk6PDzM5vi/qrg1JshSodNSflEX+ZrqmXesaS9M3Q+e5 SHHbI/ol91S85xmxdbQI/8SFjePCI3BUcqT+1qOqPVIV9TENPnOuy4zqlXKOwd3P6Mba+9ol Iai4cLG40fYgIkYC2zpuYGNN61s1/WAWOB6NsHWLn4DkxCSB+7qwR8IoF6jJbJzzdhy28iAR imDUvWWS+I7Ydlm6UduW3BsKCpFU6XTRYX8lBy5tMWJW0Q80xSYDdaJ9k3JTGB8dw0KMrLQE QXLheel941Knr9tHz4BPeltWLVjEW/gWIwnVtz/jiaZBW+WmWG/uqPuuB4jyDPTAFyGIdnK2 o3ETR3AaxiCgqHE49VHuYhUvBdMLnJCrcQvX0AaofhatiubCTMYEOEjLpk2MJFYvSjs3pXeZ juWTm8DCz34bAtUYyfH/9XvcQeONNMgYu6jCGQSwHqVTCOqCKerIrhrrH5g6kgrXArT9risL NVG90DgOhS0/IpSet8Swf6F0NdXnqaQgjpC/E3miMX9DioPGbhAhjQrAANJUjeBCM3X0lnCI W8uX21fXUWnUgjLHN19f2JOUgQs1N81I+7EsQ/UqDoeh2ma8AGE4NjaY9mpguUoUZxSefgJW G/9QHaL7yaOwHsPtKA1utUvx6hpFfaMGcv8J6jmLeHXc2dc9Ux/V/7uXwJWJC3hxOKbO1jdn z2p7mIlQl+IQKyU8KPD0h0HovqdTVpVZwwkT2fDSfvumhwwy93UYQPs1w+TxVQcbUT8lx0wf Qr+p3p9b7FbWPUIaNW+WjkmSoS7PPws
- Ironport-hdrordr: A9a23:ouvq464h4ezbtse52wPXwSmBI+orL9Y04lQ7vn2ZFiY5TiXIra qTdaogviMc0AxhP03I6urwXpVoIEmsgaKdhLN8AV7MZniChILFFuBfBOjZskrd8k/Fh4pgPM 5bGsAQZuEYZmIbsS+O2njbLz9W+qjlzImYwcPli1t9RwBjbK9tqy1jDByAL0FwTA5aQbIkCZ u1/KN81nOdUEVSSv7+KmgOXuDFqdGOvonhewQ6Cxku7xTLpS+06YT9DwOT0n4lIntyKPYZgC P4ej7Cl+ieWsKAu1PhPqjonttrce7au5F+7Qq3+4Yow3vX+0eVjc9aKsS/VXgO0ZmSARAR4a /xSl4bTr9OwmKUcWevrRT33Q78lD4o9n/50FedxWDuuMrjWVsBerl8bK9iA2rkAnAbzaFB+b MO23jcu4tcDBvGkii479/UVwtynk7xpXY5i+Ycg3FWTINbMdZq3Pki1VIQFI1FEDPx6YghHu UrBMbA5OxOeVffa3zCpGFgzNGlQ3x2FBabRUoJvNCTzlFt7QJE5lpdwNZakmYL9Zo7RZUB7+ PYMr5wnLULVcMSZbIVPpZ+fSJ2MB2zffvhChPvHb28LtB8B5vkke+L3IkI
- Ironport-phdr: A9a23:kcMdShIs0aveN+LuN9mcuOtsWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFu7M91hSWAc3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsip1u2+4Z7ebxtHiDe/br55M Qm7oxjWusQKm4VpN7w/ygHOontGeuRWwX1nKFeOlBvi5cm+4YBu/T1It/0u68BPX6P6f78lT bNDFzQpL3o15MzwuhbdSwaE+2YRXX8XkhpMBAjF8Q36U5LsuSb0quZxxC+XNtDzTbA1QjSi9 KZrSBnniCwaKTA36XzcisJxjK1FpBKuugF0z4rabY2JMfZzeL7Wc9EHSmpbRstfVzFPAp+yY YUME+UOMv1VoJPhq1sLtxayGRWgCP3pxzRVhnH2x6o60+E5HA/ExgMhHswBsHHJp9vrM6cSS +61w7PIzT7eaP5W2S3y6YnWfRAkvfGMWql9ftbRyUY1EwPFi0ufqZb+Pz+PzeQCrXGW4ux9X u2gl2ApsRt+oiSzxsgykInJgJoYx17Y+Shl3Yo7Jd22RUx1b9OlHpVdqy6UOpZ5T84hTGxmt zg2x6AItJKmYiUEx4gqywLdZvGFb4SF4RLtWPuNLDp+mXlrdrW/hxOo/kihzO3xTtW70FZQo SpBl9nDqGoN1wfJ5sicVPRw+Fqq1zWX1w3L6uxIP1o4mbfHJ5I82LI9lJsevV7eEiL2gEn6k q6belkq9+Wt9ujrfq/pq56ZOoNpigzyLqEjltGlDuk9NwUCQXSX9OKh37P550L5Wq9Fjvgun 6nZrp/aIcMbq7a+DQFSzoot8QizAjS63NkGk3YLME5JdRKdg4juJlHOPOv3DfCig1SqjThn3 ejGPqfmApXRMHfMjKvhfbd6605a0gYzys1f545QCrEGJ/LzWVX9u8DfDh88KwC0wuDnB8th1 o4GWW+DHLWVPL7OvVOV/O4iIeiBaJUItDv9M/Ql4uThjX49mV8TZ6mp2p4XZWi4Hvt8IkSWf 3/sgssGEWoRogU+TPbliFmHUTFNfXayRLgw5iolB46+C4fMXZiigKad0yejAp1WemdGB0iRH XvwbYWLR+8MaD6OIs9mijELSb+hS5Y42R6ysA/61qFoI/HP+iwYsJLjzMJ66/fSlRE07zx0D t6S33uDT2FuzSsmXTgziYB2s0F4gmuEy6Zxg7QMFdVB6vZVVS8xNZfYyuFgEJbpV1SSLZ+yV F+6T4D+UnkKRdUrzopVOy6Vev2nhxHHhG+xBqMN0qeMHNoy+77d2H74I4B8zWzH3e8vlQpuW dNBYEuhgKM37A3PH8jRiUzMl6+4eKEA2wbG9G6HyGeUpwdDXV04Sr3LCEgWfVCettHl/gXHR r6qB64gN15BwNyPL7dNQtbphFFDSe34fs/TMCqqg2nlIxGOy/uXaZbyPWUQ2CKIEE8fjwUa5 mqLLyAbI3+Z+TKGJwE2TQ+pZF7w++5jrn/9VlUz0wyBc0xm0fyy5wIRgvufDfgU29rooQ8Hr DN5VBa41tPSUJ+bohZ5Ob5beZU76UtG0mTQs0p8OIahJuZsnAxWdQM/pE7o2xhtb+cI2cE3s HMnyhZzIqOEwRtAcT2fx5X5JrzQLCH74hmub6fc3lyW3syR/+8D7/ExqlOruw/MdAJq83x13 txJ1FOX5pzOCQcIStTqXwd/9hR3oa3bfjho/5ndhjVnNai5tCOH2sp8WbFjk075OYgBdvrZR 2qQW4UACsOjKfIngQ2sZxMAZ6VJ8bIsetihb72A0bKqO+BpmHSni35G6cZzyBHplWI0R+jW0 pIC2/zd0BGAUmK2jF6zv8XrnqhPZTgWG2el0m7/CcQCA886NZZOEmqoL8Ctk59+jozgXmJf3 FWjDlcD1dWyPwGfJQ+1zUhb0kIZpmaikC2zwmlvkj0nmaGY2TTH3+XocBdv1ndjfGB5lh+sJ IG1i4tfR020d00ykwPj40/mxq9draA5Lm/JQE4OcTKkZ21lV6KxsPKFbastoNsouDdaVfi7S VuaQ7r4rgEBlTjuV2dT3zE0cTi2t46xwkY80TrEaikt6iOEMchrjQ/S/tndWeJc0l9kDGFjh D/bC0L9d9il8NOIlovS5+W3VmavTJpWImHgyYKNsjf+5HU/XEf5xqjq3IK5V1FngkqZn5FwW C7FrQjxeNzu3qW+aqd8e1VwQUT784x8E51/lY05gNcR32Ibj9Ob5yli8y+7PNNF1Kb5dHdIS yQMxouf4AH31Uh/KVqCx4v9U3iH2Y16apPpBwFekjJ49M1MBKqOufZElDl4p0a/hQnRaPx4k y0Gj+Ajoi1/4alBqE8mySOTBaoXFE9TMHn3lhiG2Nu5qb1eeGeldbXjnFo7h92qC6uO5x1NQ HusMIl3Bjd+t48sVTCEmG228Izvf8PcKM4epgHB2QmVlPBbcdowjqZY2XIhaDi75Tt9jLdmx R12gcPm5M7eczorpOThRUcGU1+9L8ILpmOw1+AHxp7Qh8b3Wcw9UjQTAMmxFa7uTG1U7bK/c F/RWDwk9CXBEOKGT1bGsRVo8yqXQcLsayHyRjFRzM08FkOUfBUN2VlNDjtmxsVrREf2lYTga BkrvDlJvwyh80IexL4wbEuvCj+H9lXvN29RKtDXLQIIvFtLvx6HaJXHvOwvR3oK9cX59F7fb THCLwVQUzNTUxTdVQm6Z+uguYGboebAXrLsfbyTO/3LoOhaHZ9k3LqJ1Y1rt3aJP8SLZTx5C uEjn1FERTZ/EtjYnDMGT2oWkTjMZoiVvkX0/Co/tc25/PnxPWCnrYKSF7tfN8lu8BGqkO+CM eCXniNwNTdf0NsF23bJzLEV2FNahTtpcnGhFrEJtCiFS6y1+OcfFxkAdyZ6L9dF9YoZ+1F1Y 56Doe6tjuM+ieMpAVBYU1CngtuuecEBP2C6MhXAGVqPM7OFYzbMxoCSA+v0SLFdivlVqwzlu TufFByrNTCCmj/1EhG3ZLwWynjDZVoB5sfkL0UIayCrVt/tZxylPcUiiDQ3xeZxnXbWLSsHN iA6dUpRr7qW5Cceg/NlGmUH4GA2SIvM0yuf8eTcLY4b9PVxBSEh3eJT8nk/17x95yFNQPl4g jCUtdMk8DTE2qGfjyFqVhZDsGMBnIWQoUBrIrnU7LFlfC78pkJVxljIU0lMoMZ5ANryvawW0 sLIiK/4NDZF9ZTT4NcYAM/XbsmANTByVHihUC6RBwwDQzmxMGjZjEEIi/Ce+EqeqZ0io4Ttk p4DIle6fHkQTstAWhxOIYRafdFwQy8ulqOdgIgQ/32ioRLNRcJc+JfaSvaVBvapIzGc3+Esj /4gyrPxKYEeLJa9wEEwMjGSc6zBG0PUWN1XuWt6Y11tyHg=
- Ironport-sdr: 64cbbb0b_w3JCK0ZqeS/cpStS15FTwK3aT2rNPfMZwPNxo0jQfenJiIi CFVke8yibJjJME2Vi4uBAwv9no5J8AWV4jLxTCw==
Dear colleagues,
The group for Safe and Trustworthy Autonomous Reasoning at Chalmers University has openings for two PhD positions and a PostDoc position in Formal Analysis of Autonomous Systems. We are looking for candidates interested in developing techniques
and tools for the construction of provably-safe and -reliable learning-enabled autonomous systems.
Please pass this information on to potential candidates. It would be great if you could also share this information within your network. The announcements for the positions are linked below:
Application deadline: Sep 1, 2023
Many thanks!
Kindest regards,
Hazem Torfah
--
Hazem Torfah
Assistant Professor
Computing Science Division
Chalmers University of Technology
Chalmers University of Technology
412 96 Gothenburg, Sweden
- [Coq-Club] Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University, Hazem Torfah, 08/03/2023
Archive powered by MHonArc 2.6.19+.