Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Tenure-track assistant professor in Formal Aspects of Programming Languages

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Tenure-track assistant professor in Formal Aspects of Programming Languages


Chronological Thread 
  • From: Coen DE ROOVER <Coen.De.Roover AT vub.be>
  • To: Coen DE ROOVER <Coen.De.Roover AT vub.be>
  • Subject: [Coq-Club] Tenure-track assistant professor in Formal Aspects of Programming Languages
  • Date: Fri, 8 Apr 2022 13:32:08 +0000
  • Accept-language: nl-BE, en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=vub.be; dmarc=pass action=none header.from=vub.be; dkim=pass header.d=vub.be; 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=PxwzIN+EHaNaUjeEypvTm8UWAmsiQziCZzy09stJy7k=; b=i6Zcyc9FDMvt4dWnRHVdadLPJ+1tlVQ93bcnIZUciCc4yzwCvfTsjvogcxSe8tD68atuFLS7ZGHYBnNhUFLx3Noq/IGkMXOkfFK/SiF+aJjXxVTujbNotmbRU0lSgBqaef0P7uPAhPNTPFiQpM3mntaBAZLoeaxxEbUZES2NndGk0l+veP2FE8znDlknyP6+PyDPWf/PFfFWitiuBdmPwMJzsWHvbLTVUmFxFpEO4wZxXYBX6WFkbyTez72ZSTqCKX8Rj8P8PgaT+IJ4crg+b9mMrElE0DLP8DYXtGEi19ncTe3DY8Npkb/fBCsgLzSUqQPA4OXyEgXRVCtErSQybg==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=bqCXkgGH0fSXIgY7hohtopf/+CKFxcU1YUDJ8fVbXVzqKdXEnpucpbGuQijPjWCHulW7RQTOx9CaXPjOwPGLKG2Oq4t5farbIPSGq7v5OhzGmu8qIVHg/YKT4q4oSv2CR08NohoFm/VFowH0BHRcWMgdUt1cSvGL57WbRX2ymDBHIEEy+B3ARjwHnTbgBZ6pLjx8LUJikhSLS8CwBYfNiui18xB+jWbv3iY95vfg+t5muTYLdeEZlxZBxIfE2amvXn1CGN6HFDOohMdNzonuAAq9+pBgMse6gjclsfoTMWOFk53jncFJSIYlIbhLighvjh4buE83uH3zF9tL5O4Hig==
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Coen.De.Roover AT vub.be; spf=Pass smtp.mailfrom=Coen.De.Roover AT vub.be; spf=Pass smtp.helo=postmaster AT EUR04-HE1-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:g8eQaatOQKVDH4mgp3ddhYGmD+fnVHJbMUV32f8akzHdYApBsoF/q tZmKWnXP/fYZWTzfNF1b97n90sOvpCGy9FlHVZl/yEwEiNDgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCY0idfCc8IMsboUsLd9UR38g52bBVPyvX4 Ymo+5GHaAf/s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCnZqAcCUxP7fSouAEayFqGQ9/Y/V92IaSdBBTseTLp6HHW1bR+a0ySWEbZMgf8OsxBnxS/ /sFLjxLdgqEm++93LO8TK9rm9gnK87oeogYvxmMzxmFVbB/Gc+FHOOWv7e03x9o7ixKNd3Za sxfRTcpVhPHfRBVEkkKAtQ0kY9Eg1GkK20B9A7N/8Lb5UCClAVc6efoPuaJQfHQdO5evBmqg GLvqjGR7hYyb4XEkmXtHmiXruTGmCe+XIMJCJWj5/tyiRuSwHYSAVsYTzOTqv6gz0W6Rth3M F0R4iNorK4o9UXtQMOVdxa/uTuPugMWHsBdCvA38x2l0bvR+w/fB24eTzcHZsZOiSMtbTkj1 1vMktTxDzN17+XNFSjb8aqIpzSvPyRTNXUFeSIPUQoC5Z/kvZ03iRXMCN1kFcZZk+EZBxn28 wmotCkkmY8XlPYz5a+V/A6fuBKV882hohEO2i3bWWes7wVcbYGjZpC15VWz0RqmBNbGJrVml Chb8/Vy/NziHrnTzHXSEbxl8KWBvarUa2aD6bJ6N8B5r2zFxpK1QWxHyB9fTKuDGuYJfSToZ kzS0e+6zMcLZSDzBUObS7+sEMUvxKGIKDgIfvXdb94Lb59pfgCdo3k2ORTW2H3xmk8xl615I Y2cbcunEXcdD+Jg0SayQOAel7Qsw0jSJF8/p7ikkHxLMpLHOBZ5rIvp1nPTNYjVC4vZ+23oH y53bZfi9vmmeLSWjtPr2YASN0sWCnMwGIr7rcdaHsbafFY3QjF9W6eOn+h6E2CAo0izvreZl p1ach8IoGcTeVWceW1ml1g/Ne+1Dcov9RrXwwR1Ygz0iyZLjXmTAFc3LMJsJuZPGB1LyP9/V f4efMucSv9IUCzA4T0BbJ77xLGOhzz67T9iyxGNOWBlF7Y5H1Kh0oa9ImPHqXdSZgLq65pWi +DxjmvzHMtYLyw/XZa+QKz1kzuZ4yNH8MosBBSgHzWmUB6xmGScA3et1aBfzgBlAUmr+wZ2I C7KWUxI+rSX+9ZdHRugrfnskrpF2tBWRiJyd1Q3J57nXcUD1mb8k4JGTsiSejXRCDH99Km4O 7dL0vu6OvBexARGtI91ErBKy6Mi5oq//OYGk1o8RHibPU62Dr5AI2Wd2Zgdv6JA8bZVpA+qV x/d4dJdI7iIZJvoHQdJdgooZ+iOz98OnTzW4ahnKUn2/nEl4qeNF09fZkHehCtYJbpzEYUk3 eZw6JVPt1Hh0kIna4/UgDpV+mKAKm07f58m7pxKUpX2jgcLy01ZZc2OAyD715iDdtFQPxR4O TSTnqfD2+xRy0eeIXo+EX/BgbhUiZgU5E0Y4WI4fwjMuvecw/g90VtW7Cg9SRlTwlNfyeVvN 2N3NkpzY6KT4zNvg8sFVGepQlkTCBqc80336l0IiGyGEBbxBjaRdDUwabSX4UQU02NAZTwEr ryVzWDSVzy1Lsz82y0FX1Fo9q74Rttr+wyew82qQ5afE58hbWa3i6OifzZY+R7uAMd0iUrfr +Zwo74oNfe9MjMMqaomDYXcza4XVB2POG1FR7dm4b8NGmbfPjq13GHWeUy2f8pMId3M8FO5V JMxf5IVC0zm2XbctC0fCI4NP6Rww6wk6d8ETbXhejwLvr6ZmTx2vc+C7SP5nmIqH45jnMtVx lk9rN5e/rF8REe4mlMhaOFpB1DgPZwkSVS52+q4tuIUC5gEredgN1ko1ae5tGmUNw0h+A+Iu ATEZOndyOkKJUFEgd73Cqsab+mrAYqbaQhK2FnbXxdygRfnL9rE8QkYwrUiFxoDJqMfArybi pzU2OMaHyr5UHIeTX3T3ZOMf0WMCQNeQ8IPWv/KwLJmcedulSMiD9bvO4x1FHCRrO5g2w==
  • Ironport-hdrordr: A9a23:WtI9za09T4bmeeBoZWnt7QqjBTNyeYIsimQD101hICG9Lfb0qy n+pp4mPEHP4wr5AEtQ/+xpoMG7MDvhHO1OkPAs1NCZLULbUQqTXchfBO7ZrwEIdBeOktK1uZ 0AT0EcMqy7MbEZt7ec3ODQKb9Jr7e6GcuT9ITjJgJWPGRXgtZbnmVE42igcnFedU1jP94UBZ Cc7s1Iq36LYnIMdPm2AXEDQqzqu8DLvIiOW29LOzcXrC21yR+44r/zFBaVmj0EVSlU/Lsk+W /Z1yTk+6SYte2hwBO07R6d030Woqqu9jJwPr3NtiEnEESutu9uXvUiZ1S2hkF1nAho0idurD CDmWZlAy050QKoQoj8m2qX5+Cn6kdi15aq8y7kvVLz5cP+Xz40EMxHmMZQdQbY8VMpuJVm3L tMxH/xjesiMftR9B6NneQgeisa5HZcm0BS5NL7TkYvILc2eftUt8gS7UlVGJAPEGbz750mCv BnCIXZ6OxNeV2XYnjFti03qebcKEgbD1ODWAwPq8aV2z9ZkDRwyFYZ3tUWmjMF+IgmQ5dJ6u zYOuBjla1ITMURcaVhbd1xNvefGyjIW1bBIWiSKVPoGOUOPG/MsYf+5PEv6OSjaPUzvegPcV T6ISNlXEIJCj3T4Je1reF2Gzj2MRuAYQg=
  • Ironport-phdr: A9a23:lZ40zxTRgC/t25XSo1zMiWro4dpsopCXAWYlg6HPa5pwe6iut67vI FbYra00ygOTB8OCu6oP1bCempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffRtEiCCgbb5xM Bm6ogTcutcLioZ+N6g9zQfErGFVcOpM32NoIlyTnxf45siu+ZNo7jpdtfE8+cNeSKv2Z6s3Q 6BWAzQgKGA1+dbktQLfQguV53sTSXsZnxxVCAXY9h76X5Pxsizntuph3SSRIMP7QawoVTmk8 qxkTwPlhSkbOzIk6W3bltF8h79frB68pxFzxojZa5yXOvVjZKPQZdMUS3RcUMZNWSJPAYSyY JcAAeUOJutYs5D9p14SoRu+GQWgGuXiwSJIiH/s2q061vwsHB/B3AM+GdIFrXraotroP6kOS O671abHwzrfYfhL3jrw9o/IfQ4nof2WU7x/b9Ddx1UoFwPCkFWft5blMiiL1uQQqGeX9fFvW vy2hmMhtgp+rSShyN02hYnVmoIa1ErE9SNhzYs1KtC1VEF2bNCmHZZNqS2UN4t4T908Tmxot ys0xb4LtYC5cSUWxpoqwwDSZ+CJfYaG/B/uWvqdLDh5iX57er+ygQu5/0anyu35TMa00VBKo zJbktnRrX8BzQfc5daBR/Bg/UmhwS6C2g/P5u1ePEw4iajWJ4Qjz7IqmZcfr1zPEjH3lUnqg qKbc1go9vSy5OnmZ7jqu4OQO5Fxhw7jL6gjn8myDOc+PwMTRWaU4/6826fm/UDhQLVFkPk2k q7BvZ7VK8sVurK1DgBM3ogh5BizEi6q0NMDknYZNl5Ffw+Hj5TyNFHJPfD4C+qwj060kDdxw PDGIqPuDYnRLnjCl7fhe6xx60lByAovydBf4JVUCrIbLP3vXU/xscTUDh4/MwOq3+bqENpw2 p8EVW6SHqOUMrnevF2S6u8gPeWAfIoVtyz8K/gh6f7ul3g5mVoFcKS32psYdna4Eu5oLUqHe 3bintABEWAUvgUgVuznk0OCUSNIaHqoRK0z+Ck3CIS9AojbXICinKSB3DunHp1Rfm1LBEiAE W30eIWcR/cMdCWSL9d9nTMeULihT5Yt1RWvtA/h17pqNfHU+y0dtZL7ztd5/ezTlRco9Tx1F cuRyW+NT3tskmMSWzA2xLx/oVB6ylqbzad4hOVYGcVP6PNNTwc1LoXRz/d6CtD3QgLOZM2FS FegQtW8ADE+VMg9w9EUY0plAdWtkgjD3za2A78Sj7GEGJs08rvF03ftI8Z91m3J2LA7j1Y4W 8tPKHOphrVj9wXIHI7Ik0CZl76weqgG3S7N8n2DzWuUs01CXg5wS/aNYXdKTUzbq5zVywv4a JiQJI5vZiBGxMjEBqYMUNruk1hcbOn+MpLUbjTitX23AEOjwb6KJKbHM186+xvwMgBQuAce+ zCqOE4EASC/rnj2EiFkU1jiNRC/udJioW+2GxdnhzqBaFdsguPokvZ0rfmVSvdJm6kBpD9ks TJ/WlC0w9PRDdOE4QtnZqRVJ90nsx9czWyMkQt7M9S7Krx6wEYEelFcuE7okTl6TL9HltYnt ls00QA0I6/LmEhZeWag1IvrcqbSNnG0+Rmub6DM3VSL+9Gb/OEj5bICrFL9sRuBCFcotX9qg JFOy3XJ3pzRF0IJVI7pFEY68x8vv7bBfiw0/J/Zz1VBDJPs7nri9otsA+EojBG9Y91YLaWIU hfoFNEXDNSvL+psnEW1ahUDP6ZZ86tc09qOUfyA1ebrOe9hmGjjlmFb+MVn1UnK8SNgS+nO1 pJDwveC3wLBWS2uxFGm+tv6n4xJf1RwViK21DTkCYhNZ6ZzYZdDCGGgJNeyz8l/gJilUmBR9 VqqDVcLkMGzfh/aY1v41AxWnUMZxB7v0QC/wjoyvzxvlK2YwiHU6/r/flwNNy8DRWVvi0vtP Znhl8oTDwCjawkkkgfg5F6vm/Ad/fwgaTaVHR0bGkq+Z3tvWaaxqLeYNstG6Zdy9D5STPz5e 1eRDLj0vxod1SrnWWpY3jEyMT+w6fCb11R3jnyQKHFroT/XY8Z1kF3049HaA9JcmAABQzd1k xHJG1L6NdTjrrD239/T9/uzUW6sTMgZWi7my8WsuW2B4mp0DAeXge253NfqW1tfs2ezx5xhU iPGqwz5a4/g2vGhMO5pSUJvAUf198twHowWfpIYvJgLwjBag5yU+SBCimLvKZBB3qm4anMRR DkNytqT4Q7/2UQlIGjbj47+U3ycxINmabzYKis93S87qexHTp2T66JJhwNrv1D+pw+ZbfVmn zgbwOcj8zZG26dQ4FVrkWPBWPgbBgFAMDbplgiU4tzbzu0ff2upfbWqlQJ/kd2nELCes1RZU Xf9dI0lGHw45cF+PVTQlXzrv928PoCIMpRM8EHOwHKix6BPJZk8l+QHn39iMGP55zg+zvIjy AZp1te8tZSGLGNk+OS4BARZP3v7fZB2mHmlgKBAk8KRx43qEI9mH2BBd5zlS7SEHXQosvP5O hymDiA27H2WU+m6f0fX+AJ9onTDHor+fVqQKX9f4dgkfh6aOkFFqB4JVnMwk9Rqc2LijNyke 0B/6DcL41f+oRYZ0eNkOS70VWLHrRupYDM5G9CPaQBb5QZY6wLJINSTu6htSjpA8MTr/2nvY iSLIh5FBmYTVgmYCkD/a/OwsMLY/bHQB/LifaeWJ+TU77QYD7DRmNquytc0o27Kb53QeCEkV 7pihC8hFTh4A5iLxm9JEnRP0XqLN4nC+F+94nEl95jjtqi0HlqpvczWVPNTKYs9oRnu2PXab rfCinohcWQKkc9coB2AgLkHggxIgnk3JWD0SOYO6XaWHvCXxv8fDhgQbz5/OZlT96wwmBFXP tLWgc/00bg+ieMpD1BCVhrqncTMB4RCZmi5MBmv6F+jDL2dPnWLxsj2Zfn5UrhMlKBOsBb2v z+HEkjlNzDFlj/zVhnpP/sexC2cORVfvsm6fHMPQSD7S8n6bxSgLNJtpRAL++Vow1PnbCsbO zU6dF5RpLqN6y8emu94B2FK8ntiK6+Dhjqd6O7bbJ0RtJ4JSmx4mvlb73Iz17ZOpH0cAqUtx 22N6II061i92vGC0D9mTAZDpn5QiYSHsF8jcaTV+59cWGrVqRIA6WLDbnZC79BhC9Dpp+VR0 o2TzOSqcGgErJSIp5h5ZYCcMs+MPXs/PAC8HTfVCFFAVju3LSTFgEcblviO93qTp5x8q572m ZNIRKUIMT59Xv4cFElhG8QPZZltWTZx25WcgchOyXf4lh7WWshAlo7aXLSYDL+8TVTRxakBf BYOzb7ieM4LMZbn3kV5dlRgtKn3IRKMGPBg+2hmZAJyp1hR+n9jSGF1w1jidg6m/H4UE7izg wIyjQx9J+8q8X2/hjV/bkqPryw2nk4rnNzjij3Eaz/9IpC7WoROAjb1vUw8YdvrBhx4Zgqok Ql4JS/JEvhP2qB4ezkh22q+8dNfXORRRqpebFoMyOGLMr82hE9EpHzvxFcbt7edT8o40lNsK dn18jpBw14xMIZzfPSPYvIPlh8J2Mfs9mepzrxjnVVYfh5VtjvUIGlR5AQJLuV0fnL0uLAzr 1TEw3waJyANT6R4+PsyrxFkYr3SwX64i+wRbRzhUo7XZ6KB5TqanJbREAppjxEGyxEer+oxj ZdrckyfU10jwemKDxoFc9LYLh1YZNZT836VejuSteLKwtR+OIDYdKigCOaKsOx8aq2MAhsjW Y4BvJ1p9nyEzlzSa83qfuZtIfQFyTnRfAnALNkQPRWBnXEAvt21y4Jx0c9FPDYBDG5hMCKxo LHKugsth/nFV9AzMC5yYw==
  • Ironport-sdr: nhB1zlQhiGQIE0/Xxv9tpmqumyA1nqt0QWNXP0lRbnrJdQK9K3BnIjlk6EsL/laLA5ludqOfh8 0EjIVAtbVVIiU2bJeO/8odYVfDVFJlteqLJf8Y5mQQS1apNWJsuqenTuxsTAg+PBArbPvwC5Lb wulnyve3YjPH/VptaF4Ck1d6sacWJtmEhg0JomHrqhMxU3FLomuM1EozsKGJ0HzzC3yQfKkani 387RDDal8k8STlBREHw5XONE86TlerH7VW4+ar2R04BmEANJGaYr7qygzITYnaZSmX307hHfu1 W50W6lNpQLPdDRsVE9QAkEso

The Software Languages Lab of the Vrije Universiteit Brussel in Belgium has a
vacancy for a **tenure-track assistant professor** in the broad domain of:

Formal Aspects of Programming Languages

Please apply by April 22nd through
https://jobs.vub.be/job/Elsene-Tenure-Track-lecturer-%28research%29-&apos;Formal-Aspects-of-Programming-Languages&apos;/786364001/







  • [Coq-Club] Tenure-track assistant professor in Formal Aspects of Programming Languages, Coen DE ROOVER, 04/08/2022

Archive powered by MHonArc 2.6.19+.

Top of Page