coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Assistant/Associate/Full professorship in Copenhagen or Aalborg at Aalborg University

From: Anders Schlichtkrull <andsch AT cs.aau.dk>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Assistant/Associate/Full professorship in Copenhagen or Aalborg at Aalborg University
Date: Tue, 9 Jan 2024 15:24: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=reject pct=100) action=none header.from=cs.aau.dk; dkim=none (message not signed); arc=none (0)
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=n6T7tL1XhTPKxvA67JwuAPYKHQbkrGqijTTXbD3FRJY=; b=f3Lt/PtVL4QOZm+V2bFtbqIZaJEhdwI3g1vP2B/zH1ONhgLHvHWbIYsyaNUaNOQSuBK96aisNkLm3677jlg/ATQM6gd+dsLJ5Ox//o7cocecsQizKo2oS/+R5txfUwkgFlYFar1U1JSJJu8Kf4Ey0r72r4bnniDUq0s4k/86EMU7JHSs08bXdDS2Ww2RdM++mXcKzXtPDdRfxYLOcuZWoRj49wVE2c4cBD5GU3Gb+PS0/fpG7r4JTpoQyGcqUgMZb83pLV/Vjmet6w3v9PITI8iw6m0mByluvF6X/VipVsq4rVQCWYLyxjq+Ma3MuiTdF9rtKvf293oHb6ZVFEcCLA==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=k+6l74kvTyIlZls+JcBbKEdBte8YCtPIyQ39SEeJa7PoHTFBzThzQW/CLxFzgXwKfbjiMRZl9qySysmpOl/0TFgHGYIwhzIJ2epleNfF+VS/8y1WrbNpG45+Lgx87uvzqGajwtMemf/SG+d6r52RIbKiwE6zC3Ivgj+5Rqw4/rXr1FlU49pl8Umrv3NBcYcT8QdB67eutjHt7IrSG87dMrNoget1ZEc28el3esFWvT/+OF3IEDvHTeKio7Si/FNOWO21ZhW6l2altQfE78C3Nbik8WLokez9j8Ib4YQ4GqmGCiDZc7xhIsgBxwqARG078pn9gbl0agA6oX98jqtjPw==
Authentication-results: mail3-smtp-sop.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:KlJfYKn/tGuaNrL39XYZrf7o5gzzLURdPkR7XQ2eYbSJt1+Wr1Gzt xIdWGvVM62DN2T8etwnO4/i9UwAusXVmtM3QAJsqno1EFtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayaj58B56r8ks14Kyr4GJA5TTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1fPW0fP9Uc/d1VOmF2q NUqNW4EMi+M0rfeLLKTEoGAh+wOEfOzYMY/lyglyjvUS/E7XZrEXqPGo8dC2ys9jdxPGvCYY NcFbT1ob1LLZBgn1lU/Ucpi2rv3wCCkNWABwL6WjfJfD2z7xQp9y7PtGNHOPNWDWINZnS50o 0qZoT6mXktAZbRzzxLZzmLrvvXCox/iXaccEuCkz9hR3HOckzl75Bo+DgDh/abRZlSFc9lYM gkf/jckhbMj8VSiCNj7RRyx5nCe1iPwQPJVGuw+rQGAk6fJ+V7FAnBeFmMYLts7qMUxWDomk EeTmM/kDiBut7vTTm+B8rCTrnW5Pi19wXI+iTEsfDopytu7pIYIrCnPdotKIrPrh4HKFmSlq 9yVlxQWi7IWhM8N8qy0+1Hbnj6hzqQlqCZkvm07uUr0tmtEiJ6ZWmC+1bTMxdhhRLt1o3GEt XkA3siTte0TF8nRkDTXGLhUWra0+/yCLTvQx0Z1GIUs/Cis/Hjlep1M5DZ5JwFiNcNsld7Vj K376Fk5CHx7ZSDCgUpLj2SZVZVCIU/ISoyNaxwsRoASCqWdjSfelM2UWWae3nr2jG8nmrwlN JGQfK6EVClCVf02lmHrG7ZAjdfHIxzSI0uCHfgXKDz2iNKjiIK9FexZYDNik8hlsvzY+1WNo 76zyePRkU4ADraWjtbrHX47dgtQcSdT6WHers1cbOmYJQR6UGomEee5/F/SU90Nokihrc+Rp ivVchYAljLX3CSbQS3UMCwLQO20B/5X8ylkVRHAyH7zhhDPl670sPxAH3b2FJF7nNFeIQlcE KVZJpvbWqseItkFkhxEBaTAQEVZXEzDrWqz0+CNO1DTprY5H1WVqOz3NBDi7jcPBSeRvM4z6 e/onADCTJZJA0woAM/KYbj9hxm8rFoMqtJUBkHoG9h0fFmz0Y5ILyeqsOQ7DftRIjr+xxyb9 T2sPzEmmcf3rbQYzvz1lIGfjoLwE+JBDktQRGbayrCtNBjlxGmowK4eceW2Qw3ffTvQxaWMQ N4M0cD5DeANx2gSgo8tSrxu9L81x/nxq5BkzAhLGGvBbgm1BoNaOXPcjNNrs4tTzIR4oiqzY FqEofNBCIWKOeTkMV8fHxUkZeK9zsMpmiHewPA2AUfi7gpl1eOjfWQLGDKTmQpPL6BQMow38 dw+ucUT1ROzuiAqPvmCkCpQ0WaGdV4EbIkKqbAYB53NmCMw61Qff6HZNDD60KuPZ/pILEMuB D2e34jGprZEw3v9Y2gBLmfM0cVdlKYxlkhzlnFaHGuwm/3BmvMT9z9S+25uTg1qkzN249gqM W1vb0BINaGC+glzv/d6XkeuJhpgASOI8Umg2noLk2zkF3OTbFLvF1FkG+ix/xE+yVl+Lxx75 7CTzVj3XQn6JP/R2jQAYm87ivjBY+EoyCj8tpGGJeqnEaM+QwLZuY61RG9RqxLYEcI730LGg u9x/ddPU67wNA9OgqgdGa2f+7Qcc02HLX1jWtBkxrsCRkvHSQGx2B+PCkG/QdxMLPr06n2FC 9RiC8ZMdham3gOMk2wrPrENKLpKg/IZ3toOVbf1L2ogsbHEjD5WnL/P1yr53kkHfs5PlJsjF 4bvaD6yKGycqn9KkWvrrsMfGG6ZY8EBVTLsztKO7+QFOJISgt5CKXho/OOPgEyUFw978za/n gDJPfbWxtM/77VcpdLnF6EbCjikLd/2av+zzzmylNZzdvLKD9bFslIEi1vgPjkOB4ArZfZMq e2vvuL0jWT/h5Rnd0DCmpKEKbtF2tXqYspTLfDMDSd7mQmsZZbSxiUtqk6ELa5Hqtd/3vWcZ hCZbZKwfOEFWt0Gy3xybTNfIiknCK/2T/nBoAWvi/GiChQmjA/OPfK81HrTdWoAXDQ5C57/L Q7VuviV+dFTqrpXNiIEH/1LB5xZIkfpfKkbK+3KqjiTC1e3jmO4urfNkQQq7RfJACKmFPnWz I3kRB+kUjiPo4DNkc9ktrJtsi0tDHpShfc6emQf8YVUjxG4FGs3EvQPA64ZC517kj3A67+gX WvjNFAdMCTaWShIVT7e4965BweWObEoC+fDfzcs+xuZVjeyCIa+G4BezyZH4UptWz7d3eqie MA/+HrxA0CL+atXZ90vv961veQ24cnh5CM4yRio2Yi6SRMTGq4D23FdDRJAH36PWd3EkELQY 3M5XyZYSUW8UlT8CttkZ2UTIhwCoTfz1H89WE9jGjoEV1mzl4WsCcETOt0fFpUuUf5SePsua CqyQGGApWeLxnYUpK0l/cozhrN5Au6KGc78K7L/QQoVnOe77WFP0wYqg38UVM97kOJAOwq1q 9VuyyFW6Ie5xIR506bQwAwUvZ5yOp7JJy+clxbx/FcqjjRgp+U0uHGWIMbTIoq2oqH++UlbK NvXgIB9vHXO3AbZSfJCWjj3a7BJ7Qz91ZUJb8zwcq7Prw==
Ironport-hdrordr: A9a23:kV9JAqrQMTCO1fX/EdbtnsIaV5rdeYIsimQD101hICG9Evbyqy nIpoV56faUslYssR4b9OxoVJPufZqYz+8Q3WBzB9aftWvd0ldAd7sSircKqgeIcxEWtNQtsJ uIGJITNDSfNzZHZL7BkWuFOudl+8Of+KSkwc/V0ndqSmhRGtpdxjY8MRyDGkl6ADFbCYY0UL qQj/A33gaISDAtdN2yAnRAZeTZuNHR/aiWByIuNloc8QGLgHeS5KTnFgXw5GZnbw9y
Ironport-phdr: A9a23:PgTGQxwAXpQ9GUzXCzKiwlBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z hyZv6g8xwCTFazgqNt6yMPu8JrcEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PQbglSmjawYbd/I Bq0oAnPq8IbnZZsJqEtxxTGpXdFZ/5YyWR0K1yNgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7U LJVEi0oP3g668P3uxbDSxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5 LplRRP0lCsKMSMy/WfKgcJyka1bugqsqRxhzYDJfIGbOvlwfqLBctwVXmdORNpdVylbD4+gc 4cCDewMNvtYoYnnoFsOqAOzCBWqBOzy1DBInGT21rAn3es9EQHG2A0gEM4OsHTIr9X1LroSU eSxzKLVyjjMdfVW1irm6IfUchAsuu2DXalqfcXL00YvChnJgUiTqYH8OT6ey+sCvXSB4eV6S eKvl3Aoqxt3ojW3yckihIfHi4Ebx1zZ6yl13Zo5KMC2RUN7fdKpDplduSGaOoZ2XM4vQGFmt SU7x7MJu5O2cigHxpsoyhPDd/GKfI6F6Q/tWuaWJDd3nnNleLSnihmo60eg1/fwWdS30FtMs yFLkcHMu2gQ2xDP5cWLUPRw80W71TqS2Q3f8OFJLV0smabGKZMt3KQ8mocQvEjZECL7ml/6g LGXe0k85+Sl5fjrbq/4qpOCN4J4kBzyP6Atl8ClHOg1NhYCUm6G8umi0L3j4Fb5QKlUgf0sj 6fZsZHbKtoDq6KlBQJez5wt5AylDzi81dQVhXkHI0xBeBKAl4XnNF/BLuzkAfqwmliikjhly +3fMr3mGZrCMGLPkLD8fbZh8EFczxczzdZC6J5OErEBOvXzWlPvu9PEEh85Mgu0w+D9BNV6y 4MeRWaPAqieMKPRq1OH+uUvI+yUaI8UvjbyNeQl6ubzgXMlllIRZ6ak0JkNZHylEPlqOUWUb Wf0jtcEC2gKvw4+TOLwiF2FVD5ef2y9X6Qh6TEgFI2mDZzOSZy2gLCbxii0BIBWanpbBVCPC XvocZ6LVO8WaC2OOs9hjiAEVb+5RoM8zR2urhP1y6J7LurI/S0VrY7s1N9s5+HKiR4y8SF0A N+G3mGWT2B0m3sISCUs0KB+p0x90FaD3rJij/xWD9wAr89OB00xMoeZxOhnAfjzXBjAd5GHU hzuFt6hGHQ6Ss87694IeUd0Xdu42EPtxS2vVpYTm7GRH9QP+aLY3nPxO8Vn1nLCnP0oiVU9S ctnPnbgj6disQTQUd2a236FnrqnIPxPlBXG832OmDLmVCBwVQdxVf6ARnUDfg7Nqsy/4EreT rioALBhMw1byMfEJLEZIsbxgwBgQ/HucM/bf3r3g325UB+OyqiHbKLhYCMU1TibBEtX2xsL8 yO+PBMlTjykv3qYCTVvEVz1ZEa5+O9ys3i7ZkQviQiDcgtt1On94QYb0MSVUOhbxbcYoGEhp jFzSU66xM7TAsGcqhBJUZhmOY94wHoekGXTukp6I4CqKL1kihgGaQNrskjy1hJxTIJdjcwtq 3Bsxw13QU6B+HVGcT7QnZX5O7mMb3L34AjqcKnOnFfXzNeR/K4LrvU+sVTq+g+zRAIk9D183 t9Z3mH5hN2CBRcOUZ/3Tkc89gRr77DcbC4n4orI1HpqeaCquz7G0tgtCaMr0BGlN9tYNaqFE kf1Hah4T4CnLuAxkFiBZQlCNelPsqI3foune/aAxK+3LbN4hjv1xW9D4Y17zgeN738lErKOg 8lDmqreg1LUMlW0xE2suc32h41eMDQbH27kjDPhGJYUfapqO4ACFWapJcSzgNR4nZ/kHXBCp zvBTxsL3tGkfR2KYhnzxwpVgA4ep3C8kiuQxCcymjg06Kacln+roayqZF8cN2hHSXM3x17qL ZO/j/gRRw6hZhVvmBjvtg7qgqNcoqp4NWzaR0xFKjP3I29VWay1rrOeYsRL5fvEqA1vWf+nK RCfQ7/5+F4B1j/7WnBZ3HY9fi2rvZPwm1p7jnicJTB9tiiRdcZ1zBbZrNvSIJwZljMASDJzi RHcHR61NsTv8dbcm5rYs++4Xn6sTdUKKXWtkdzG7XD9uDQiCAb3h/2pn9z7DQU2mTT20dVnT 2Stzl60Y4Xm0bi7LfMye0BpAFHm7M8pUop6k4Y2mNQRwS1D3snToSVByDy1bIwIvMC2JGAAT jMK3dPPtQ3s2Uk4a2mM25q8TXKFhM1oe9i9ZGoSnCM79cFDTqmOv9km1WN4pES1qQXJbL1zh DAYnLEn7nIBiOEhsxFrxyyARLwRVxo9X2Skh1GT4tayob8CLm+pfaO71GJ1hpaoBazErgIWC z7pP5wlGyF39MB2NlnBhWby5o/Tc97VddsPtxeQnkSl7aAdONcrm/ENnyYiJXPlsChv1bsgl RI3l8LyrM2dJm5q5q78HhNIKmi/eZYI4j+06MQW1seOg9LzRtMwQHNTGsOvFK/gESpO56i/c V/WT3tk7C/cQOSXHBfDuho86SuXS9bzcSnQfSV8r50qRQHBdhUH3EZIA3Ni2MZ+T1/ixdS/I h1wvmlDvweh+BUQkro6ZV6jAgK97E+pcmlmEpHHdUgPt1gQ6RuNap7Mqb4iVyBAoM/7pVTUe DXCPlZGUTlSCBzcXwixbP7zvbyiu6CZHrTsdfKWOOfX8LUMWavQnsCkitM+rWTLa5zHP2E8X acyghMRBCkgScqFw25dRXRPz3CfKJPB7FK1/ik9xiym2MziQxmnpY6GCr8JdM5q5wjzmqCbc eiZmCd+Lz9ckJIK337BjrYFjhYejCRndj/lFrpl12aFVKXLhqpeFAIWcQteCfEQs+cc81AIP sTWzNToyrR/k/g5TU9fUkDskd2oYspMJHyhMFTABwCAM7HjR3WDz8zsYKy6QKFdl60N70H25 WndShSlY23LniKhTx21NOBQkCyXdAdTvo2waFclCGTuSs7ndgzuMNJzim5To/V8jXfLOGgAd DlkJhoV8vvMsmUB2bMiQj8kjDItN+SPlieH4vONL58XtaAuGSFoj6dB52x8zbJJ7SZCTfgzm S3Ir9corUv194vHgjdhThdKrS5GwYyRukA3c6zf+oJLWV7P51QE5HjWBxdA9L4HQpX//rtdz NTCjve5MDBZ79fd5tcRHeD5FfjfbD8BHEOsHzTZSgwYUTSsKGfTwVRHl+2f/WGUqZ58rYXwn J0JSflQU1l/RZZ4Qgx1WdcFJplwRDYtl7WW2dUJ6XSJpx7UXMxGv5rDW6HaEbD1JT2el7UBe woQzOayM9EILoOikR8HCBEyjMHQFkHXR9wIviBxclp+vhBW6HYnBmwrhxC5MkX8ujlLU6bzx 0N+ixMiM7h1sm60vBFvYAKN/XVV8gF5mM25023LNmepdOHoG9kRUna8tlBtYMqjH0ApMkvq2 xQjbWiMRqoP3eFpLTk50VaF65UTQaYOH+oYMHpyjbmWf6t6i10E83f+nBYV67edUskw01d7O Z+08SAa0lo6PodsfP7eePISnAgI3vrc7Gj1joVTiEcfPxhfqmrKIXxR4RVaOOV+fHijprQ0u 17FxmILeXBSBaAj+qs4rxpkaercl3my3eYbchLjcLHFZ+aQv2yK/SZpan4N7BtU0mlopP1x2 8pldFeIXUcyyrfXDw4OKcfJNQBSaYxV6WTXeiGN9+7KxMAsV21SPuvzC+aHqeAYgRD9dO7MN 48XqM0IA9+g0xOARfo=
Ironport-sdr: 659d654c_YznXmqbVBYBfMWFIsuCgdURUnGuG8ajBwCsYXCO9xl9sair nfdpsjra8ZMdXMFAO5FmMP5+BUhWuSL7yj9DIlA==

Dear coq-club

We are again looking to appoint a number of assistant professors (with possibility of tenure-track), associate professors and full professors in computer science.

You can apply for both the Copenhagen campus and the Aalborg campus of Aalborg University.

The deadlines for applications are soon!

I work as assistant professor (tenure-track) at the Copenhagen campus, and I hope that someone from the coq-club mailing list will be my new colleague! :-D

From the ITP community we have here also Jonathan Julian Huerta y Munive and Léon Gondelmans who you may also know.

You can apply here:

Full professor, Copenhagen or Aalborg, deadline 1st February: https://www.vacancies.aau.dk/scientific-positions/show-vacancy/vacancyId/1216825

Associate professor, Copenhagen or Aalborg, deadline 15th February: https://www.vacancies.aau.dk/scientific-positions/show-vacancy/vacancyId/1216940

Assistant professor with possibility of tenure track, Copenhagen or Aalborg, deadline 15th February: https://www.vacancies.aau.dk/scientific-positions/show-vacancy/vacancyId/1217131

Cheers,

Anders Schlichtkrull

[Coq-Club] Assistant/Associate/Full professorship in Copenhagen or Aalborg at Aalborg University, Anders Schlichtkrull, 01/09/2024