coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Simon Robillard <simon.robillard AT umontpellier.fr>
- To: postdoc cs <postdoc.cs AT MailList.au.dk>, agda <agda AT lists.chalmers.se>, coq-club <coq-club AT inria.fr>, why3-club <why3-club AT groupes.renater.fr>, frama-c-discuss <frama-c-discuss AT groupes.renater.fr>, gdr gpl <gdr.gpl AT imag.fr>, gdr-im <gdr-im AT gdr-im.fr>, isabelle-users <isabelle-users AT cl.cam.ac.uk>, ocaml-jobs <ocaml-jobs AT inria.fr>, prooftheory AT lists.bath.ac.uk, seworld <seworld AT sigsoft.org>
- Subject: [Coq-Club] Postdoctoral position at Université de Montpellier
- Date: Mon, 22 May 2023 17:31:57 +0200 (CEST)
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=simon.robillard AT umontpellier.fr; spf=Pass smtp.mailfrom=simon.robillard AT umontpellier.fr; spf=Pass smtp.helo=postmaster AT mx6.umontpellier.fr
- Ironport-data: A9a23:0IgKx6h2fRBHQLnnGtGzvR+mX161uhcKZh0ujC45NGQN5FlHY01je htvXGqBP/uMN2Pze952aNixpE0OvZbcyNBrHANl/3g2QX8W8JqUDtmwEBv9bniYRiHhoOOLz Cm8hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9g1aYDkpOs/jY8E415qyr0N8llgVWic5j5QeG/5UqJMp3yZGZdxPQXoRSF+imc OfPpJnRErTxpkpF5nuNy94XQ2VSKlLgFVHmZkl+AsBOtiN/Shkajs7XAtJHMBsK1G/Z9zxG4 I4lWZSYEW/FN4WQw75FC3G0GQkmVUFN0OevzXRSLaV/ZqAJGpfh66wGMa04AWEX0rYmKFxz/ +4lExwQViiGrNmQ8a3gDcA506zPLOGzVG8eknR8xHTeEOp/B5HFTb/Do8Jd2zEsns1KGffTf YwXc1KDbjyZMkYJZw5RUc9k2r7z3RETcBUBwL6RjbE25m/VihZ22rnpNNPPdvSXQMJTgl6Vo mbH8n6/DAty2Nm3lGPdqijz27SncSXTWKsWKpvhqdlWvXK+zU8qGiMUbHiyrqzs4qK5c4sDe h1LqnVGQbIJ3E2wR9PwWxm15WOfswQHc9FUVeYz7UeEwezJ4G6xCWQeCz9EQNMqroo3QHokz DehkcngADUqu/iZSGmW66yPhTyoPjUNIHREfyICRBcI+Z/tuukbkRLeFZNoFLO/ptLvHizoz ivMtiU4jqkel4gFzc2T8lzdxT20orDISwc6oAvNNkqu6Ro8b4q4baSp70La5LBONu6xSVKIu XxBmc+U98gPC4uMnWqDWo0lBKuu4PiZMDDbm09HG5g66y/r8Xe/fcZZ63djJy9BO8kIcBftY VTPokVa5JZXOXawdulsbuqZE8Mx0aTnHpLuTdjRZ9tKZplqaEmO4WdiZia4xG3yl1IonYkkO JiAdsiwS3EABsxaICGeQvsUlLg22nl4xGXdX5m90hGg16aGaXqRSLofdlWUBgwk0E+aiFWE2 utiPdm38DlCaNX7SRLxwJFIanlfeBDXGqvKg8BQc+eCJC9vF2cgF+LdzNsdl2pNxPQ9egDgo i3VZ6NI9LbsrSGcdVTXMhiPfJuqBMog9iJT0TkEZw7A5pQ1XWq4xIklH3fdVZMu5etly/Mco xItJZnZWqwnptjv3TMAc5T5qIEnXQ22hB6HPiyoCAXTkrZlWwWM/cL4J03u8icUB2yqsMw4v 6Wt0gfaTIBFSR4K4CfqhBCHkQnZUZs1wroas670zj57Ix+EzWSSA3at5sLb2ulVQfk5+hOU1 hyNHTATrvTXrok+/bHh3P7U89n4SLskThIEQQE3CIpa0wGEoQJPJqceDY61kcz1DjOukElfT bkFn6+mb6dvcKhi7NogSt6HMp7SF/O2++4LkVQ7dJk6R06mDLp8L2Pu4CW8nvMl+1OtgiPvA hjn0oADZd2hZpi/eHZPf1VNUwh2/a1I8tUkxa9vexSSCe4e1ObvbHi+yDHV13EEfeUta9h4q Qrj0eZPgzGCZtMRGo7upkhpG66kdBTsj41PWkkmPbLW
- Ironport-hdrordr: A9a23:3XVS0Kgay2DahuoB2Arqk7zojXBQXvEji2hC6mlwRA09TyX4rb HKoB1/73WYtN9/Yh0dcLy7V5VoOEmsjKKdgrNhX4tKPjOHhILAFugL0WKF+VPd8kbFh41gPM lbEpSWP+eAaWSS3fyQ3OBhKada/DBcytHPuQ4C9QYLcei3UdAZ0+6mMHfgLnFL
- Ironport-phdr: A9a23:wy+sChV9Z8m117cUWNn+XAsNGmfV8Kw/XTF92vMcY1JmTK2v8tzYM VDF4r011RmVB9idsK0dwLaG+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCS9bL9oI hi7rxjdusYZjIZhN6081gbHrnxUdutZwm9lOUidlAvm6Meq+55j/SVQu/Y/+MNFTK73Yac2Q 6FGATo/K2w669HluhfFTQuU+3sTSX4WnQZSAwjE9x71QJH8uTbnu+Vn2SmaOcr2Ta0oWTmn8 qxmRgPkhDsBOjUk62zclNB+g7xHrxKgvxx/wpDbYIeJNPplY6jRecoWSXddUspNUiBMBJ63Y YkSAOobJetWoYnzqUUNoxWjCgajGOLvxDhUhnLtx6I2z/guHBvc0QA8Hd8DtmnfotXvNKcVV OC41LTGzTTGb/NR3zf29ZTGchc6rvGNWbJwddDeyVMyGAjYiViQso3lPzaS1uQLqWSb9e1gW vmui24jrwF+uCKvydo3h4nUg4IVzVbE9TlhwIkrId24TE97bsC+EJdKuSGaLZJ7T8U/SG5np Cg00KcJuYKnfCcU0pQnwQbSZvOIfoWG4x/tWuifLDR8iX97Zr6yhhi8/0i9x+PyVcS630tHo CVFnNXStH0A2B3e58uaRvZj4kqv1jSC2gPd5OxCPEs6m63bK5s7zb4xkJoeqV/DHi7zmEXxi q+ab18k+u+z5OTmZrXmooWTN5VphQ3kNKQhhNC/DOIlOQYNR2iW4fmw2bnt8EHjQLhGk+c6n rTZvZzEP8gWqKy0DxdI3osn5BuzFSmq3dQXkHUdMV5JZRyKg5LrNlzPOPz0EPOyjlq2nDpr2 vzKJKDtD5XTInTZjbvsc7hw5khBwwQp199f/YhbCrQZLfLzREDxsNvYAwc8Mw27wuvrEsh91 oYZWWKJHq+ZKL3dsVuM5uIuPeaMfpUZuDjnK/Q95v7ui2E2mUMFcKW02ZYaZmq0E/R7L0mDf HbhgskNHX0Eswc8VODqjUeNUT9XZ3a8RaI84TQ7BZq9DYfCQ4Cth7qB0D2hHp1RfW9GC1SME XPyeIWeRvgBcz+SIspmkjwCSbihU5Eu1RWqtA/71bVnNPDY+iMCtZ770th6/PXclQsu+jxsE 8Sdz2aNQnlqkm8QXT85wLh/oVBhyleEyaV3n/tYFcVK6/xVVgc6KIXTwvdhC9HyXwLBZs2GR EynQtWgGzExT8g+z8UAY0ZnA9milAzM3zK2A78JkLyGHJs0/b7G0Hj0I8Zx0nTG1K46gFk9W cZPLm2nhqtn9wfJHYLJkkOZl7yrdasGxiLN+n2DniKyuxRAVxVsXaLOFXsELh/Oqs/l6kTJC bS1IZEuMw9lyNWebKJXLNHq2xEOTfjvMZyKam29kk+0BA2U3fWHbIPufmgHx2PGBR5A2wsU5 DONMRU0TnOqpHubBzhzH3ruZVnt+K9wsiX/BlA03lrPZEl83fLh5R4E3rmXT+4Z9r0evzo5p i4yBlu71s7bEZyOvVwlNKtGaNY0pVwC2WPCvBFmJdT0Ibprg1dbeEF7vljlyg5sIopaltUyo Whs1gd0IL6VyhVPbWXclZ/8IPXYMm26qB+jcejZwlX20dOf9eEB8qJ841rvpkSoEwJ2/Hl9l thQ+3SQ/NDLCUwcS8S1Gkcs/hJ3o7XXJzQm6pnPnSltKqC+vzvG1pc0H+Y/0T6re5FUOabCH QS0Ds5MQ4CpI+Uvnx2raRgfdLRV/6cxO4akcPGd8K+tJudp2jy82yAP+Jp61UyQ9yd7UP/g2 5ce3+re1AKbV3H1hxG8sYS/go1bYisWEiLr0iX7A5RVaoVpfIkQDmmyZcqtyYMtqYTqXitj9 VukARs838WofR6bdVC1iRZR0EMR52agkyq8yzVunxk0q62ZwDTDx+DjeQBBNHQdFzoqtkvlP YXh14NSZ0OvdQV80UL9vS4SpoBeraV7dCzIRFtQOjPxNydkW7exsbyLZ4hO7okpuGNZSrf0e kiUH5j6pRZSyCb/By1G3jlubDCvvZO/hRtwiWaZJWx/hGfcfsds3Rrb4N3RX7hfxGlOXzF23 AHeHUP0JNy15ZORnpbHvPq5Uje6V5hUd2/xyomBsC+y/2FCHBi4meyrl9njEAUglyHhhJFxT SudlB/necHw0riid+Jqek49HFjn989zAZ1ziKM1lM9WxH0dgImN8H4DkGrpd9tBsU7nRFwKQ zNDg9vc4Qy+nVZmMmrM3IXhEHOU3spmYdC+JGIQwCM0qc5QWu+S6/RfkC15r0Ddz0qZaOVhn job1fol6WILy+APtg03yyyBA7cUVUBGNC3onh6M4piwtqJSLGqodLGx0gJ5k7XDRPmZowRbX jDjfZ0jGSt59MlXLVfL1mHr54XgedTKK9wJ91WVnxrGk+lJOccpjPNZ4EgvcWn5vHAj16s6l Uk3jMr84dHBcjg3uvnmUXs6fnXvasge+y/gl/Nbl8eShMW0G4l5Xy4MRN3uRO6pFzQbsbLmM RyPGXsysCT+e/KXEAmB5UNht3+KHYqsMiTdP3gcytMkXh6XJUhbiRoYdCg/mZglDg2uwM3sa gF3/HpCgzyw4gsJ0e9uOxTlBy3EpQKvbHEuT5KeKB5f9A1q+kLSN9CG4+Z3HixCuJO75l/oS CTTd0FDCmcHXVaBDlboM+y15NXOxOOfA/K3M/rEZbjmRfV2b/6T3trv14Jn+23JLcCTJjx5C OV93ENfXHd/EsCfmjMVSiVRmTifJ8KcoR69/GVwoKXduLzwWQfo482VDLFTNdFm4RyenKKEM fKIiSJ9KDtCkJ0WjXPF07kQ2lcOhjomLmj2V+lZ83eQFuSLxedeFHt5I2trOdFN7r4g0wUFI sPdht7vl/Z5gvMzF1ZZRAnkk8Cta9YNJjL1P1fGCUCXcbWecGSamIeqOOXlFOcW17oH0n/48 SyWGELiIDmZwjzgVhT0dPpJkDneJxtG/oe0bhdqD2HnCtPgcByydtFt3lhUifU5gG3HMWkEP H1yaURI+/eL7CZfhLNlHGZA6n5sN+WshiOe6fXAJ5ISsPZxRCpu3bE/gjxy2/5O4SdISeYg0 jDTq9lo5UuhmOiLzjN9XDJTrzFNmJqGuUFjNL+f+IMKChOmtFodqG6XDRoNvd5sDNbi7rtRx tb4n6X2MD5e8tjQ8JhUF43OJcmAKnZkLQvxFWueEl4eVTDyfzK65QQVgLSI+3aStJR/tpX8h M9EVOpATFJsXvICVhY8TYdEfc4xB25+1+XBy5RYrWy3qB2bLClDlqjOTenaQfDmKTLCyKJBe wNN2rTga4IaKoz83UVmLFh8hoXDXUTKD5hBpShobwl8p0sokjA2Vmoox0fscR+g+lcWBaDyg xsxjBdmbOAp9Tr2pVktblbHvyo/lkAtlM6t2GHKNmOoav7tB8cNVGL9rC1TetvjThxwbBGuk EAsLzrCS79LzvNheW1tlA7AqM5PFPpbHuVPZB4dw+3SZu19iAUH7Hj+gxYav62eVsgH9kNia 5OnonNe1hg2adc0IfeVP69V1h1LgbrIuCa01+c3yQtYJkAX8WrUdjRb3S5AfrQgOSes+fRhr AKYnD4WMnMNUv0s5Oht/EI5P+2awwr91rlFNli8M+ieIrnftXKKxqvqChsgk1gFkUVI5+08y cA4b0+dTFwi1pOUB0pPKM/FLx1NYs5W9XXJOyiU+7aoo9o9L8C2EebmSvWLvaAfjxe/HQonK I8L69wIApim1EyLZdeiNrMOzg8hoRj6PFjQRuocYwqFyX1UxqP3hI8yx4RWISsRRHlwITnir KiCvRck2bKCRItkOyZBGNZdcCtrAovhwWkD7zxWBT2zmIrxJyCf6jj6ujzdCD39YsAlau3GP HuE7fmr/DI577C7jVrW/4+YKXuobbyKW/fK+b1cupOADe9MQL15skrG3YdCFSXCbg==
- Ironport-phdr: A9a23:MX9XyhxzR3pufVTXCzIVz1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z hGZvqo0xwOZFazgqNt6yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/6y9pHJbQhFhiexbbx9I Ri1sA7cqtQYjYx+J6k+zRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3Q qBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4 qx2UxLjljsJOCAl/2HWksxwjbxUoBS9pxxk3oXYZJiZOOdicq/BeN8XQ3dKUMRMWCxbGo6yY YsBAfQCM+hFoIbyu1oOoxyiBQS3Huzj1iNHi2Xs0KEm0eksFxzN0gw6H9IJtXTZtMj7NKYXU eCyyqnD0CnNb/RN1jf87IjIdgouoeuRUrltdsfR0kgvFwbCjlWWs4DlJTSV2f8Ms2if6+pvT /ivhHM8pgFspzivwcEsipXRho0LzlDE8SR5z5gvJdGiRk57e8epHZ1NvC6VK4V4WNktQ310u Ckk0L0Gv4a2cScFxZkpxhPRZfKJfouM7x/9SuqcIDl2inJ4dbyxhBu8/lWtxOL8WMWq0ltHo StIn9rRun0TyxHd5cqKR/hz8EqnxD2B2QfT6uReLkA1k6rWM4Uhwr81lpoUt0TPBzX2mELtg 6+XckUk/vKn6/76bbn8oJ+TKZN0hwfjOaotgsyyGfk0PwwAUmSB+emwyafv8VD5TblUlPE6j 6fUvZ7CKcgGoqO0DBVZ3pgj5huwFTuqzckUkHcdIF9HeR+KiZXiNUvUL/DiF/i/hkyhkDJsx //bILLsGo7NLn3fkLf5erZ99lJcxBIzzd9B45JUDakMIPfvWkDrrdDYCQI5MxCpz+r9CdV90 I0eWXiVDaODLaPStFiI5uQzI+mUeoAVvDL9K/k76P70l3M5l0UdcbGo3ZsRdn+4AuxrL1idb HfimNsMEXoGshAjQOHqllGOSyNfani8Uq4k4zE0EoOmDYPNRoC3h7yB2T+2HoZXZmBDDVCMF 23kd5+DW/gXaSKSJsthnSYeVbe8UIIhyBSutAj8y7p7Nurb5CkYtZbi1Ndr/e3fjx8y9SZsA 8SbyG6CV3t0kX8QRz8qwKB/plRwxkqe3aRgmfxXCcRT5+9VUgc9LZPczvd6BMrpVQ3feteJT EipTsy7ATEqUN0x2cQObl1hFNWmlBzMwzClA7oPm7ORGJM46L/c33vpK8Zn13nGzLUhj0UhQ sZXOm2pm7R/+xHSB47MiEiZmLuldb4F0C7M8WeP12SOvFtAXA5qTarFRWwfZlfRrdnh6EPCV aWhCbE9PQdY1cGOM7ZFatzyjVpaWffjI8/ebnm+m2eqAhaI26uMY5Txe2kHxiXSFk4EnBoP/ XmYLwgyHCmho3jGADx0CV3ve1/s8fV5qH6jQE40zwGLYkN427Wp/h4VmOeTRugc3rIevycht i10E0im397MEdqPuQxhc79AYdwj+ldLz2zZtxZlMpy6M69inkIecxhwv0722BV4F59AndIlr HMyyAp/MqOY0FZbeDOXx5zwNKfXeSHO+0W3bLXK1lbVmN2NsvMX7+8kp1Lo+gqyPm8r8nFD0 sJJlXKBoJnJWk5aWJ39Ww5j/hd2rpneYzIh/MXf1XRoNKSuqXnZ1oRtTOAi01Ore8pVePePE xa3GMkHDeCvLvYrkh6ndERAdP9S5fVxNMe7fbPSx666Z6NrmC+spWtd551l31nK7Sd6Q/LFx dAL2afclgWdXjL1yVzkvsHskp1ffnlGEHC2zCGhD8tdZ7Z5YJ0QIWi0JNCvy844nZPrUmJV7 hitHQVCkMClY1Kdd1i1iQJczwIYuXiPmC6xwHp6iWdt5qWTxmnPxqy2exYdf29ObGZulxLtJ M66lYZeFEmzZgIkkB+ooFvhyrJA7PB+NGDZTENMcm3rNGx4SYO7svyJassJ4ZhurCYBFKy7a lmfTvv/pBEBm3fkFGJbwHU5cDuxkpT/hR1zzmyHejI7tGDefs9sxRrY/s30Qf9KwiFATiBki X/eDR6hPJ3h5tiLkI3HvqjqTG++UYdXfQHwzIybsyWno2pwDkvsseq0n4jcEA0912fB0NNrU SHBthq0NpLq0qO8d/hgdEhsAFbm5+JnH4Z4jpM9gJUR1GJciI/DrilPqnv6LdgOgfG2V3EKX zNehoeNuGDY
- Ironport-sdr: 646b8aee_0VTTMABVEQqQz6QNdo5u3R3PAfWSl96+HgP6kDm5YpW+/dD /quZRT+HqNqOaNgR32xVEqWZF+TGPNnanL8h5YA==
Dear all,
The Université de Montpellier is funding an 18-month post-doctoral position at the LIRMM research department, to start in September 2023.
The position is open to candidates who hold (or will soon complete) a PhD in computer science, with a research background in automated reasoning, program verification, programming languages, or algorithms.
For more details about the project and the position: https://simon-robillard.net/content/postdoc_verindex_2023.pdf
To apply, please send a mail to simon.robillard AT umontpellier.fr with a resume. Application is open until June 23rd.
Best regards,
--
Simon Robillard
Maître de conférence -- Associate professor
Université de Montpellier
Maître de conférence -- Associate professor
Université de Montpellier
- [Coq-Club] Postdoctoral position at Université de Montpellier, Simon Robillard, 05/22/2023
Archive powered by MHonArc 2.6.19+.