coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Opening for assistant professors w/tenure track at Aalborg University Copenhagen
Chronological Thread
- From: Anders Schlichtkrull <andsch AT cs.aau.dk>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] Opening for assistant professors w/tenure track at Aalborg University Copenhagen
- Date: Mon, 5 Dec 2022 13:42:55 +0000
- Accept-language: en-US, da-DK
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass (sender ip is 130.225.198.192) smtp.rcpttodomain=inria.fr smtp.mailfrom=cs.aau.dk; dmarc=pass (p=reject sp=quarantine pct=100) action=none header.from=cs.aau.dk; dkim=none (message not signed); 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=N4AoPyhk6dOCG5no48+RW14wr+lv6AtvcuNrO6FghZY=; b=gZxawEH72YHgPLMO4pPpctwHaIXiOcuuw8PRjbdwSAePGN+T9vWUAvamoX9dCvyEZqw9uHOk5+bLGOlyd6nFXZz/aGhmL5geHZB9OWVf6TD7quLcgRbPrQrtXr7RnXhy+KnQOPS+drto+N7fFeYKcCa7K1QBUEFFKKt2VLce8WTlR2MC1vxCeDhtJuHGtFms2UzBkQEnv7GW+VV2LZlMQbHbIaW14uSflU+lZ2p8In9fmUYCGzyyR4vVK3rRBMNMmWPtfbhiLNeb/vw9UDau2gNPGreODRQBiyn5i1NaMCG/F/ZPM1B/59obddMLgJdRLEq5HhEBTkspBMnuil0fLg==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=FORF6b48OPu0z4GIDhIRRmBkl9qhgPPSq3jD60045NfWnN5Q85ZcihV94iJyA4F1oBZ2ENuoTuNyD0vSTq0gE+SHeuP2PlHvCkR6f6U8K9c4JsBc2tbCgNR+R59pxvvZbfuuB3SN1MgjDWpA6JPNBUAB5q9jk3KybnXfz4VLITZfZtyQCNFhLn5tn38zvw5FfTxVsZ/AUzMpuv69omdBH5fgW3SDtBxoYNzO/Bs22pKyRSaRbhS+f2ZjaurJcCr5zuZZNksTjQL2lStPjZyNzoee7OU+JjSbdj2hanTJgDoUZXQ7xjD64vHae1kXpo4b2Z9f45uKUi6VpNm57GcAUw==
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=andsch AT cs.aau.dk; spf=Pass smtp.mailfrom=andsch AT cs.aau.dk; spf=Pass smtp.helo=postmaster AT EUR04-HE1-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:Eq/laal3Nhh2ou9a/Vp/+mfo5gzaLURdPkR7XQ2eYbSJt1+Wr1Gzt xIZCm7SOa6KNGP8Kd4lPImz8R4AvJbSnd5kSAtl/ytgQ1tH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTres1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82MyYzx8B56r8ks15q2o4G5A5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1RPFgIO7YX4N9ZW11e3 /4kFjEmKUyc0rfeLLKTEoGAh+wOEfOzYMY/lyglyjvUS/E7XZrEXqPGo8dC2ys9jdxPGvCYY NcFbT1ob1LLZBgn1lU/Ucpi2rv3wCCkNWACwL6WjfJfD2z7xQp9y7PtGNHOPNWDWINZnS50o 0qWpjunU0hBbLRzzxK98lCpr/3Qmh/4AptLM4ezy8NYvGCMkzl75Bo+DgLg+qHg0CZSQel3I EsNvyEqsKIa712uVtC7XhuioXfCsAR0ZjZLO+gz6QXIyqeN7huDXjQAVmQZNYZgs9IqTzs30 FPPh8nuGTFkrLySTzSa66uQqjSxfyMSKAfueBPoUyM608Ddpro8lCvhFOpzOqyJsNzeXm3vl mXiQDcFu50fissC1qOe9F/Bgi6xqpWhcuLTzlWLNo5CxlMpDLNJd7BE+nCFta8ffd/xok2p5 iRVwJPBhAwbJcvV/BFhVtnhC5mHxp5p2hX8jFp0Hp8i9lxBEFb7JdkLuVmSyG9UL90FfDbgC HI/VCtU7Z5XeXunNKJqedrtD9xwlfW6U9P4SvrTc9xCJIBrcxOK9z1vYkjW2H3xlE8rkuc0P pLznSeQ4ZQyWfoPINmeHrh1PVoXKsYWmDi7qXfTkkvP7FZmTCTJIYrpyXPXBgzD0IuKoR/O7 /FUPNaQxhNUXYXWO3eIqddMfQ5RdyZkWvgaTvC7kMbTfGKK/0lxWpfsLU8JIdUNc1l9yrmYo ivgCxUwJKTX3CeXeFTaApycVF8fdc0m9iljZHZE0aeA3nkoe4G066kDP5IlYKMqnNGPPtYlJ 8Tpj/6oW6wVIhyeo2p1RcCk8ORKKUr37SrTYHLNSGZlI/ZIGVeTkve6JVSHycX7JnHq3SfIi +b8jVyzrFtqb1gKMfs6n9r2nwvg5SZMxr4vN6YKS/EKEHjRHEFRA3SZppcKzwskc30vHxPLj lbEMgRSvuTXvY4+/f/AgK3O/c/jEPJzEgAeVyPX5Kq/f3uStGey455yYMDRdxDkVUTw5PqDY 8dRxKrCK/EppgtBnLd9NLdJ9pgAweXTiYVU9SlaOUnaTk+KD+pgK0aW3MMUuaxqwKRYiDSMW UmO24d7Oou3BcHMSHosJCQAVb2d5PQphzOJ06wEJRSj7ipO4bGnc1teECeOhANZMrF0bZ0p8 d06spRH8Si6rAQgCfedryVu72/XBGcxY6YmkZA7AYHQlQsgzG9ZU6HcEiPb5JKuac1GF1sDe xu4pfPlrKtN4FjBaF8xGmr95vVcjpEwpxx69l8OCFCXkN7jhPVs/hlu3RkobwZS3DNV+vlSP zV1CkhLOqm+xTdkq8xdVWSKGQsaJhm4+FT0+mQZhl/iUEikeWzcHlITYd/X0hgizFtdWTxH8 JWz6mXvC2/qdf6s+BoCYxdurvi7QOFh8gHHptucIP2EOJsEMB7Fma6lYFQapyT3Wf0RgFL1n sg03eJSR5CiCwsujfwaMae4244Uaii4H01ZYPQ4/Ko2DWDWIz6z/j6VKnGOQMBGJt2U0EqeG ehrCMJDbEm93TevtREeP7YHeJVvrc4q5f0DW7LlHnEHuL2htQhUsIrc2yz9pW0zSfBsrJoNE ZzQfDe8DWCgv3tYtGvTps1iOGDjQ907SCDj/eKyqsMlKokitbxyTEQMzbeEhXWZHw959Rayv gmYRav3zfRn+Lt8jbnXDaRPKAWlG+zdDN3S3liIjO1PStfTPePllQAf8ADnNjsLG4ohYY18k LDVvePn2E/Agq0NbFnYvJu/Ro1p/sS5WdRFPv3ndEd6mTSwY+6ywh8h1V3hF7l3voJz2s2VS TG8SvOMTv8OetIExHRqeylUSBkcLKLsb5bfnyC2rtXSKx07wyjCAtOrziLqZHB6bQ4NAYX1U SXvisat5/dZjYVCPwAFDPdYGK1FIEfvdK8lVt/pvxyaMzWYuUyDsb7cihYQ0zHHJX2aGsLc4 5ieZBzBWDmtmaPPlvd1jpdTu0AJMXNDnuUAREIR1NpogTScDmRdD+A8M40DO65EgB7Jy5D0S zHcXlQMURync2x/Tiz9x9D/UiO0JO8EYI75LwN02XKkUX69AYfYDYZx8itl3WxNRQLi6+OZe OEuoii6elD7x5xyXu8c68CqmeotlLuQ2nsM/lu7iMDoRQoXBbIRznF6AQ5RTmr9HtrQkFnQb 30ALYyerJpXlWaqeSqhR5JUJP3dlB7S9W10KAeimZPYsYjdy/BcwvriPe21yqcEcMkBOL8JQ zXwWneJ5GeVnHcUvMPFfvo31LRsB6vj8teSdcfeqc86xslcKVjL++sJhmwGRdxk9A03/5b1i Gy3+3ZnbKiaABk55VBVoDnlP7p6STQFBiyPgA2XSfoqV/Am54CxRiVGBz4X5X09R2YPcqmYr PovgJ6tnmCr
- Ironport-hdrordr: A9a23:Y/jYLKiVOGGgdaGTDo9T23xD8nBQXrQji2hC6mlwRA09TyX4ra GTdZsgviMc5Ax6ZJhCo7690cu7LU80nKQdibX5Vo3MYOCJggaVEL0=
- Ironport-phdr: A9a23:YI539hGcpZvomhi+GSfJbJ1GfyVEhN3EVzX9CrIZgr5DOp6u447ld BSGo6k30RmQAc6Gt7oE07OQ7/q8HzRYoN6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I RmorQjdrNQajIRtJqsxxRbCv39Ed/hLyW9yKl+fgRnx6t2s8JJ/9ihbpu4s+dNHXajmcKs0S qBVAi47OG4v/s3rshfDTQqL5nQCV2gdjwRFDQvY4hzkR5n9qiT1uPZz1ymcJs32UKs7WS++4 KdxSR/nkzkIOjgk+2zKkMNwjaZboBW8pxxjxoPffY+YOOZicq7bYNgXQ3dKUMRMWCxbGo6yb 5UBAfcdPehWrIf9pkcBohSlCAa2GO/vzyVFimPq0aEk1ekqDAHI3BYnH9ILqHnZsNP1O7oMX uCv16nD0CjNYO9W2Tf56YjHbhAhoe2PXbJqbMrRzU0vHB7Cg1qKr4zqIiiV2fgNs2WA8+VgT vijhHQ9pAFsuDSg28Qsh5DPi4kIxV/K6T93z5wpJd2kVkF7e9ikHYNRuiyeOYZ6XN4vT3x1t Cg017ELup22cSwIxZk6xRPSdeGKfoaW7x//W+ucJTh2iG9hdb+jgxu8/kaux+L8W8Wp1ltBs yRLkt7Jtn8X1hzT7NCKReFn8Ue8wzqAygPT5+dZKk43jarWM4MtzqI/m5YJvknOHDX6lFj4g aOMdkgo5PCk5/nlb7n4vJOQKox5hhvwP6ksgMCzH+U1PhATU2WV5eiwzqPv8VP5TblQk/E7l qrUvIrHKckfuKK0BRJe3Jw55BalFTim1cwVnXkZI1JBfxKKl4fnNF/SLvzkAvqzmlainjh2y /zfOb3uGYvCImLEkLf8YbZy8ElcyBc1zd9C/Z5UEqsBIPXvWkDvqNPYEh45Mwuyw+r9D9V9y 58eWWaIAq+eM6Peq0OH5uUqI+WUZY8VvijyK+Q96vLzkXM0lkURcKar0JcNdXy1EO5qLkWHb Xb0h9cOC2YKvg4wTOzwj12CVCZeaGy0X60h/TE0FIKmAJzfSYC2mrCOxj20HoBMam9bCVCAC XHoeJ6cVPcWdC2SOtNhkiADVbW5VoMtzQuuuxPiy7p7MurU/TUVuo7k1Nhs/uHciRUy9SFvA MmGyGGMT2R0nnsSSDMs3aB/p1Z9ylaZ3qRijfxYD48b2/QcGAw9LNvXy/FwI9H0QAPIONmTA h7ySdK/RDo1U9gZwtkUYk87Fc/03T7Z2C//KrkZmqaQTKc/8qbd1HjtJNxgz3KOgKAng0ItQ uNELiuvj7M5+wuFVN2BqFmQi6v/LfdU5yXK7mrWlQJm3WldWQ90C+DeWGwHI1HRppL/71/DS LmnDfImNBFAwIiMMPgCccXn2HNBQvqrI9HCeySpgW7lDBCE3biMRIHxPWwUwWPRCxtMiBgdq E6PLhN2HSK9uyTbBT1qG0joZhbl9+Vlo3OTRVRyxgiXKUFihPKu4hBAvfWHULsI264c/icsr zIhBFGmw9ffEMaNvSJMQZ8EPZYdzQ4C0mjU8QtgIpanMqZuwEYEdBh6tF/v0BMxDZhclc8tr zUhyw8axbuw9lRHenvY2JnxPueSMWzu5FW1bKWQ3FjC0dGQ86NJ6fIiqlylshv7Xkwlu25q1 dVYyR7+rt3DERYSXJTtU0026wkyprfUZTM47p/V0nskOLe9szvL0dYkTOU/zRPoc9BaOaKCX Aj8dq9ST8GoJPchm3CidVQNNf0U+K11d8Kqev2a2bK6af56lWHuhmBG7YZhl0OUonMkFqiUg NBcmLfFhFjiNX+0llqqv8HplJoRYDgTGjD60i34HMtLYaY0e48XCGCoKsnxx9NkhperVWQLk TzrT14AxsKtfgKfKlLn2ggFn00RrWesmQOz1Hp9mixvoqnVj0msi6zyMQEKPGJGXjwohFHgO oO0p9sBGkGhck4ll1H2rVa/zK9dqqNlKmDVSkodZCn6IVZpVa6ov6aDacpCgH8xmR1eS//0I VWTS7qn5gAfzzumBWxVgjYyazCtvJz92R18kmOUanhp/jLVfsR5xBGX49K5J7YZ1zwKXyJ4o TLMQFG1Ip+l/p2YmozCvea3S2+6HsQLLW+3ksXZ723mvyVjGlWnkuq2m8H7HARyyiL929RwF ECq5F79boTty6WmILdid0hsCkX77pkyEYV/n40swZAIjCFC2tPJojxeyiGua4Y+u+q2dncGS D8VzsSA5QHk3BcmNXeV38fjUX7bxMJ9Zt68a2dQ2yQn7skMBr3Hid4M1SZzvFe8qhrcJPZnm TJIg/Io5GURg8kCo0wkxzjbDrNYTiw6dWT80g+F6dyztvAdbWCjarOw/EFl29moEfeOoUsPE Ga8cZAkEyhq68x5O1+Zy3z/5Lbvf9zIZM4SvBmZwHKix6BFbYg8nf0QiW97KHrw6Dc7nvUjg 0Ukjtmq+ZKKIGJ38OelDw5EY3frMtgL9GiI7+4Wn97Kjdz3WMQ7XG1NBNyxELqpCG5A6ayhb l7RVmV68jDCR/LeBVPNtR0g9iqXVcjtbzbOeBx7hZ1jXEXPfRQDxlxLGm18xtlgSUir3JKzK k4hv2JIvweqpEcUkrA6cEWvNwWX7AawNGVuQcDGfkMPt1NMux+OY57ZsrM7HjkGrMeo9FXfc zXCNQoUVTpbChTcXwKxeeT2gLuIu+mAWLjkJqOXM+zX8L5QC6/Tl5n3itM0rXHRb42OJicwV fRjgxgaBCkrFZiBwGcBE3RPxXCKMpT+xl/0+yt8qt2z/abwQAzjo5OVDKdfOslu/BbwhrqfM +mXh2ByLjMQk5oIwTWgJKE35FcJkGkucjCsFe5FrivRVOfKnaQRCRcHaiR1Pc8O7qQm3wALN 9SJwt/y07d5iLYyBTInHRT5ndq1YMURP2ynHH76Ph7XcZSrfHjMycyxZr6gQ7pNiukSrwe3p TuQD07kOHKEiiXtUBesd+pLiUT5dFRStZq8fRBkFWX4BIu+Nlvnb5ku1ntrm/U9nTvSOHQZM CRgfk8FtbCW4S5Cw71+F2FH8nt5PLyEliKevIy6Yt4dtfpmBDgxlvoPuSxmjecKqngfAqEvy 06w5pZ0rlqrk/eC0G9iWRtK8HNQgZ6T+F9lMuPf/4VBXnDN+FQM63+RAlIEvYgAaJWntqZOx 9zIjK+2Ji1F9oee9M0QHMPUAMmcdnMoLFzlG3SHaWlNBS7uLmzZi0FHxbuK8WaJq5EhtpX2s LczcOcHEXwYT7YdAEkjG8EeKpBqWD9iiaSckMMD+Xu5ql/WWdleuZfEEPmVBL+8TVTRxakBb BwOz7TiKI0VPYCuwE1uZG5xm4HSElbRV9RA8WVxKxU5q0JX/D1iX3U+jgj7Pxi17iZZRpvW1 lYmzxFzauM3+HLw7kcrcxDU8TAonhB5mM2502zJNm+rav/2BcYPVmL1rxRjbsu9Gl4qK1X0x Qs9alKmD/pQl+cyKDot0VeE/8MJQbkFEeVFeENCnKnLIal3lwwa8mL+mgdG/bWXU5I6zVlzK Mf+oS4Yg1AxK4JlQM6YbKtRkAoKj/rX7Hbxj7I/nFdFdRRKrDLaeTZW6hYBbuB0fnPxrOIws VfQy2MbIDpeEKdyx5AivkIlZbbaxnq5gecacxK/a7TEfajB4zCSx4nVGxsxzh1azUAdpOovi J5xfRbMDBIhlOPJRUZOaJCnS0kdbsxZ8GXfcHSVqevBh4pvOJmwHfzpSunIs7sIhkWjH0AiG IFEq80FGtPEOKTwJtyhJbcYjxkutlyDzLqtB+8PcRuW1jsE8ZjXJH5f8LRnfm1YIUgkdCK96 /DQuxMgh+eFUJEueHAGU4AYN3UwHsqnhypeuHcGBz6ygLtx9Q==
- Ironport-sdr: 638df562_8admihANxvB0vHlL17VzSCG0MTCztbRAtnsVfjk0J49L8im Dv7DGXT5HOrq3b4MH8hKdBWbqaedpqbuO4NdqbQ==
Dear Coq Club
Aalborg University Copenhagen is again looking to appoint a number of assistant professors (with possibility of tenure-track) in computer science.
Aalborg University Copenhagen is the Copenhagen campus of Aalborg University.
The deadline for applications is soon: 1 January 2023!
I work as assistant professor w/tenure track at Aalborg University Copenhagen, and I hope that someone from the Coq Club mailing list will be my new colleague! :-D
You can apply here:
The deadline for applications is soon: 1 January 2023!
I work as assistant professor w/tenure track at Aalborg University Copenhagen, and I hope that someone from the Coq Club mailing list will be my new colleague! :-D
You can apply here:
- [Coq-Club] Opening for assistant professors w/tenure track at Aalborg University Copenhagen, Anders Schlichtkrull, 12/05/2022
Archive powered by MHonArc 2.6.19+.