Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • 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 Feb 2025 09:19:09 +0000
  • Accept-language: en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.aau.dk; dmarc=pass action=none header.from=cs.aau.dk; dkim=pass header.d=cs.aau.dk; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=IeahXrZrhvnbKbZfMD+kH3yHieNDw9fmriAldTdXjxk=; b=UL+IY25//Y1L0m9hrXFx1Bc/3m5cJomucwv6lKtDYI9UFuiKFzDobU57NzqoVqI6iVluPXFFXpszSNAJm/KpFVXciSTkFuHXFJURHrMvG/7FCSkTXwdaLa39x/4oVi+LwUQ9qA3mQz8wTkJfmVNMJwXVATtWZcl2wiEgbMQJXC80l9WFRdYtTcyKGQxKfAb1fiLDfc5WTFUbSiG2Hj5l8OK48XuyTy2j3G+SnZ6amSzXB4XqUZI0rkFTdYY4DCgLdxxU9BASADR03Jj/RPepZlCY2k9iPuumcBnZNReVkmA9bvpgm/Whm59C/j9uMc1mpN3jqEttyXFEGVGuu8LWew==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=wc9l5DYpVq1Sjx21Szc103FJStlWMhSiDpJ0WrAEKfbVfMPgs1RN9tXISs2Toe3ll1Pquh4pMHZ0E6Q34agYiUED4Gm0IfTGNl3em3qA7It3F95kQH1R5Bo/kSL5V397lbTiuYwaysGef2YB5n0cnz0uOJrNhkkxzNGbGPSq6PY1wdBjGu9H3ScjBTS2qVenXs+1mzdpRQ3PeAiQhpebyMUfzrcz6J5a3HPt3rnvcQJY/KZd2z6+iQWuwyMW/mANVA8PNeGAGztgtiewg12ccLWbJq6wAZsdOEYvgIh3N2Er7/Olgz8mexbPbWHdbeikebTDqAgN3mju/GwNB5KoHw==
  • 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=None smtp.helo=postmaster AT OSPPR02CU001.outbound.protection.outlook.com
  • Ironport-data: A9a23:2CLMXKkEffJj1PXucc99P9Lo5gyCLURdPkR7XQ2eYbSJt1+Wr1Gzt xJLWWmPbvjYYmvxfItwOt6z9E5X7ZWEy9c1TFQ+q3g1EVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayazl8B56r8ks14ayo4G9A5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1IIlg2EIQ2wN0uKkpk+ KI8CmAwTxmc0rfeLLKTEoGAh+wEF/HTBttFkUw4lWifCus6S5feRamM/cVfwDo7msFJG7DZe tYdbj1sKh/HZnWjOH9LUNRvx6H43z+gLFW0q3rNzUYzy2HVwBd60JDmK5zcc8HMScY9ckOw/ zqWpj+lXkFKXDCZ4TGY8Wi9mPWTp3nEB7wiOaCj1s9Dj1LGkwT/DzVNDgHn/pFVkHWWUNVGb kcQ5yAGtrk37EXtT9/nXhT+rmTsg/IHc99ZEul/7gaX1aPF7g+CGmEWSiYYN4R/75dpGnoty 0ODmM7vCXp3qrqJRHmB97CS6zSvJSwSKmxEbigBJecY3zX9iKcdlxLiR/hZK/eepff4RxXSk w2rpTdr0t3/kvU3/6m8+FnGhRelqZ7IUhM5623rsoSNvlIRiGmNN9zA1LTL0cusOrp1WXGnm xA5dyW26ekPCdSLkzaSSfQAFaq17uSBKGSD2Qc0R8Z+sTOw53SkYIZcpilkI1tkOdoFfjmvZ 1LPvQRW59lYO37CgU5Lj2CZVZRCIUvITI6NuhXogjxmP8UZmOivoXoGWKJo9zqx+HXAaIlmU XthTe6iDGwBFYNsxyesSuEW3NcDn39llT2LGs2jkkj2idJygUJ5r59VYTNiichpvcu5TPn9r YYAaqNmNj0DDrKjOnWJreb/03hTdSdjX8GvwyCoSgJzClE9Qj1+YxMg6bYgcJZihKNbiq/D+ WulMnK0O3Ku7UAr3T6iMyg5AJu2BcgXhStiYUQEYwz0s1B9Ot3HxPlEKPMKkUwPrr0LIQhcF KFdI53o7zUmYmivxgnxmrGm99c/Kk7z3VLXV8dnCRBmF6Ndq8Xy0oeMVmPSGOMmV0JbbONn+ +TwhDDIC4EOXRpjB8vwYfeihQH593sEle44GwOCLtBPcQ++uMJnOg7gvM8ResssEBTkwifF9 gC0BRxDm/LBjbVo+/b0hIeFjbyTLc1AImRgEVL2142GbRvhwjL7wKtrcvq5QjTGZWalpISgf bp0yt//At0mnXFLkYh3Autr/JID+unAvL5+5SZnFUXtcF6EJO5BIH6H/M8XrYxL5OZTljWXU 3K12OtxGOu2KuK8N3BJPysjTOCI9c9Mqwno9f5vfXnLvn5mzoSIQWB5HkeqihUECJBXLYl84 +MqmPBO2jyFkhBwb+q31HFFxV+tcE4Ffb4s7KwBIYnRjQEu9FFOTLrcBgLy47CNc998CVYrE BDFmJv9g6lg+WSaf0oRDXTt2c9vtaYKsj1Oz34AIA2tsfjBjfkVwhZQ0GoWSiJ48xZ56N9wa 1NbbxBNGaaz/jlTlJdiWUKoEFp/HxG3wBH65GYIs2z7dHOWcFLxAlczA9vQw3BBwVlgJmBa2 Jq61FfaVS3beZCt/ykqBm9ghf/Rbf1w0Qzgmsu2QsS0L6QnUxX+g4uFR2kBmz34C+wf2WzFo uhL+r5rSKvZbCQ/nYwyO7O4558xFi+WBTVlb6l63aUrGWr8RmmD6QKWIRrsRvIXdu34z0CoL udPeORNbk2a/wSTpGk5AaUsHedFrMQx7oBfRoKxdH80iJrBnD9Hq5mKyzPfglUsSNBQkcoQD IPdWjaBM26Ij0tvhG7/g5hYC1W8fOU7SlXw7MKt/MUNMqAzguVmXEUx87mz5lG+Eg9s+TCKt wLiOY7S6cFfyrpXooi9KZUbWj2IKu7yWt+YryG1kdBFNu3UPen06gg6l1jAPiZtB4U3ZehZr 7q2neDS4FLkp5czCmDQpImAHfJG5OK0R+tmDfj0J3h7wwqBCfPRzTE43kyaBaJ1ucx43ZS5S zuCacHrS8MncIpCz3gEMxphNU4UNPXqSqKx/C+Sv+qGUAMA4FaWMPKm6n7bQmVJfQAYO5DFK 1HVutT/wvt6vYhzFBs/KPU+OKBBIXjnQroAS9LqkCuxV02Eow+nq6S4swgN8hTJASS0K9n76 pf7WRTOThS+l6XWxtV/sYYpnBkoIFtioOs3bGQP0sVXjm2kMWs4MugtC5UKJZVKmCjU1pujR jXsbnMnOBrtTwZ/bhTwz9TybDixXtVUFI/CGQUo2EeIZwOdJoCKWuJh/xg9xUZGQGLoyeX/J OwO/nH1AAOK/ahoYuQu/d2+v/Zsw6LL53AP+H2lqffIPTQlPewo2kBiTS13bg6WI/GVwQ+Pb SIwSHtfSU62dV/pHIwyMzRJERUep3X0wy9ucS6Lx83Ftp6GyPFbjsfyIPz3zqZJefFiyGTin p8rbzDlD6GqNn0vVW8BnOkRuZUsU9m2RpDjaqj+WQcVgqe8rHw9ON8PljYOS8dk/xNDF1Tal X+n5H1W6IFp7qxO8OX+9OnL08sZvrEw4/XhhxW5rDbb1xA6pzQcUwb/1xr1cPkctIC613i1g 14ugIK5qEbQvTL54zV93hjeSpprHulJfUT5vusUol8eX/tipKKx1Fys7q3i6+9szQ==
  • Ironport-hdrordr: A9a23:NRF+0q1UmSe9S8mPAG9x6gqjBd5xeYIsimQD101hICG9Lfb0qy n+pp4mPEHP4wr5AEtQ/+xoS5PwOE80lKQFlrX5WI3PYOCIghrNEGgP1+rfKl7balvDH4xmpM BdmsFFYbWeY2SS5vyKgzVQZuxQpeVvh5rY59s2oU0McShaL4VbqytpAAeSFUN7ACFAGJoCDZ KZouZXuja6fnwTT8KjQl0IRfLKqdHnnI/vJUduPW9u1CC+yReTrJLqGRmR2RkTFxtJ3LcZ6G DA1yDp+6m5tPm/6xnEk0ve9Y5fltfNwsZKQOaMls8WADPxjRvAXvUpZ5Sy+BQO5M2/4lcjl9 fB5z06Od5o1n/Xdmap5TPwxgjJyl8VmjXf4G7dpUGmjd3yRTo8BcYEr5leaAHl500pu8w5+L 5X3lieq4FcAXr77WnADpnzJl1Xf3iP0DQfeN0o/j1iuEwlGf9sRLkkjQxo+VE7bWHHAc4cYa tT5YrnlY5rmBuhHgvkVy9UsZeRtz0Ib227a1lHtcqP3zdMmndli0Me2cwEh38FsIkwUp9e+o 3/Q9ZVfZx1P78rhJhGdZQ8aNryDnaITQPHMWqUL1iiHKYbO2jVo5qy5Lku/umldJEB0ZN3wf 36ISdlnH93f1irBdyF3ZVN/ByISGKhXS71wsUb45RioLXzSLfiLCXGQlEzlMmrpekZH6TgKo OOEYMTB+WmIXrlGI5P0QG7U55OKWMGWMlQodo/U0LmmLO7FmQrjJ2kTB/+HsuTLd9/YBKDPp IqZkmOGPl9
  • Ironport-phdr: A9a23:mfizLhJ21p4W+MVo8tmcuEBvWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCEv7M11BSTBdyAo7Ic0qyK6PmmATRBqb+681k8M7V0FCU5wf0MmAIhBMPXQWbaF9XNKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oAvPusUMnYduNqk9xgXVrndVdeld2GdkKU6Okxrm6cq98oNv/z5Mt/498sJLTLn3cbk/Q bFEAzsqNHw46tfsuRffUwWE+2ESUn8RkhpGAgjF6A/1U5LsuSbkteRzxTeXM9TuQb87RTqt4 aFrSAT1iCgcLD427HvXis1rg61Fph+qugFyzJTVYIGRM/p+Y7/dcNYHTmdPQspdSypMCZ66Y oASDeQOIPxYopH9qVUQsBW+GQeiCuDzxTBHnXL5x7E20+E7HA3awAAtHdQDu2nUotXvM6cSV Pi4wbXOzTrecfxWwyz945XVfB89ofGMWbNwftbRyUkzFAPFlEiQqYjhPziI0ekCqW6b4Pd7V e2zi24qsB1+oiO1ysg2kIbJm5gZxU3H9Shgxos+ONK3RlJhb9G+DJtQqz+VN5FwQs46Qmxlv Dg3x70btJO1fCUHxpQqyRDRZvGafYWF7RLtWuaTLDpkhH9oe7Oyiwuu/EavzuDxVNW43VhUo ydKndTBuHYA3AHd5MiAT/ty5Eah2TCX2g/J8O5EPFo4mrfYK5Mn37U+lYITvFzMEyPqgkn7i KGbel8n9+S18ejqYLfrqoeCO4J1lg3zPKEjltGjDesiMwUDWnWX9fi52bH940L2XbBHg/grn qTZtp3RONoWpqqkAw9OzoYs9Qy/ASqn0NUZg3YKNE5JdRSahIbzIV7OOur3DfKnjlSsjjhrw /fGM6X4DJvQNHbNiqvvcapj50NCxgU/0cxT649OBrEGPfLzRlT+tNvFDh8/LgO42f7nCM961 oMCR22AHrOZMKLVsV+O/O4vJPSMZJMRuDb6LPgl5OTigmM+mV8YZaWp3J0XZ26kHvl+LEiVf WDgj9MPHGsQvQcyUfbmhV+AXDJLYna9RaM85jU1CIK8CofDQ5igj6aH3CimBZ1ZemBGB0uQH nfzbYmLQe0DaD+ILsB8kTwITb6hRJQ52hG0qAD606ZnLvbT+iAAqJ7vzMJ16PHLlREu6Tx0C NyQ3H2KT2Fth28HWzs23L1krkFm0VeC0a14g+RCGtBJ5vNJVB06NZ/GwOBgBdDyQFGJQtDcA l2hW5CtBSw7ZtM32d4HJUhnUZ32hRfamiGuHrU9lrqRBZVy/LiKjFbrIMMo4nDK2bM6x2ItQ s9OPm26hbRi8wybU4fPn16Sl46hbuIV1TOL+GTVnjnGh11RTAMlCfaNZnsYfEaD9bwRh2vHR r6qUvE8NxdZjNWFMu1MY8HoilNPQLHiPs7faiS/gTT4Hg6Gk5WLaoeiYGABxGPFEkFRmgYf5 n2GHQMlQC6oviTSD28mDkrhNnvl6vI2s3anVgkxxgCOYVdm0u+8/BIOjvy0QOhV17sZ/isi+ H1vBFjo+dXQBpKbohZ5OqVRZdRo+FBcyWfQrBBwJLSHFJhavAZEWDkv5xqo0AhrAIJdl8Rst Gkt0Ad5NaOf1hVGai+c2pfzfLbQLwEe5TiJbKjbkhHb2deSoeIU7egg7k7kpEevH1Yj9HNu1 59U1WGd79PEFlhaV5W5SUsx+xVgwtOSKiAg+4PZ02FtOqioo3fD3dwuHu4s1heneZ9WLqqFE Ab4F8BSCdKpLaQmnF2gbxRMO+43luZ8NsWqbPCG8KWweu9pgXSqjiUP4Yxw1F6N6zspUvTBj N4Ox/CV2BfCVi+p0A/n45uxydkCOm5Bewj3gTLpD4NQeKBoKIMCCGP1Ztay2s07nJn1HXhR6 F+kAVoCns6vYxubKVLnjmgynQwap2KqnSygwnl6iTYs++CW2iDVyOTKfwFBM2dWAmVhxwSJQ 8D8n5UBUU6kYhJ83hKj6V3xx4BQv+J2JnSVTUQCLGDmamplVKW3rL+LZcVCvYgpvStgW+O5e VmGS7T5rnP2ygvbFnBFjHA+fjCu4dDimgBizXmaNDB1pWbYfsd5wVHe4sbdTLhfxGhOSC59g DjRTl+yWrvhtdySm4zIssi1TCSoX4AVfSqjwY6btSS97HFnGlXjx7biwZu3SE5ljmfyzJFyW D/NrQrgb4WjzKm8Pe99PywKTBf958d8BoBig941jZAU12Idg8bd9n4GnGHvdNRDjP6mKitWA 25ShYGKs22HkAV5I3mExpz0TCCYy8plPJyhZ38Onzk694ZMAbuV67pNmW10pEC5pETfe6sY/ H9VxP0w5Xodm+xMthAqy3DXC7YeBkJYFSf30R2B8payr+8EAQTnOaj1z0d4kd27WfuLpA1HU 3bRcYxkFCZtqMl8egGEwDj47Yfqf8PVZNQYu0iPkhvOuONSLYo4ivsAgSc0XAC19W1g0eMwi gZimI2rpIXSYXs457q3W1QLfi2wfc4Y/SvhyLpTjtrDlZ76BY1vQ1BpFNPpVa76TGpU5K6hb 0DWV2Rh4naDReiDRUnGsBgg9zSXVMn1f3CPeCtEl5M7HEHbfAoHx1lJOVdy1p8hSlL3noq4K B0/vnZJoQem4hpUlrA1bV+mCjyZ/EHwLW5rAJmHcEgPtl0EuxiTaYrGqbssekMQtpy58l7XI zTCNV0RVDMHBhTcVQKkYunm5MGeobKRXrPsdqKXM7vS8bcMBbDUlPfNmsNn52jebMzXZys7V qRp1BYbBiIpQ5yByWdIFnVfljqTPZSS/E7uo3Qu/M7jqK+5U1q3vdndTOYLVLcnsxGu3/XZP rbJ1n8gcGRWistXl3GQkOBNjhlP0Wkrfj2pW9zsrAbrS6Td0u9SBh8fMGZoMddQqrk7xk9LM NLajdX80vh5iOQ0AhFLTw6pnMbhfsEML2ynUTGPTE+WKLSLIyHKyMDrcOu9T7NXluBdqxy3v 36SDUbiOj2JkzShWQqoNKlAiySSPRoWv4/YEF4lEW/4UNfvcQG2KvdQtgUO++VurU6SbTdaN iVgeURQqLHW9Tlfnvh0B21G6DxiMPWAnCGaqeLfL9dz07MjAyh5kf5b/GVvy7ZR63IMT/h0l S3O69929g3+1LjUjGo+FkUR+VMpzMqRsE5vOLvU7MxFUHfAp1cW6HmITg8Nv51jA8HuvKZZz p7OkrjyIXFM6YGxn4NUCs7KJcaAKHdkPwDuHWueBQ0JVjWrHWrEwUVUjbee9TfGy/py4oipg 5cIRrJBARYtEegGD01+ANEYCLBMZgseyeSwsZZQvDy5sQXbQ9hcstbfTPWODP7zKTGfy75Ze x8PxrC+JoMWfN6euQQqehxxm4LEHFDVVNZGr3h6bwM6l05K9WB3Umw530+NguaF62RVHPep2 BI12FMWiQsF/yyq6l4qYFbJ9nJYeKgZvu7duQrJKhXMdP/pG4ZLFyDzqk49dIvhRBp4ZhGzm koiMyrYQ7VWjP1rcmU50Gfh
  • Ironport-sdr: 67a1db92_gS+SaxMXAAaf16VXC5sFBBGFX0eAgDKr4jQMRK/K7V06wQy rehtlFv3JmsGWxEI5LDDOpXrQzjgxnRFyIG6uoA==

Dear Coq-club mailing list

We are again looking to appoint a number of tenure track assistant professors, assistant professors and associate professors in computer science.
You can apply for both the Copenhagen campus and Aalborg campus of Aalborg University.

The DEADLINES for applications are VERY SOON! See below.

I work as associate professor 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 Léon Gondelman and Jonathan Julian Huerta y Munive who you may also know.

You can apply here:

ASSOCIATE PROFESSOR IN COMPUTER SCIENCE (Deadline: 2 March 2025!)

TENURE TRACK ASSISTANT PROFESSOR IN COMPUTER SCIENCE (Deadline: 2 March 2025!)

ASSISTANT PROFESSOR IN COMPUTER SCIENCE (Deadline: 14 February 2025!)


Cheers,
Anders Schlichtkrull



  • [Coq-Club] Associate/Assistant professorship in Copenhagen or Aalborg at Aalborg University, Anders Schlichtkrull, 02/04/2025

Archive powered by MHonArc 2.6.19+.

Top of Page