coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] ETH Zürich looking to hire assistant professor for "Software Security and Formal Methods" (deadline Jan 8)
Chronological Thread
- From: Ralf Jung <research AT ralfj.de>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] ETH Zürich looking to hire assistant professor for "Software Security and Formal Methods" (deadline Jan 8)
- Date: Fri, 18 Nov 2022 14:45:45 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=research AT ralfj.de; spf=Pass smtp.mailfrom=research AT ralfj.de; spf=Pass smtp.helo=postmaster AT r-passerv.ralfj.de
- Ironport-data: A9a23:rN9gdqNKC13rIm7vrR3Xk8FynXyQoLVcMsEvi/4bfWQNrUohgzNWx 2VMXTqHPPzbMzfyedt1O9znpE4F6pbQnN5qQXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/jgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5CZaQHNNwJcaDpOsfva8UM35pwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGX/VmX2n9I3S30QEtUb0/ZqPTlNz 9cxfWVlghCr34pawZqhD/Flnd8uNtetJoobtHMmwTyx4fQOGMiSBf+RvZkCh2l2150m8fX2P 6L1bRJ1YQ/NagdEOn8NAZYwnqGkixETdhUE8AvL+fRsvQA/yiQo1+TJG//4aOabbt5Ph2Oqj 3rg4nnQV0Ry2Nu3kGHZoy302ocjhxjTU4ULUba86/RCm0yW3mVVCRsMVFL9r+PRt6Klc8gaM 0UP4Sc0s+4o/UilTJ/xUnVUvUJooDYlfsRKT8pjrz2r5fLXyhaEOjAHdBVoPYlOWNANeRQm0 VqAntXMDDNpsaGIRX/1yop4vQ9eKgBJfDRfPnZsoR8tsoC7+dxbYgfnFI47eJNZmOEZDhnc7 lhmRgAZja8Sgs4G1qDTEbvv3G78+sehouIdzAzbU2Tg0R5jeJKoYoal81ez0BqtBJzcVlCap 3UehY6E5eQAD9eBmURhodnh/pnyu55p0xWG2jaD+qXNEBz3ohaekXh4um0WGauQGp9slP+AS Ba7VfltzJFSJmC2SqR8fpi8Dc8npYC5S4q1CaqJM4MfOsUrHONiwM2ITRDNt4wKuBZ0+ZzTx b/KGSpRJS9KWfs9pNZIb7dHidfHORzSNUuKHsyqkEz7uVZvTHeeVbYbPR6VY/on4bmf5g7S9 r5i2ziilX1ivSyXSne/zLP/2nhQdihnWs6r9ZA/myzqClMOJVzNwsT5mdsJE7GJVYwM/gsR1 iHiAh1r2xDkiGfZKA6HTHlmZfm9Fdx8tH83d2hkd1qhx3FpM87l4bY9ZqkHW+At1NVi6vpoE NgDWcGLWcpURhr9pj8yUJjara5ZTiqNuz6gBSSeTQYaQ49BXC3Mo9/tQRvu/nIBDw2xrsoPn Iej3QL6H7sFZhhpI+jEY6iR3l+w4Gksp/J3VkqVIetoWV7N9bJyIHfblc4HIMArKDTCyACF1 g2QPwwqmOnVr6Ix8/jLnaqhva7zN8dfR210R3L665SyPgnkpluT+5dKCru0TGqMRVHK97WHT sQL6fPFadksvktA6qh4GJZVlZMO3cPl/eJm/141DUfwTgqZD517KSO7xuhJjKpGw4FZtSaQW k6i/tp7O62DCPj6EWw+dRYUUeCe6c46wjXiz+w5AEHf1h9F+LCqVUZzPR7VhhdNc5pzEocum tk6tOAstgeQtxsNM/S9tB5yyViiFHI7fp8chskoO7Oz0gsP4XNeUKPYER7zsc2uac0TE0wEI Q20pavlhpZN93XSdnMySHv/5stGpJE0oBsR5kQzF1eIvdvkh/EMwxxa9wosfDlV1hlq1+FSO HBhEk9IeZW14DZjgfZcU1CWGw1uAAOT/mrzwQArkFL1YlaJVGuXCkEAIseIoV4k9lxDcghh/ L23zHjvVRDodprT2gowQUtUlOzxf+du9wHtmNGVIOrdJsMUOQHau66JYXYEjzDFAslr3U3Om rRMzdZKMKb+MXYdnr0/B4ykzo8vcRGjJlITZdF6/agMI3PQRyHq5xiKNHKKW51sI97kzBaGL vJAd+xzUyaw7iKslgwgJLUtJuZ0lcE55dBZdbLMI3UHgoSlrTFokczx8Ar+jkAZWvFrq8IcK 5zQRR2GAGe/lXtZoE6Tjchma06TQ8gIWx3458+xqN42LpMktPp9V30y3p+fnWSnACE+8z265 Ar8NrLrlcp8woFSrq7QO6RkBTTsD+jsVe6NoTuBg/4XYfzhac7x5h4o8H/5NAFrPJwUadR9t ZKJlPXVhErlnrIHY1r1qqm7NZtixJuNBbJME8fNMnNlszOIW5bs7zs96mmIE8F1v+0H1Pa3Z TmTSZWWRYcZVe4IkTcRI2JbHg0GAqv6Urb4qGnv576QAxwaykrcIMnh6XbtanpBezQVP4HlT DX5oOuq+ssSubEk6MXo3B26K8QQzJ7ftaoamxnZr3yAB3Kzj0mc/KHrkRQirz3GYpVBONiv+ orLH3ASazzr0JwkDvkA22CxgvHTJGx0hecyOE4QkzKzoy7vF3YIdIzxLr1fYqy5UUXOOFXQf jjJYmlkBSiVsfGot/njyIyLYzpzzdDi9js0yvLFMq9Uh+qL6Fu8PYZc
- Ironport-hdrordr: A9a23:1FQSDavTjb04IQLcWf/F18SZ7skCk4Mji2hC6mlwRA09TyXGra qTdaUgviMc1gx4ZJh5o6H4BEDyewKlyXcV2/hmAV7GZmTbUQSTXeRfBOfZrQEIXheOkNK1tp 0QOpSWaueAaWSS5PySjGaF+pQbsb66GcuT5ds2uk0dLz2CHJsQjDuRZDz7LmRGAC19QbYpHp uV4cRK4xC6f24MU8i9Dn4ZG8DeutzijvvdEFU7Li9izDPLoSKj6bb8HRTd9AwZSSlzzbAr9n WAuxDl55+kr+qwxnbnpiXuBtVt6ZbcI+l4dYOxY/suW3vRYzOTFchcsvO5zXEISaqUmS0XeZ H30m0d1oJImjvslyiO0GbQ8hil3zA053D4z1iExXPlvMziXTo/T9FMnIRDb3Limj8dVfxHod F2NliixuhqJAKFmD6468nDVhlsmEbxqX0+kfQLh3gaVYcFcrdeoYEW4UsQSf47bVXHwZFiFP MrANDX5f5Qf1/fZ3fFvnN3yNjpWngoBB+JTkULp8TQ2TlLm3JyyVce2aUk7wM93YN4T4MB6/ XPM6xumr0LRsgKbbhlDONEWsezAnyle2O9DItTGyWXKEgqAQOyl3es2sRI2AiDQu128KcP
- Ironport-phdr: A9a23:5dHphBwiIFLUZObXCzIOwVBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z hCZuK0m0QWBHd2Cra4e0KyO6+GocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmjWwbalyI RmqogncttcaipZmJqot1xfFuHRFd/pYyG9yOV6fgxPw7dqs8ZB+9Chdp+gv/NNaX6XgeKQ4Q 71YDDA4PG0w+cbmqxrNQxaR63UFSmkZnQZGDAbD7BHhQ5f+qTD6ufZn2CmbJsL5U7Y5Uim/4 qhxSR/ojCAHNyMl8GzSl8d9gr5XrA6nqhdixYPffYObO+dkfq7Fft0US2VOUchPWSJBH42zc 4QBAvEdPetbtYTxu0cCoBW8CASqGejhyiVIhnjz3aAiz+ouCwXG3AI9FNwKrXTUqtr1P7oVX OCv0qbI1ivMYOlM2Tjh6IjFaQohruuIXbJ+c8rd01QgGB3cg1iWtIfqMC+b2P4XvGiH8+pvS /ivi2g/pgx1oDWi2Nshh43Vio8Wyl7J6yp3zJgoKdCkSkN2fdqpHYZNuiyYKod6Xt8vTm5nt is4yLALt5G2cTUFxZk7yBPSbeGMfYaP4hLmTumRIDF4iWp7d7Kjhxaz8FKsxfH8VsSyzV1Er TJFn8HRunwR0xHf8NaLR/Vh8ku7xzqC2QHe5vtALE00jabXNYItzqItmpcWsEnOHDP5lUDrg KOKaEor5u2l5uTlb7jlqZKRMox5hh3iPqgyn8GyBPo0PRISU2Wd5O+yzqfs/VfjT7VPlvA2k rfWsJTdJckDvK61GhdV3Zw46xakETimysoYkWMdLF1ffBKHgYrpN0vTL//mFfu/glKsnyl3x /3eI7HtHpHAImLdnLrvYbpx8VBQxQQywNxF459ZCqkNIPfpVU/wsNzYAAU5Mwuxw+v/EtVyy JgeVnyVDa+DLKzSsUSF5vg1LOmIao8VuizxJOU76PL2i382gkcSfbO10psPdHC4AvNmLl2Eb Xb0mNcODX8KvhYiTOztkFCNTTlTZ2+rU60g4jE7FZmpAJzYRoGthbyBxD20EodXZmBAEFCME G3ne5+KW/cWO2quJZpqlSVBXry8Qacg0wuvvUn00elJNO3RrxcRsZyr9sVz6KWHjxwp+DVuB MS1yWiJQWMykm5eFGx+57x2vUEokgTL6qN/mfENTbS7httMWwY+btvHyvBiTsv1QkTHd8uIT 1CvRpOnByswR5Q/2YxGeF5zTvOliB2LxC+2G/kNjbXeHpEv/6vG1HjZPc95xXSA2KRyx0I+T J53PHa9zrV66xCVAofIl0uDkKP/b6kH0SfX/2er12OKskMeXAMjGb7dUyUnb1DN5c/8+luET 7KqDuE/NRBdzMeZNqZQQseslVxdX/r5JpLEama/mSG8CH5k35uqa4znMyUY1STZUw0flhwLu G2BLU44DzugpGTXCHpvE0juagXi67s2rnTzVUIywwyQCi8pn7Oo5h4Yg+CdQPIPz/oFvikms TB9AFe62ZrfFdOBowNreKgUb8k65R9L0mfQtgo1OZLFTegqnFMFfg1ttEPGzRxzBIcGncVr5 HImwQxuKL6JhUtbfmDQ1pTxN7vLb2jqqUn3OuiMgQmYio3IvPZSu5Fa4x35sQqkF1Qv6SBi2 thRiD6H44nSSREVSdT3W1o28B5zo/fbZDM87sXazy4JU+H8vznc1tYuHOZgxAyneoIVKq6fG QboGM0yHcGqJu5sl1XjPXdmdKhCsbU5Oc+rba7MwqOwMe96lzKOl21D7oI73k/GpGJsD+XP2 ZgC2fSR2ACKAiz9gFmWucfygYlYZDsWEwJT0ADcDZVKLu13dIcPUiK1JtGvg855n9jrUmJZ8 1iqAxUH3tWocFycdQ610QpV3EUR6Xup/EnwhyZ5iDwgtKGf9DbHx+rgMhYKcmJGX2hti17wL JP81ohLGhLzN05zz0XjtBuyzrMTvKllKmjPXUpEGkq+Z3pvVKe9rPvKYsJC7o8prTQCVe29Z V6ATbuu6xAe0i7lAy5f3GViL2Ds4M6h2UYh1iTMcSUWzjKRY8x7yBbB6caJQPdQ2mFDXyxkk XzMAUD6OdC1/NKSnpOFs+akVmvnWIcAFEujhY6Gqia/4nVnRBOlmPXm0MfqCgUzyyT7/8NjU SvK6hrxKNqOtezyIad8c09kCUWpodB3AYx3iIAwrIsZ3XYYwJmYtylPgSL4NtNV3rj7ZXwGS GsQwtLb1wPi3VVqMnODw4+qMxfVitskfdSxZXkanz4s980fQrnB96RKxGEm6kr9tw/aZuJx2 ysQ2ed7omBPmPkH4UIo3m3KC7QWVyG0JATUng+Tp5C7paRTPyO0dKSokVF5hZanBa2DpQdVX DD4fI0jFGl+9Jc3PFXJ2Xz1oobqHbuYJcoUrQGRmgzcgvJ9Mtcpn+ERiDB5f3j0uXMnjeI2x RBjxpC1uoGbJn4lpfroREQDbnuvPJ1Vq2ylhL07/I7ex421G5R9BjgHFIDlS/6lCnNatPjqM RqPDCxpqnqfHumXFgue5UF66nPXRsnzZjfNfyFfl448AkjAdyk9yEgOUT43n4A0DFWvzc3lK wJi4ywJo0X/sl1Kw/5pMB/2ViHeoh2pY3E6Usv6TlIe4wdc6kPSKcHb4Ph0GnQS5JC6oQWXI WyzfQ1MA2NPVkHOVDWBdvG+oMLN9eSVHL/0N/zVfbCHsvBTTd+SgIqmyZBr5SjKLMyLMHskA /BxiS8hFThpXs/enTsIUSkekSnAOtWaqBmL8Spytsmj8f7vVVGn9c6VBrBVK9kq5wGujPLJK buLnCggY2U9tNtE1TrSxbMYxlJXlyx+a2znD+EbrSCUBKfA0vheCxpRA8uWHNFB66w+mAVAa 5azYjzdzLd8gPxzB1oXDDQJe+mzINQDOHqwLk2BHk+POrbAKTCZmqnK
- Ironport-sdr: 63778c8d_uD+AFlVnuuq8t8LyvP0wSozQSSf0xvjp1qUbUuQPHQjDBJl Kz5ZFdlkYISMlhQryWJn1u13ZuBMNzvHhjRsQHQ==
Hi all,
ETH Zürich is looking to hire a tenure track assistant professor in "Computer Security", which includes "Software Security and Formal Methods".
From my own experience of being here for a grand total of not even 3 weeks, I can say that ETH is an a amazing place to work at, and Zürich is a great city. :D
For more information, see <https://ethz.ch/en/the-eth-zurich/working-teaching-and-research/faculty/faculty-affairs/ausgeschriebene-professuren/ingenieurwissenschaften/assistenzprofessuren--tenure-track--fuer-computer-science---comp.html>.
Also feel free to contact me with any questions.
Kind regards,
Ralf
- [Coq-Club] ETH Zürich looking to hire assistant professor for "Software Security and Formal Methods" (deadline Jan 8), Ralf Jung, 11/18/2022
Archive powered by MHonArc 2.6.19+.