coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Associate/Assistant 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] Associate/Assistant professorship in Copenhagen or Aalborg at Aalborg University
Date: Tue, 4 Jan 2022 14:16:22 +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=quarantine sp=none 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=nVCxTcj3K3OYOKeCfF7jxlcH7FCx90vDe8r4HPbHjUI=; b=DJX2Y5fBW3mLNA0g3n2s214vzVCYV52b/FU0fU673Zfw0PtWYYp9XqW3wbhUM0NDHkP0PbUs0Gl3WDon2OHsEDK7gSIbWJ5hQ4l/HyuGR59Taql9r1TW4NOzDR1lfBUhDCWWNaryzNllWXs6LD59EdHhdxQWSPGXH8i+15AWVaoJ/oNYrI9xOFshBP0Kbsma48tscWP1C2yzGNsA3EdAKbZRwmtDz8WR4H9ZOBL7F9iIypIgNGD1yaonjEG83DruSXPx+Uxy/EUyX77lVG4/GOOPJ/xz0PhjCgQ+Xuz2x0NaHvLKTz8+ZxZurWAzZvjHCPXCg62YTEQecItV8XQXTw==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=XN/W/1hiyB0vzVtukJCyavQlGThpgsSq4lOEJ0cXMQrhIYw+Mv0NC7pUOxF6To6itHzdOM4afmLyAPzmcbp4o6ydcwAFSEp5oSFw++HOMXHk3W67h+SXJ/RR//Opl4nmkAA+FNxHz4nKIpaugeu2mcaHEBuQGHAh2SSSeWn7AJ3lISTGCuRgBiurBmoGJzApskXgRKxiP0osBvxQX/NLYtGmcHnSbXs11diU6yC+fGGP2Go11X90hCzFAnaFMfmoSkUpy1z6nguILE7+aoJzgFrUbM2lWfV0/02sL1QajEH3eKQWaEe7YGup1Z6VRK4X3e3x+86BoXTOeHoPrmMkvA==
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 EUR03-VE1-obe.outbound.protection.outlook.com
Ironport-data: A9a23:kBq7gKDn5bhF0RVW/wHiw5YqxClBgxIJ4g17XOLfBFG50mkr1TVSxjYcUW6APf7YNmfyLt9wbIWwpE4B6JWkm99gGjLY11k9FiMQ8ZKt6fexdxqrYXvKdqUvdK/WhiknQoGowPscEzmM9n9BDpC79SMmjfjQGuKmYAL5EnkZqTFMGH9JZS1LwLZRbr5A2bBVMivV0T/Ai5W31GyNh1aYBlkpB5er83uDihhdVAQw5TTSbdgT1LPXeuJ84Jg3fcldJFOgKmVY83LTegrN8F251juxExYFJ+6fyu2+TGBTB7nYME6Jl2ZcXLWkjl5avCsu360nNf0aL0BKlzGOmNM3w9JI3XCyYV5xYuuQx6JMFUQAe819FfUuFLvvKH6zqseT50bdNXLl3rNiDynaOKVBp7coXDkTnRAfAGtUNUvc7w6s+5qwTfApjcA+JuHwLYYHszdhyyvYBLAoW/j+rw/i8YcNhnFrkpkbRbCGc5BMMXw0NUWRd0YaYhFKHM1rtfmOrXzZXz19iVuzmbAR3Wn22FUpheCpb869lseiQMxUmgOGqzvL4n6hWRUCboTCkXyC726mgfLJkWXjQoUOGbak9/lsxlqO2mgUDx5QXly+ycRVQ3WWA7p3Q3H4MAJzxUTzyKCqcjU5dzCFmibf+yAxAp9XGeB87xyRwK3J5QrfHnIDUjNKdN0hsokxWCAu0ViK2djuAFSDdZWLHGmF+O78QSyaYEAowa0qPEfojjfpJ/Hou8c6hw+JQtUL/GudkIjuAT+pq9yVhHFWuljQ5PLnE42w5hbOii/qqpuhossdjunIdjrN0z6Vr7JJq2BlBZY3IBqAwEukooG9gUU5
Ironport-hdrordr: A9a23:bM7TJqsOIgdZnENS2oTRYffJ7skCq4Mji2hC6mlwRA09TyXGra2TdaUgvyMc1gx7ZJh5o6H9BEDyewKiyXcV2/hiAV7GZmXbUQSTXftfBOfZslrd8k7Fh5tgPMVbAtVD4bTLZDAU47eYkWvIdqdF/DSeysCVbI/lvgNQpGpRGthdBnJCe32m+zpNNXF77PQCZfyhD/581k2dkDksH4WGL0hAe9KGi8zAlZrgbxJDLxk76DOWhTft07L+Gwjw5GZTb9saq41CzUH11yjCoomzufCyzRHRk0XJ6Y5NpdfnwtxfQOSRl8k8MFzX+0CVTbUkf4fHkCE+oemp5lpvusLLuQ0cM8N67G6UVn2poCHqxxLr3F8VmjjfIGej8CLeSPHCNXcH4ot69MBkmyLimgkdVQRHoeZ2N2HwjesbMfqPplWk2zGCbWAVqqOOmwtqrQcktQ0UbWIvUs4mkWVWxjIlLH4+JlOz1GkGKpggMCiO3ocZTbulB0qp9VWHhubcHkgbD1OPSlRHtcqP2TRagXVipnFot/D3sE1whK4Adw==
Ironport-phdr: A9a23:kSVF5B2B5f6EIQGlsmDOwwMyDhhOgF0UFjAc5pdvsb9SaKPrp82kYBaGo6w21xSUDc3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmTowZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsipyuy+4YDfbgtGiTayYb5/Lwi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhSkHKTA37X3XhMJzgqJavB2uqAdyzJTIbIGQLvdyYr/Rcc0cSGFcXshRTStBAoakYoYTCeoOIPhXr5Pmp1ATsBWxGQmsBOfuyjBUhn/2wa460/48EQHC2AwrAtUDv27SrNroL6cdTeC1wbLUwjXYdf9Zwy3y6JXSfh88ovGBRLR9etfexkczDQ3KlEmQqZD7MDOP0OQAq2mW4u5uWO6xlmMrthx9rDayysoviYTEgoAYx03G+Chn3Ys4K8O1RVJ0bNOgH5VcqiWXOpdyT80tTW9ltyY3xqAAtJWmciYKz5EnyATea/yBa4WH+AjsVPuLLThlh3Jofq+0iRWq8UW41+HwSsa53ExFoydHiNXBsmoB2hzP5sSfV/dw/Fmt1SyS2w3Q8O1JL0I5mbDbJpMi2rI8i5QevVjZEiPohkn7jLWaelgg9+Wr8ejrf7HrqoGaOoRpkA/xKL4ulda6AekgMggBQWyb+eOk2bPs80L3XKlGg/MvnqbWv57WON0XpqmiDABLyIoj7Au/Dyu939QfgHkHKk9KdAifj4jzPFHOPO73Auujg1StlzdrwerKPrr8ApXRKnjDl7DhfbVn50FAzwozyMhT55NSCr4fPPL+QlL9uMDXAxMjPAG5wfzrBdFn2o4eRW6DGqqZP7nTsV+M6OIvOe6MZIoNtTnnLfgq+uXugmM5mVIGYaapxoEbZ2qiEfR7OUmWfHnsjs8bEWgWpgo+UPDqiFqaXDFPYHayRrsw6S0/CIK7FojOXZutgbyE3CejBJJafGFGClaWEXfpbYqIQfkMaDjBavNmx3YPUqHkQIs83zmvshX7wvxpNKCcriYfrNfo0MV/z+zVjxA7szJuWZezyWaIGkhykm4SXHcN16B7oEd91lSZzKx8y6hRE9BI7PNhWRx8PJfBieB5XYOhEjndd8uEHQ71Cu6tBis8G4pZKzAmaF07Ety/yBzAjXPC61o9nKfNDZUptK7fjSCZzydV5kv8jPJksXR/B8xFOCuhm7J18BXVC8jRiUKFmq22dKMaminQ6GOEymnIt0ZdAlcYbA==

Dear Coq Club

Aalborg University is again looking to appoint a number of assistant professors (with possibility of tenure-track) and associate professors in computer science.
You can apply for both the Copenhagen campus and Aalborg campus of the university.

The deadline for applications is soon: 15 February 2022!

I work as assistant professor at the Copenhagen campus, and I hope that someone from the Coq Club mailing list will be my new colleague! :-D

You can apply here:

ASSOCIATE PROFESSOR IN COMPUTER SCIENCE
https://www.stillinger.aau.dk/vis-stilling/?vacancy=1180936

ASSISTANT PROFESSOR IN COMPUTER SCIENCE (WITH POSSIBILITY OF TENURE-TRACK)
https://www.stillinger.aau.dk/vis-stilling/?vacancy=1180937

Cheers,
Anders Schlichtkrull

[Coq-Club] Associate/Assistant professorship in Copenhagen or Aalborg at Aalborg University, Anders Schlichtkrull, 01/04/2022