coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Job: Lecturer/Senior Lecturer in Mathematically Structured Programming at Strathclyde
Chronological Thread
- From: Guillaume Allais <guillaume.allais AT ens-lyon.org>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Job: Lecturer/Senior Lecturer in Mathematically Structured Programming at Strathclyde
- Date: Fri, 22 Nov 2024 14:04:09 +0000
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=guillaume.allais AT ens-lyon.org; spf=Pass smtp.mailfrom=SRS0=7uQa=SR=ens-lyon.org=guillaume.allais AT bounce.ens-lyon.org; spf=Pass smtp.helo=postmaster AT sonata.ens-lyon.org
- Ironport-data: A9a23:wwT1oKIiizaMiETkFE+RcpElxSXFcZb7ZxGr2PjKsXjdYENS0D1Rm zYeXT3QbK7bMTGjftkgbNvj/UMOvp/SnNQxGVQd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgb/s9JIGjhMsf7a8Uk15K2aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0Ludnfh781oEnwMZ6Yi4Pt6EHhh/ qMpJ2VYBvyDr7reLLOTUe5qj9gqasTtJ8Ybq3ZmizbDAp7KQ7iaH/2MuoAehWluwJkVTZ4yZ OJBAdZrRC/6WEUaZUouAccFprKlgGK6dyxfrhSSv6Vi7HXSyAh4zb3gdtPRftWLXu1fmVuer W+A8mLiRxULM9rZziCKmp6prraewHigCNJIT9VU8NZWhWOUwFQWWCQVWECpvtuSzRKiGOtQf hl8Fi0G9vVuqhfzH7ERRSaQq3md+xUYRtB4CPw/8AjLy6zO4g/fCHJsc9JaQMchssYqTHon0 ETMm8LuA3poqrL9pW+hGqm8qD+/FRATM1I4PwQ+VxYI8sDMq94CgUeaJjp8K5KdgtrwEDD25 jmFqikimrke5fLnMY3npTgrZBrw/PD0oh4J2+nBYo6yxi1DDLNJiqSz7l7S8f8GIYCCC12Qu 35CnNKRhAzvMX1vvHHTKAnuNOj3jxpgDNE6qQQ+d3XG3278k0NPhagKvFlDyL5Ba67ogwPBb k7Joh9275ROJnasZqIfS9vuUJ5wlPOxTIy0Cam8gj9yjn5ZKFfvEMZGORP44owRuBFEfVwXZ 8nDLZbE4YgyVf44nVJauNvxIZdwm3xgnjuCLXwK5xms1r6TLHiSU7IMNFbGdf0h4bmFrRjP/ p5TOoOO2hJZGODmeSLPmbP/3nhWRUXX8ave8pQNHsbae1oOJY3UI6aAqV/XU9U0x/wN/goJl 1nhMnJlJK3X2SWfc1nTMC87MtsCn/9X9BoGAMDlBn7ws1BLXGplxP53m0IfLOl5pt9wh+V5V ecEcMimC/FCAGaPsTcEYJW36MQoeB23jEjcd2CocRouTa5GHgbpw97Dehew1S8sCiHsi9Ayj Yf93SzmQL0CZT9YMuDoVNyVwWich0MtwNBJYxOQI/14Wlndz4xxGimg0t41O54tLDvA9Bu71 iGXIxMSo8zRqa8x7tPI2L6PqoyoN8BcHUNqOXbRwpjrFCvd/0ulmZRhVsTRdx/jdWrEwoeQT sQL8OPdadopxE1rtah4GJZVlZMO3cPl/eJm/141DUf1YESOIZI+BHu/hO1klLBHn51dsiuIA nO/wMFQY+i1CZm0AWwqBVQXa8qY3qspgRjU1/M+JXv66AJR/LaqVUZzPQGGuBdCLYlaYZ8U/ uM8hPE4swCPqAImEtKjvBBm826hKn8hUaJ+kro4BITtqBQgy3AcQJj6JxL13qqyaIR3AhF3G gOXuavMvKQD50zgd3FoK2PB89AAjrszuTdL7mQ4GXK3pvT/iMUKgSJhqQYMclwNzzFs8f5CB WxwBkgkeYSM52hJgeZAbUCNGiZAJhyToXLs+gE0iV/mEluMaXyQJjdhJOzW3kY48n1dTBdf7 rq32Gboahe0XcDTjw8Ze19plOzndvN1rjb9ocGAG9+UOaU6bR7OoL6cVUBRpzTJWcoO1VD6/ 8909+NOWIjHHC83oZxjLbKF1L4VGSu2FEYbTd5PpKo2THzhIhes0j2zKme0SMNHB9rO1WSaU 8VOBMZ+Zy6S5Ra0jAIwJPAzeudvvfsT+tA9VKvhJjcGv5uhvzNZis/s2RaktlA7YedFsJgbE ZzQRQKgA2bLpHpzmk3xludmFFe8Q+E5YFzb4Ljo3sQPT4kOocN9Q3EUi7GUhUiYACFj3hCTv T7AWZPo8vxf+dxssbfBQqRnLCeoGOz3T9WNoVySscwRTNbhMvXulgIyq3v1NV4LPbc+dslFq umflOHngUmf4Ks8CELfupieFptm4de5c/pXP/nWclhbv3qmc+397yQT/1uXLcRyr+pcwc28V S6UVdCVd+NJa+xCxXZQVTdSIywdB4vzcK3kgyG39NaINTQwzi3FK4mB2ULyTGQGaBINBYLyO jX0t9mq+NpcioZGXz0AJvN+Bq5HME3RYrQne/LxpAunIDGR2H3agYTblD0k9T3vIVuHGpyj4 Zv6Gz7PRC7rs6TMlNxko4h+uyMMN0lEgM4yQ1k8/uBngDXrHU8EKuUgaa89MK92qRCr9p/EZ 2DqVlAAWBXNBWEONV225dn4RQ6QC9AfItqzdHRj40qQbDzwH4+aRqdo8iB7+XptZz//16edJ MoD/mHrdA2Eqn2zqT3/OtTg6Qum+h/b+p7M0Vv6lcXuClATB65P0G1mGkxKTyOv/wTlihDQP WZsLYxbaBjTdKIzOZ8Il71p9NUxtjTyyT4lKyqJ25PbqoKdiupax5UT/snth6YbYp1iyKEmH BvKqqjk34xS8nEVou4tqtUvx6huBppn2yR8wLDLHWUvok171ojr0w7uU8bCoAHONTOzy2/gq wQ=
- Ironport-hdrordr: A9a23:KXUehaNOcKrHA8BcTtSjsMiBIKoaSvp037BZ7SBMoHtuA6ulfq GV7ZAmPHDP5wr5NEtQ++xoW5PvfZq/z/JICOAqVN/INmTbUQCTXeRfBOXZsl7d8mHFl9Jg6Q ==
- Ironport-phdr: A9a23:f3uF4RXW/z2/F5c3S7qPQLlf+XrV8KxLXDF92vMcY1JmTK2v8tzYM VDF4r011RmVBtydsKMP0Lae8/i5HzBbudDZ6DFKWacPfiFGoP1VpTBoONSCB0z/IayiRA0BN +MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55I AmroQnLucQbj5ZuJrw/xxbNrXdFdetbzn5sKV6Pghrw/Mi98ZB//yhKp/4t68tMWrjmcqolS rBVEDspP2cp6cPxshXNURWB7WYGXGUMlRpIDQnF7BXkUZr0ryD3qOlz1jSEMMPvVbw7Viis4 KltSB/zlScILCU5/33Nisxxl61UvhSsrAFizoHOYYGVMP1+fr7Bfd4fWGFMUNpdWzBHD4iha YYEEugPMvtCr4TlpFUAoxSxCgeyCu3v1zFHmnD40LYm0+kiCwzKwBAsE8wMvXnSsd77NL0SU eewzKTQzDvDcvJW2TP56IfSbxAhpO+DVq9sfMrVzUkgDQLFjk6NooHiMDOVy+UNs2yf7+V6S OKvjnAopxtrrTirwscjkIjJhpkOx1/a8yV52585Jdm4SU58Z96oCpxQtzuVN4ZvRM4pXm5nt jogxLIcpZ67YDYFyI4hxxPHafGKd5SE7xb9WOuQPDp0mmxpdbC/ihuy7UWs1PPxWte13VtUo SdIlsfAu24Q2xLc5cWKS+Zw8lmj1DiB2Q3f9udJKl06m6rcLp4u2L8wlpwLvETBGS/5g172g LWMeUo44OSo9ufnb7P7rZGfL495khzyP6sylsClA+k1MBICU3Wa9Om9zrHv4EP0TbZSgvErn KTVrIrWKdkbq6O9GQNZz4Uu5halAzu70NkVmX8KJ09bdRKDkojpIE3OL+7iDfmiglStkSlky ujaMrDnH57DNGLMkK37crZ480NcyBQ8zdRY559MEbEBJ/TzVVXttNPCFBM2LQq0w/3+BNV51 oIeXmSPDrWeMKPIvl+E/uMvI++Sa48JoDvxNvco6+L0gXI7m1IRZ7Sl0JoWZXyiA/hrLUaUb WLpgtgbEGcKugQ+TPbtiF2HSTNdemq8Ub8g6jwjCo+mEJzNSZq1jbKcwCm2BoNZZmZdClyVF Xfpd4KEW/EWZCKVOM9hnSQJVbe8S48g0RGusBX1y6diLuXK4CEXr5bj1Nxv6O3SjhE/7id7D 8OA02GLU257gHkESCEw3KBkuEB9zleC0a9+g/BCEtxT/fxJXh88NZHH1+N6Ecz9WhrdfteVT 1arWsiqDSkrTt0t298Of1p9G9K6gx/f2CqqGqYZmKCPBJwp6a3RxGPxJsZ4y3bezqYtlVgmQ s1VNW2nnKFz7QbTB5Sa23mewq2tbOEX2DPH3GaF12uH+k9CAyBqVqCQcm0eYk/fsNH0rmrGS 7avEvxzPRZAzcqLN65HLNTtiVxHX9/uPs+bZ3O2nSG3HxneleDEV5bjZ2hIhHaVM0MDiQ1Gp R5uVCA7Dyal+SfFCSB2UEjoaAXq+PV/r3WySgk1yRuLZgtvzen94QYb0NqbTf5bxbcYoGE5s TwhE0u829bfFt+N4QNleKxdevsw5kwC0XPesUp6JJPzZ7t6iAsmeh9s91jryw0xD4xBlcYwq 3Z/9zBJcffHzWpIIgiiiJ32IfjTO270uhe1ZPvZx1Da1N+L/6pJ4fA8olT4lAuuC0wp/jNq1 cIQ12qb4NPNFgVBGYnpXBMP/gNh76rffjF7547Q0ih0NrKotzbZx98zLPAizB+8dpFSNrjBE B71FYsdHcfGxPUCvV+vY1pEOelT8PRxJMa6b76c36XtOu98nTWghGAB4YZn00vK+TAuAujPl 40Ixf2VxG7lH3/1kUuhv8brmItFeSBaH2yxzjLhDZJQYas6dJgCCGOnKcm6jttkgJulV3ld/ V+lT1QIva3hMRWPblj51BBV2AIepXiumDCQwjpv1jU4qazZ2zbBgqzjeBcBJm9XVTx6l16/R Or8x9seXUWuc00ojE78uR68mPcd/fohaTCIERQtHWC+NWxpX6quu6DXZsdO7MltqiBLSKGmZ lvcTLfhohwc2ielHm1ExTl9eSv53/ex1xF8lm+ZK25+6XTDfsQljyzl34SJGuNo1289fnx1j yKSAkm7OZ+u59rBmIrCtuS3SmesEJRXdSDq1quKsza97mAsDBuk2vSinduhFhI1m3yetZEiR WDToRDwb5O+naunMOZjd1RtCRn1785zG5pWn40rwZUB3n5cgY+atyli8y+7IZBQ3qTwa2AIT DgAzovO4QTr70ZkK2qA24PzUnj1LtJJX9CheStW3ys865oPE6KI9PlemiAzpFOkrAXXaPw7n zEHyPJo5mRIy+0OvQMsyG2aDNVwVQFjBxe0wkuV1tnrl58CaWC0NLyh00w4msquWb6fowVYU Wv8d9ErGSt5795XOlXR1nb+rIziY5zUfNUV8BqOnHKix6BZJYkwmfwDmSd8cTuh5Tt6lKhi0 0IohMrq9IGcY31g5qe4HgJVOnXuasUf9yus6MQW1sea0oazH4lwTzACXZ/mV/WtQ3oZsfXqM RrLESVp8yvDX+WAW1bBtgE/9CKcdvLjf2uaL3QY09h4ERyUJUgFxRsRQC1/hJkyUAaj2M3md k59oDEX/F/x7BVWmYcKf1HyVHnSoACwZ3I6Up+aeVBt1DoashjICMXL1dgmEidDu5mwqwrLL XaUMgtVDGUNU1GBChbqOr2n5MLo+e+FAOGzafbIevCKuOtYEfCSytj8t+kutybJLciJMnR4W rcA4HEbCC9kIs2MoA9aRioM0ibcaMjdow2zryJqr8S7+enuVUTm4Y+GCqB6O9Jy/Ru7x6qFL KuUlSF/bzFC2dlfoB2AgKha11kUhSZ0cjCrGrlVri/BQpXbnapPBgIaYSd+Z4NYqrgx1Q5XN YvHm8v4g/Rm2+UtBQ4PBjmD0om5INYHKGanOBbbCVaXYf6YcCbTzZi/aPGnTrtZkOwSuhur/ DKKFEmlOS6M3zz5BRu1MPpQhTzdOwZR3eP1OkFkDWypJD7/QiWyK8Q/zTg/wLluw2jPKXZZK z93NUVEsryX6ypcxPR5AW1IqHR/f6GInCOQ7u+QLZhz07MjGiNvi+dT+2g30ZNO6ydNWPUzl S3J69p/pFfglfOAgjZqSxtBrD9XiZnD5Bk6f/qGsMAeBzCdp0JF5H71aVxCv9Z/D9zzp61cg sPCkq7+MnYK8t7Z+9cdG9mBKM+DNylpOh7oFTjISQodGGf3bSeA2AoEzq/UrybF/f1Y4tD2l ZEDS6FWTgkwH/IeUAF+GcAaZY1wVXUimKKai8gB4Ty/qgPQTYNUpMOiNLraDPPxJTKelbQBa QEPxOayFr4obtikxnVrP2JAyYnMAA/UTNdL5Cp7YVo7vURJ9HFjS2B10kbhYwK2yHUUCPi/k 1g7jBA7ZfUq8nHr+Vh9dT+o7GMg1VI8n9nom2XbaDnqMKK5Rp1bEQLvsE44Lpq9TgBuKAmjm koiMy3LDeE07fMoZSVgjwnSvoFKEPhXQPhfYRMe8vqQYu0hzVVWrij0jV8C/+bODoFu0Rc7a ZP55WwVwBptNZRmQM6YbLoM1FVbgbiC+zOlxvxkihFLPF4DqSubMGsBvEhCXlHJDyCv4+pn5 EqPnSAGfHkLUbwtuP04ryvV2sybyCTpz7cFJ0aqcuiOKKXfvHLPx5fgqrYY20UT0k1U+r4w1 t0sIRL8ag==
- Ironport-sdr: 67408f5a_O4nRLVAeJ3BypNRC2z7wvG33XlOf1XhB1+wCDMmUG2fU3vw CqiIHb3T92UmMXiYVbh9Ot/nJmkHm551cnMbq5A==
Friends,
Come join us as a **Chancellor's Fellow** (Lecturer or Senior
Lecturer with a reduced initial teaching & administrative load
for you to build a research portfolio) in the Mathematically
Structured Programming group at the University of Strathclyde.
* Location: Glasgow, UK
* Salary: £41,421 to £56,921
* Hours: Full Time
* Contract Type: Permanent
* Closes: 5th January 2025
Our team covers a wide research area from pure mathematics and
logic to compiler engineering, and we use and contribute to a varied
set of tools internally (e.g. Agda, Idris 2, Dafny, Haskell, OCaml) and
build our own too.
More details and how to apply:
https://www.jobs.ac.uk/job/DKR108/strathclyde-chancellors-fellow-in-mathematically-structured-programming
- [Coq-Club] Job: Lecturer/Senior Lecturer in Mathematically Structured Programming at Strathclyde, Guillaume Allais, 11/22/2024
Archive powered by MHonArc 2.6.19+.