coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Simon Robillard <simon.robillard AT umontpellier.fr>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Post-doc position at Université de Montpellier
- Date: Tue, 3 Jan 2023 12:09:46 +0100 (CET)
- 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:ePcOx6/4+DmOO7gGbexcDrUDbX6TJUtcMsCJ2f8bNWPcYEJGY0x3n DEfDzqDOv/fY2b0Kd8ibInjpx8BsZ+BytRjQAI9+SwxFiIbosfsO4iUfxz6V8+wwmwvb67FA +E2MISowBUcFyeEzvuVGuG96yM6jMlkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/ouOZjdJ5xYuajhPs/vb80s21BjPkGpwUmIWPKgT1LPhvyF94KI3fcmZM3b+S49IKe+2L 86rIGaRpz6xE78FU7tJo56jGqE4aue60Tum0xK6b5Ofbi1q+kTe5I5gbaZBNh0H49m+t4sZJ N1l7fRcQC91ZfeUwIzxWTEAe811FfUuFLMqvRFTGCFcpqHLWyKE/hlgMK05FYtFvfcvMENkz 6cJOB42YCGTgPq1mr3uH4GAhux7RCXqFIYDszRn0C2AS/cgT4rKBbjP4tlExDo0gsFDB7DQf aL1axI2PU+GPkQJYwpNTstlx49EhVGmG9FcgEmUoK0xpXLUxg111LH3PPLIf9uMWd1YmkKZq 3iA8X6R7hQyaILBkGHbqS7EaunnoyCmaa84OuODqaRGpn2dzGstNi83fA7uyRW+ohfiCoMAe xN8FjAVhaM17QmgSsT3dxy+un+N+BAGM+e8CMU/9AjIzbfIukCYAGYeR3hcbdsgqNc7QTgr2 0XPkcmB6SFTXKO9Ty/a5++ljxmIYjkFA1QMVD8DVQhf7Iy2yG0stS7nQtFmGa+zq9T6HzDs3 jyHxBTSYZ1P1KbnMI3npzj6byKQSovhElVpt1iPNo6xxkYgONH+N+RE/HCCtZ59wJClok6pk kJsdyK2xukfCpeLmURhq81TQOjxv55p3BX6hkNxEp0l+nGE4mOiYYlR5jwWGauEGsMYcHruf VOK/wJX6oVaemavaqlre4+1D8Un1+7uD7wJt8w4jPITM/CdlyfdpEmCgHJ8OUi3wCDAdolkY /+mnT6EVypyNEie5GPeqx0h+bEq3Dsi4mjYWIr2yR+quZLHOiHPF+dZagHTN79nhE9hnOkz2 4gFXydt40sGONASngGNrt97wa0icShrWsCu+6S7iMbce1o4cI3eNxMh6ep9Kt06z/s9ehbg5 Hy7U1NV0jLCaY7vd223hoRYQOq3B/5X9CtrVQRyZgzA8yZ4Pu6SAFI3K8dfkU8Pr7Y4nJaZj pAtJ629Pxi4Ym6XoGlFNMKg9NEKmdbCrVvmAhdJqQMXJ/ZILzElMPe9Fucz3EHi1haKiPY=
- Ironport-hdrordr: A9a23:F7g2jqzLXImCUj7tV/O4KrPwIb1zdoMgy1knxilNoH1uA6ulfq WV9sjzuiWE6wr5NEtBpTniAsi9qBHnhPxICOAqVN/IYOCMghrMEGgN1/qH/9QiIUHDHyxmuJ uIv5IQNDQ4NzZHsfo=
- Ironport-phdr: A9a23:k8EX8BY5eTPazNuRYJhDXZf/LTHH2oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gKPAtmQsasMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQVFiCC/bL59I xm6sxjdvdQKjIV/Lao81hTGrnxUdupM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02Q aRXAzo6PW814tbrtQTYQguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+8 6tmTgLjhSEaPDA77W7XkNR9gqxbrhy/pBJx3oHbb52UNPR5YqPQZskVSXZdUctLTSFNHoGxY o0SBOQBJ+ZYqIz9qkMToxu/AAmsA+XvwSJUiH/xxqI60uAhEQXc0ww6At0FrXPZrM70NKcXV uC1yrPEzS/Eb/xN2Df97IzIfQo7of6RRr9wbM/RyU4pFwPZllWft4jlPzeU1usTqWiX9eRgV fi2hmMhtgp+rSShyN02hYnVmoIa1ErE9SNhzYs1JNC1R1B2bN64HJZRuSyUOZV6T90hTm9ou ys3yKEKtIKmcSYKx5kpyB3SZfOZf4aG/h7uSPidLStmiH54eL+ygQu5/0u4yuDkS8W51FhHo jBFn9XRrHwByhze5tadRvZz/EqtwSuD2gTc5+1eP0w5laXWJ4Q8zrItmJcfq0bOEyvulEnri KKbeF8o9+i15+j9f7nrpoGQO5VphgzwPKkjnNG0D/4iPQgURWeb/Pyx1L398k39R7VHlvg2k 6bYvZzAOMQbo6m5AwlJ0oY79Rm/CzOm0NUGknkdNl5FdgiHg5DoO1HIPv/4Ee+yj0monTpl3 fzLPqDtDo/QInXDjrvtZ7hw5kxExAo2199f5pZUCr8bIPL0X0/8rMfYDh48MwyzxebrEs991 oQFVmKOBq+ZNLndsUWV6e80PumMYYgVuDDhK/g9+fHuiXs5mV4Dcqmzx5cXZmq4EuxgI0qCe XXsmMsOEX8WvgoiS+znkECOXSZJZ3muR6I8+i07CIW+AIjfQYCtmaWN0zu/Hp1LfW9LEUuME Hftd4WcQfgAciOSIsl7kjwFT7etUYEh1Qv9/DP9nrFgN6/f/jASnZPlztl8oePJxj8o8jkhN MWY1GfFdWZ+n2cMTiU6lPRkoEl6zBGZ1qJ5h/hRD9B7+vZOVBsiOJrYzuFgTd7oDFGSNuyVQ UqrF431SQo6Scg8lodmiydVHtyjikuGxC+2G/oOkKTNApUo86Xa1ny3JsBnyn+A2rNyx0I+T J5pMmurzrV66xCVH5TAxl6YkqGsM74b1i/J8G6ZwUKTuUZeTBZ9VaHEUGpZaFGF5c/h6Bb6R qS1Qa8iLhMHzMeDLqVQbdi8llRDQ/GlItPUYma1kn28LQuNwbWQdIfuf2QQxmPTEhtMiBgdq E6PLhN2HSK9uyTeAThpQEroeF/p+PJipWmTS19qiRyPaEt9z7ex/h8Yn7qSUZv/x5oivyEs4 3VxFVe5hJfNDsaY4hFmZONaaM8851FO0STYsRZ8N9quNfIqgFlWaAlxs070snc/Qoxdjcgnq m8rxwtuOOqZ1l1GbTaRwZH3PPXeNGDz+Bmlb6Oe1EvZ1Z6a/aIG6fJwrFuG3knhDUsn9HMhy d5f0n+Y74/GJBcXVpTtSksz8xl3vffUeGh15o/Z02FtLbjhqiXLiLdLTKMuzhetecsaMbvRT V6pVZBDQZHzcqpxxAvMDFpMJu1Z+a8qMtnzcvKH3PXuJ+N8hHe9inwB5olh00WK/i46S+jS3 p9DzevLu2nPHzr6klqltdj63I5eYjRHVHG+zC/iQpRWbKx2eY8RBU+zJsqx2s1zg5rsVmQe+ kTpVDZkkIe5PAGfaVDwx1gazkUSpnrhgyyyzjhwmislhrea2yrS2+nmcBsKIChFXiMx6DWka ZjxhNccUk+yagEvnxbw/kf2yZ9Qo6FnJnXSS0NFF8TvB1lrSbD49r+LYsoUrYgtrT0SS+OkJ 1aTVr/6pRIelSLlBWpXgj4hJXmmvZDwnhoyj2z4Tj47t3vcfsc23xDV5djYTORd9icDQy9kk TTTAlmxJZ+n552YmozCvea3S2+6HsQCKm+2lMXZ6XH9vjIiCAba/bj7gtD9FAkmzSL3n8JnU ynFtle0Y4Xm0bi7LfMye0BpAFHm7M8pUop6k4Y2mNQRwS1D187ToCNByDqpd44EisecJDIXS DUGwsDY+l3g0UxndTeSwp7hE26a2o1nbsW7ZWUf3mQ86dpLAeGa9u8h/2M9r1ymoAbWefU4k C0azK5k838fhOdPog0nzyGZC6oeNVRdOirwjxmM69GztuNZfiz8FNr4nFo7ht2nALyY90tHW XP+fNE4GiVx6sF2Kl7kzXj07J38dd3UbN8J8BOO2USl7aAdONc6kfwEgjBiMGT2sCg+yuI1u hdp2ImzoImNL2g+tLL8GBNTMSf5It8C4jy4x7gLhd6Yhsr8e/cpUiVORpbjSuikVS4fpeiyf RjbCyUy8z+aAeaNRF7Erho/6SuSSdbwbTbNdDEPxNFmDnFxPWRniRsPFHU/l589TUWxwdD5N Vx+/nYX70L5rR1FzqRpMQP+WyHRvlXgZjAxQZmZZB1Yi2MKr1/SKtCb5/lvEjtw+43/6hGIL WqHfwlMCWAEQAqKHRjvM6Kv6t/J7+WDTrPvdL2TOPPX9LYYDKjAzInKsMMu5zuWM8STInRuR +Y23EZORzExGsjUnSkOVz1Cly/JaJ3TrxO99ytr68Gnpa26A0SyvM3WVuEUaoo8nnL+yb2OP OORmitjfDNR15dXgGTN1KBax1kKzSdnaziqF70E8y/LVqPZ3KFNXHt5I2t+MtVF66Uk00xDI 8ne35nu17t/iLgvDF1EUVjogM2BeMkNJX2lOVfDBUuRcrqcb26uoYm/ceanRLtcgf8B/QW3o iqeGlT/My6rkim3EQ2qNudQlCyfOB1TosezaFw+bAqrBMKjYRq9PthtiDQwyrBhnXLGO1kXN j1kel9MpLmdvmtIx+9yEGtb4j95PPGJzmyHuvLAJM9c4p4JSmxk0vhX63Mgx/5J4TFYEbZrz TDKoIcmokn6wLDekXw6CVwX92wN39jM5xUqL6zd8tMosZns4RcK63mIBhAOptZ/TNP16fk4I jnnkbKtbipH9NTI5cYYA8nZMoSJKih4WfIMMCPRCw0ZVTOvMWDSnQpTiqPKnkA=
- Ironport-phdr: A9a23:S9HZ4hwBRjfZ0ZXXCzJ+ylBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z hGZuqkm1gaBdL6YwswHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7yeC/94fRbghHizaxf65+J wiqoAvMscUbnYRtJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ 7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4 qF2QxHqlSgHLSY0/m/XhMJuj6xVvR2uqAB+w4DTfIGYL+Bxcr/Bct4AX2dNQsRcWipcCY28d YsPCO8BMP5FoYn8olsOqh2+DhSwCuPo0TBIh3v23akg3OQ7DA7NwQstH8kPsHTRq9X1Mr0eU fqyzKbTzDXDa/dW1i3n6IfVaR0hvPSMXbV2ccrN0UkgCQfFjlGRqYP7JTOZzOoNs3KC4udmS OmghHIppRtrrTiz2scjlJPJhoQNx13E9Ch0z5g4KN2kREN6b9OqHoVcuj+ZOoV2Qc4vQX1kt Tonx7MGtpO1cysHxps5yxDRd/CKb5aE7g79WOqMITp1gm9udrGnhxuq7EStzuPxWtO03VpXt CZJj9nBum4X2xDO5MWKRONx8lql1DuAzQzf9OFJLE8umabGNpIszKQ8m5gXvEnFAyT4gl/5j LWMeUUh4uWo7uPnbaj4qZKELI90jx3+MrwpmsyiHeQ0KggOUHaf+eS7zLDj+FH5T69Tgv0xj 6nZrI3WKd4apq6/DQ9VyJws5wyiDzej19QYm2UHLEpbdxKDi4jpOk/BIOriAfexmVSgiDZrx /bYMb39GpjBM3zOnbn7cbt99kJQ0hc/wNBB655OF70MLvz+Vlf0tNPCDx85NwK0w/zgCNV4z o4eQmOPAqqeMKPUq1OI/OUvLPKNZI8RvDbyMeIl6OP1gH8knF8deq+p3YcPaH+mGvRmJ0SZb mT2gtsbH2cKpBIyTOrxh1KaSz5ce26yX74g5jE8EI+qEJ/PRpqxj7yZwCe7AppWa3haBVCLC HfkbpmLW/MRaC2JOcJhkzoEVaKgS4A7zx2uuhX6mPJbKb/f/TRdvpb+3vB04ffSnFc8729aF cOYhlqMSmZy1lkPTT4y2KllrQQp0VaG1q4+mftSFNhX7ulFeho/MpjA1+F+D9H/QETPZIHaG x6dXty6DGRpHZoKyNgUbhMlc+g=
- Ironport-sdr: 63b40cfb_ge6ZcFrc2w/v3Wc8/w0G/SE5Pjvuhajlj87xwynRh89VXeC bJsQrZxtYOGqz5VxXtnjpFMX8m4vkafzMlHlKRg==
Dear all,
This is an announcement for a post-doc position at Université de Montpellier. We are seeking candidates holding a PhD in computer science, and with expertise in program verification, particularly using proof assistants.
The aim of the project is to formally verify term indexing algorithms (as used for the implementation of automated theorem provers, logic and functional programming languages, and other symbolic computing applications), in order to produce verified and efficient implementations.
The successful candidate will be employed by Université de Montpellier, and will join the LIRMM research department. The position is for 18 months, starting on March 1st or later. The monthly salary before taxes is between 2674€ and 2762€. The working language can be either French or English.
Please contact me <simon.robillard AT umontpellier.fr> for further information about the position and the application process.
This is an announcement for a post-doc position at Université de Montpellier. We are seeking candidates holding a PhD in computer science, and with expertise in program verification, particularly using proof assistants.
The aim of the project is to formally verify term indexing algorithms (as used for the implementation of automated theorem provers, logic and functional programming languages, and other symbolic computing applications), in order to produce verified and efficient implementations.
The successful candidate will be employed by Université de Montpellier, and will join the LIRMM research department. The position is for 18 months, starting on March 1st or later. The monthly salary before taxes is between 2674€ and 2762€. The working language can be either French or English.
Please contact me <simon.robillard AT umontpellier.fr> for further information about the position and the application process.
Best,
--
Simon Robillard
Maître de conférence -- Associate professor
Université de Montpellier
Maître de conférence -- Associate professor
Université de Montpellier
- [Coq-Club] Post-doc position at Université de Montpellier, Simon Robillard, 01/03/2023
Archive powered by MHonArc 2.6.19+.