coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ralf Jung <research AT ralfj.de>
- To: Coq Club <coq-club AT inria.fr>
- Subject: [Coq-Club] Assistant Professor (Tenure Track) position at ETH Zurich
- Date: Wed, 9 Oct 2024 12:17:03 +0200
- 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:TdgoYqJ41s7JJBH8FE+RwpElxSXFcZb7ZxGr2PjKsXjdYENS3zEPz GUZWGDXOqmJMDbwfIsjOdy18EkF6MXdydNhQVQd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgb8s9JIGjhMsf7a8Es+5K2aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuNHfx2u9KJlENJ4xI9sIoDEx/6 r9bN2VYBvyDr7reLLOTUKx0j984IdP1epkWvn9iiz3UZRokacmbEuOQvocehmxuwJETdRrdT 5JxhT5HdhnbbhRVMVc/Eps6kuXuinSXnzhw+QLL//Bsuza7IApZ3ee8YffFVY2zGsxkz0yxp FnJ/VjfK0RPXDCY4WHZrCn13LancTnAcIkVDfiz8uNgqEaCw3QaThwQT1qy5/ej4nNSQPpFb lQd4TEjt7Z07kWvQNu7UxDQTGO4UgA0HNZNCvcewhG20KuE7yLGC0U1UX0Cd4lz3CMpfgAC2 liMltLvIDVgtryJVH6Qnot4ShvraUAowX8+WMMScecSy/XOyLzfYzrVC85qC7W4lMOzAzj0z TLMoCVWa1QvYSwjjP/TEbPv2WrESn31oukdv1W/Y45dxlklDLNJnqTxgbUbhN4ZRGpjcnGPv WIfh++V5/0UAJeGmUSlGbpXTO3wva3fYWOC2jaD+qXNERzwqhZPmqgNsFlDyLtBaZ1UEdMUS BaO4FsNjHOtFCr3PMebnL5d++xxkfa7TI68PhwlRtNFfplveUfetC5rb0744oweuBVErEz+U L/FGfuR4YEyU/48kmDtH7xNgNfGBEkWnAvueHwy9Dz/uZL2WZJfYe1t3IKmP75nvpCX6h7Y6 chePMaswhBSGr+2KCrO/IJZaRhAIXEnDNqk44ZaZ8ySEDpAQWsBMv72xa9+WopHm68OqPzE0 EvgUWBlyX3+p0b9FyO0Vl5ZZonSAKlP9UAAAXR0PHKD+WQSXoK03aJOK7o1ZeYG8cJg/95VT t4EWdSxPeRKQzWa+AYmTILcqbZ6f0+BnjO+PCuCYRk+caV/RgfPxMTWQwv3+AQKDQu1rcEbo YD85jjEQJEGeRtuPPzWZN2r0Vm1m3oXw8B2YGflPfhRfx/K3LVxCimskMIyHd4AGS/DyhSey QySJxUS/svJgo0t9ej2lbK2lJioH8R+D3hlMTHit5juDhbj/02n3YNke8SLd2qEVGrLpYOTV d8MxPT4aPA6jFJGtrRnKIlSzIU82sDOooFLxQE1DVTJaFWWUolbGEek5vUWlKNxxe5+gzCUC 2av4dhRPIubNPz1SGAxIBUXVcXd9PU2tASL09ELDhTb3gFV8oCDc31uBDiXqSkELLJKIIIvm uggn8gN6j2AsBkhM/fYryZ2926jHGUkVp8jl5AFAb3Ejhgg5UFCbKf9VA73wsCrQPddPnY6J gS7gPL5uI1d4U7ZYlwPFXTp9shMt6Qk4Rxl4gcLGAWUp4DjmPQy4ix0zR02aQZkljN8zON5P zlQBX1ffKmh0W9hu5leYjqKBQpEORy+/37xwXsvkEnybRGhdk7JHV0HFde9xmIr2EMCQWED5 5Cd8njvbhjydsKo3icSZ19sm8a+cfNPrD/9iOKVNOXbOaIlYAjVoL6kPksJjBrFPfkfpmP6o ctSweIhTpGjaAAxpfUgBpi4xIYgbkmOBFZ/TMFL+IILGmDhew+O5wWeFnDpeu1xCqzL1WSaF /1RItl+UkXi9SSW8REeK60+A551u/8L9f4yULPgfkgCuL2uszFsnoni8y/jtkAWQvFFs8U0G qXOfR2sT02Sgnp1nTfWjc9mY2CXX/gNVDfe7suUrtobMo0lsf59V30y3p+fnWSnACE+8z265 Ar8NrLrlcp8woFSrq7QO6RkBTTsD+jsVe6NoTuBg/4XYfzhac7x5h4o8H/5NAFrPJwUadR9t ZKJlPXVhErlnrIHY1r1qqm7NZtixJuNBbJME8fNMnNlszOIW5bs7zs96mmIE8F1v+0H1Pa3Z TmTSZWWTsEUaed/1XcOSil5EjQhMYrVQJrkhxuAq6WrNkBA/y3Bdd+pzCq8JyUTPCoFIIb3B QLIqu6jrIIQ5phFABgfQepqGdlkKVvkQrErbMD1qSLeNGSzn1eeofH3oHLMM90Q5qWsS64WI K4pRyQSsDyo/bnB18pUqZI0pBQTAnQ7jeRYkoc15Yttkz7jZIIZBb11DHnEIsg8fu/OOFXQf jjJYmlkBSiVsfFsb0Dn+Nq6NuuALrVmBzo6TwDFO2uOYiO4BsWMDdONM8umD2heIlPe8Q1sF T3SFrAc8PR8LlGFiNv/PsCGvNo=
- Ironport-hdrordr: A9a23:dmlkSqtqX1Ldn+zefD1/7q/87skDYdV00zEX/kB9WHVpm7+j9/ xG+85rsSMc6QxhPU3I/OrrBEDuex/hHPJOkOos1NSZMzUO2lHEEGgK1+KLqAEIcBeOlNK1u5 0AT0EzMrPNMWQ=
- Ironport-phdr: A9a23:/ZA//RYqij8vGsI/49g5hzr/LTGn24qcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wePB96AoKgaw8Pt8IneGkU4oqy9+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTShbb9oM hm7owvcusYIjYZjN6081gbHrnxUdutZwm9lOUidkxHg6Mmu4ZVt6T5Qu/Uv985BVaX1YaE1R qFGATolLm44+tTluQHMQgWT6HQcVH4WkgdTDAje8B76RJbxvTDkued7xSKXINf5TbEwWTSl8 qdrVBrlgzoJOjIl7G3ajNF7gblFqxy9uRNw34/UYJmUNPVgeKPdYcgaTndFUspISiBNHp+wY 44JAuEcP+hXspP9qkMNoxWwCgajCv3hxD9ViHDq0qM3yPghHALc0QA8A94CrnbZodPoP6kSS +C1y6zIwC3fYfxM3Tf95pXDfBQ8ofGKUrJ7bM3cyVMxGAPekFqfs5blMC+V1ukWqWiU9e5gV eyti2I9tg5+vCGiy8ExgYbGmowb0ErL9TllwIkrP924TlZ2bNy4HZZeuSyXM5Z7T8cjTm9np Cs0xL0LtYK5cSUFy5kqwx3SZ+CHfoWM7B/vSOacLDl4iX9rZL6ygwi+/Vajx+D6S8K63lFKr i9fndnNsHAAzwLc6tSHSvp85EuuxTaP2xjJ6u5eJUA0m6jbJ4Q8zbEukJcYrEfNHjfulUnrk KObcl8o9vam5uj7eLnquJGROo5uhgz6MqkigtGzDfo8PwQUQmSW9/qw2Kft8EHkWrlHivk7n 6/Eu53EIcQbu7W5AxNL3YY59hi/Djan38oAkHUbKl9OZQiJgJLzO17UJfD1Ffe/jEqokDds3 /3GJKTtAo3XIXjYi7fuY6x961BGxAop199f45xUCrMbLP3uRED9rN3YDhknPAyo2+vrFclx2 4cEVW6RDKKVLLnevUGG6+8uOeWBYI8YtC74K/c/5v7uiXE5mUUafamsxZYXcm63Hu94LEqDe 3rjntcBHHwQvgUkSOzqhl+CXSROaHmsR6484Co0B5q8DYjfXoCtnKCB3CCjE5FLfmxGEEyDE W/0d4WYXPcBcD6dIsh4kjAdSbehT5Ih2gq1uQ/hy7tnK/LU9TcCuZLi0th1/ezTmgso+Tx6F cTOm12KGkpzhysjQyI8lPR0plU4wVOe24B5heZZHJpd/aUafB09MMvmxuh0Q/LvXA2JKs2EU 1uvWN6mKSs4StwzhdMDNRUuU+6+hwzOinL5S4QekKaGUdltqvq0NxnZIs98zy2Dz6w9lxw9R dMJM2S6h6l5/gyVBojTkkzfmbz5Pb8E0nvr82GOhXGLoFkeSBR5BL/IRn0WfEDWhc7w4k3AC bOjWvw8KgUU8ceZMeNRb8Hxy1BPRfPtItPbNni8gGq5Hx2I7qmFaIToPWkQj23GEEZRqwkI5 j6dMBQmQCesp2WLFDt1CVfmeF/h68Fk7WuyVVQ51R/MdURl2bjz9hN9aeW0bfQV0/pEvS4gr 24xB1Ohx5fNDMLGoQN9faJaaNd74VFd1GufuRYvdpqnZ7tvgFITaWEV9wvnygl3B4NckMMrs GJizQx8Lrid2U9AcDXQ1I75O7neIG3/tB61bKue1lbb2deQsqABjZZw40/upwygDEEi229u1 9dXlXeRp93LAAcUTZPtQxMv7REp77reYyQ7+8bVzSg1afjy6GSanYhyWq10l0XFHZ8XKq6PG Q7sHtdPAsGvLLdvgF21dlcfO/gU8qcoPsSgfv/A2aixPe8mkij16AYPqI17zE+I8DJxD+DS2 JNQieuVxQaOTTz8pE2ots7134xJL2J3fCL32W3/CYhda7cnN5wGEmqnOca37s93g5DvHXJVv g3rFxYN38mnfgCXZlr20FhL1EgZlnegnDOx0z1+lzxBQrO35CXV2KyicRMGPjUOX2x+lRL3J pDyidkGXU+uZgxvlR2/5E+8ybIJ7Kh4KmDSRw9PcU2UZyl4X7C9v6CJY+ZV4Zcms2NbXaywb EubRbj0vxYBm3q7Ti0En2h9LWr0/MSk1xVhwHqQNnNysGbUdaQSjV/E6drQSOQQljsKSS9ki CXGU121Pt2n59KRxN/ItuGzUX7kV4UGKHG6i9nb7G3hvjMsUEDs+pL70sfqGgU7zyLhgtxjV CGT6Q35fpGuzKOid+RuYkhvAlb4rct8AIB31IUq1/RykTAXgIuY+X0fnCL9K9JejOjkYWEAT CQAw/bP6Qzr2gtvIzjaouCxHmXY2cZna9SgNykM1zkw5tpBCI+O5bhKn215rxDr5RKUav97k DAHzPIo43NPmOAFtj0mySCFC6wTF01VbkmO31yYqsqzp6JNaCOzYKC9gQBgyMu5AujI8UlMH Wz0cZA4EWps49VjZRjShWbr5NisfcmYOtsXslf8fw7ot+FOM9pxk/MLgXEiImfhpTg+zPZ9i xVy3Ja8tYzBKmN3/av/DAQKfjHyYsoS/Hnqg8M81o6O2JuzG5x6BjgRdIGtVfuzCz8Iq7L9P gKAEnswpz+XFKHeEgmW9Ep95yuXQtbxbCnRfiJHi4Q/DBCGQS4XyBgZRjA7goI0Gkixycrtf V04rjEd61jkqwddn+JlMx6sGmzbpQqudnI1UM3GdEsQtFoaoR2Ob4rPs7EWfWkQ5JCqoQ2TJ 3bOYg1JCTpMQUmYHxX4OaHo49Dc8u+eD+74Lv3UYLzIp/YNMpXAjZ+pzIZi+C6Bc8uVOXw3R ec2wUdKR3t5M97QnzsNDSAa3XGoDYbTtFKn9yt7o9rquuzsQx7q7JCTBqF6K5B38gutjL2dc fSZgCh7bzpVnMBppzeA2P0U21gcjDtrfj+mHOEbtCLDe6nXn7deEx8Rby4gfNsN9a832RNBf NLKkt6gnKAtleY7Uh0WMD6p0tHsf8EBJHuxcU/KFFrefqrTPiXFmonycevrQLlUxo28UjWqs DKVEQnvM2bb/9EGfwqmNe9Oyi2WbkU2UGCVaFN1AHP4Qcj4LAeyNNF1yzE7k+Rcuw==
- Ironport-sdr: 67065820_HbqgEK2LPbxSR9FHr87dP8WD8xpHq+kUYwjCG6H+PLcjWia iKSnQYLr8MQFc3L69AoZugVbrOLMn478wjAg6wg==
Hi all,
The Department of Computer Science (https://www.inf.ethz.ch) at ETH Zurich invites applications for an assistant professorship (tenure track) in computer science with focus on Theoretical Computer Science including:
● Automated and Interactive Theorem Proving
● Logic
● SAT, SMT
● Semantics
The application deadline is January 15th, 2025.
For more information, please consult <https://ethz.ch/en/the-eth-zurich/working-teaching-and-research/faculty/faculty-affairs/ausgeschriebene-professuren/ingenieurwissenschaften/APTT_Theoretical_Computer_Science1.html>.
Kind regards,
Ralf Jung
--
Website: https://research.ralfj.de
- [Coq-Club] Assistant Professor (Tenure Track) position at ETH Zurich, Ralf Jung, 10/09/2024
Archive powered by MHonArc 2.6.19+.