Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Logic/Semantics/PL/Verification posts at the University of Southampton

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Logic/Semantics/PL/Verification posts at the University of Southampton


Chronological Thread 
  • From: Ekaterina Komendantskaya <komendantskaya AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Logic/Semantics/PL/Verification posts at the University of Southampton
  • Date: Wed, 8 May 2024 12:55:49 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=komendantskaya AT gmail.com; spf=Pass smtp.mailfrom=komendantskaya AT gmail.com; spf=None smtp.helo=postmaster AT mail-pl1-f180.google.com
  • Ironport-data: A9a23:wu2/j66sjg5Z2dbCGRcHiwxRtJXDchMFZxGqfqrLsTDasY5as4F+v jNMWGnVM6yMa2H3edlwbIi39BwG68KAx4RkHgZpqCBmZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgsYgr414rZ8Ekz5Kmq6GtE1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj6/9/Ek4PB4pAxvpUKE1ix f4xFwEzaA/W0opawJrjIgVtrsEqLc2uJIdG/385nWmfAvEhTpTOBa7N4Le03h9q3pEITauYP ZNFL2M/NHwsYDUXUrsTIJE5mequinD5byZboUOcjaUy6mnXigd21dABNfKFJILRG5oLzi50o Eqe7zrwAS8zK+bF6ifZrU2CntXguirSDdd6+LqQraMz2ALCmAT/EiY+Xlyi5PK9l0SWQMNaM 0VS+yw0rKF0+lbDczXmdxixoXrBphpFHtQJQ7V85waKxa7ZpQ2eAwDoUwKtdvQspdE5fAYtj mOVvPrFKQxtmYKkd3SCo+L8QSyJBQAZKmoLZCkhRAQD4sX+rIxbsv4pZoYzeEJSpo2qcQwc0 wy3QD4Ca6L/ZPPnOo2+9FHDxiqo/93HF15toArQWW2h40VyY4vNi22UBbrzvagowGWxFwbpU J04dy62srlm4XalynTlfQn1NOv1j8tpyRWF6bKVI7Ev9i6251modp1K7Td1KS9Ba5ldJGaxP hCC51MIvfe/2UdGi4cnM+pd7Ox6ncDd+SjND628gidmO8QvKVLYoH0GibC4hDuyzhJEfV4D1 WezKpv1VSlLV8yLPRK5QOAS1bJjxyY1gwvuqWPTnnyaPU6lTCfNE98taQPQBshgtf/siFuPr 753aZDQoz0BC7KWX8Ui2dVORbz8BSNnXs+eRg0+XrLrHzeK70l6W6SBkOt4IdI190mX/8+Rl kyAtoZj4AKXrRX6xc+iMBiPsZu2Bc0n/0EodzchJ0ip0HUFaIOipvVXPZgucLVtsKQpwfdoR rNXM4+NE9ZeeAThoj49VJjaqJA9VRKJgQnVATGpTgJidLFdRivI2OTeQC3RyAc0ABGai+4Cs py79waCQZM8VwVoV8nXT/S0zmKOh3sWmcMsfk6RItBsZ1nn35d6DxPAntgbCtw+c0Td9GGK0 yKTJwkSnsjWgooP6NKSr7u1n4SoNOpfH0RhAGjQ64itBxTa5maOxYxhUv6CWCL0DkfY2fyFS 71O7vfeNPYnog57g7BkGew28ZNktsrdmbBK6y9FQlPJVg2PIZF9KCCk2cJviPV89oVBs1HrZ nPVq8hoApTXCsbLC1VLGREEaN6E3vQqmjX/y/Q5DUH5xS1v9oq8TkRgEEiQuRNZMYdKHtsp8 cU5tO4Szj6PuB4gH9KFryJTrkCnDHgLVYc5vZA7Xq7vrCcWyW95XJ+NMR+uvamzaOhNPHI6f R6Spq7J3IpHymT4LnEcKHnq3Mhmv6oohixk9lE5Cm6yqoL3vcNvhBx12hYrfztR1SRCgr5SO HA0FkhbJpeu3jZPhepFVV+CAwtqWR+ToBTw73Arl2TpaVaieUKQDW86OMeLpFs49UAFdBdl3 bio8kTXehe0Q9PQhwwZRlxAh8H4a+BI5inuuZyCDtuUOZsXeh/nifKeXnUJoB7ZHs8Bvk3Li u109uJWa6egFyovj4AkKoudx5ICYQulITFcfPRf4685J2HQVzWs0zyoKUrqWMdsJeTPwHCoG f5VOcNDeBSv5hmg9glBK/Y3HIZ1u/o16P4pWLDhfzcGuoTCiAtZisvb8yymiVI7R9lrr90GF brQUDC/CU2Vu2pfnj7cjctDO1fgW+I+Wi/H4LmX/tkKRrU5i8M9VWEp07CxgWeZDxs/wTKQo zH4RvH3y85M9N1SurXCQ4t/Aze6E9fRbNiz0RuSto1OZOzfMM2VuAIyrELmDjtsPrAQeopWk LiRgeHzx2fAmqg8aEHCupy7D6ISz96DbOlWFcPWLXdhgiqJXvH30SYD42yVLZ9okstXw8uaG y+UTdSWTsFMfftw31hXZDp6PzdHLp/of4HyoS+ZhNadOCg3iADoAouuyi70UDt9aCQNBazbN ib1nPSLvfVzs4VGAU4/NcFMWpNXDgfqZvo7SofXqzKdM2iPh2GCsJvEkT4Ly2nCKluAIfbAz aP1fDrMXzXsh/iQ1/BciZJ4gTMPBnUkgeUQQFMUy+Qrtx+EVlw5PcYvGrRYLKpLkx7C9oDyP xDMS2oANR/Tfxp5dTfE3dCyeTvHW8IvPI71KAV8qgnQI22zCZibCbRsyjZ47j0kMnH/xeWgM pcF9me2IhG1xYpzSP0O4uCgx91q3e7e2mlC7HWVfxYe2PrCKe5iOL1d8AtxuejvFsjMkADTI TFwSzkUGAe0Tkn+FcsmcHlQcP3cUPUD0B1wBRpjAv6G02lY8AGE4PL6MuD3lLYEaazm4ZYQE GjvSTLlD3++gxQuVGhAhz7tqaBxAPOPWMO9KccPgOHUc76YsgwaAi/JocbDoAzONuKS/5MxW wRAO0QDOXk=
  • Ironport-hdrordr: A9a23:ddaZj6m1HFwPGyjFdskJljCIicrpDfI33DAbv31ZSRFFG/Fw8P re/sjztCWE6wr5N0tLpTntAsS9qBDnlaKdg7N+AV7KZmCP01dAA7sP0WKI+Vzd8kPFmdJg6Q ==
  • Ironport-phdr: A9a23:bRA3vhAjIuitsjRW/5ayUyQUDEoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua88ygWSBc6HsLptsKn/jePJYS863d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglWgDexe61+I RuqoQneucQbj5ZpJ7osxBfOvnZHdONayH9yK16Ugxjy+Nq78oR58yRXtfIh9spAXrv/cq8lU 7FWDykoPn4s6sHzuhbNUQWA5n0HUmULiRVIGBTK7Av7XpjqrCT3sPd21TSAMs33SbA0Ximi7 7tuRRT1hioLKyI1/WfKgcF2kalVog+upwZnzoHbYI+bOvlwcL7Dc9wGXmdORNpdWjZbD4+gc 4cCDewMNvtYoYnnoFsOqAOzCwavBOz11j9HmGX23aw80+s7DArI2QsgH9cQv3TSsdr6LqESU fyuzKnL1zrCb+lZ0ir65YjLdRAhpO+DXbRtfsXLz0kvCxjFjlaKpo3lJTyYzesNs22B4OphU eKjkXIoqwZ0ojW2wMonl4bGiJ4PxF/e6SV53Jg6Jce+SENjbtOoDpReuiCEOoZ1Tc0vX25lt SU4x7EatpO2czQHxZYnyhPdZfGKcYuF7w/iWeuQLjl1mXxrdbC9ihqv7ESs1+vxXdS63lZNq ypKiNjMtnYV2hzI7ciHVvx9/kG71TmVyw/f8PxEIUMsmaXBN5Et2KQ8locQsUnFAyT4m132g beIekk4/uWk8efqb7X8qpOCKoN5hRvyPrktl8CjB+kzLxYDX2yG+eSnyL3s41f5TqhLjvw3j KbUqIzWKMIGraCjGQBVyJws6xOnAjemztsYmX4HIUpAeB2djojpP0jCIOj8Dfuimlisnipny vPaMrH7DZXNKX/DkLjlfblj8UJT1A0zzdVH65JVDLEOPu7zV1fvuNDEChI1KQ+5zub9BNljy 48TVniDDrKaPa/OqVOI4/ggI+iIZI8bojb9LP0l6ubtjX8+nF8SY6+p0oYNZ3C+AvRmOEaZb mDsg9gbCmoKsQ8+Q/briF2GSzJce3GyX6ck6jE9E42pFZ3DSZy1gLydwCe7GYVban1eBlCWD Xjob5mEW+sLaC+KPsBhlSUEWaG9RI8lyBGhrxT3y6FnL+rR4i0Xr4jv1Nlz5+3JlBE97yZ4D 8qH0zLFc2YhlWQRAjQywapXoEpny17F37IrreZfEIl+5PpVXx07M5eU7Ot/Btb+UwTdZdSAW V/uFtahBDw3Qts338QNald0M9qnhxHHmSGtBulGxPSwGJUo//eEjDDKLMFnxiOevEFAp1wvQ 88UcHajmrY67A/LQYjAj0Seka+uM6Uaxi/EsmmZniKVpE8Ndgl2XO3eWGwHIFPMpIH64UbPS bOnD6g8MQJQwOaNL6JLbpviilAVDOz7NoHmanmq03y1GQ7Ow7qNaITwfGBI3yLYBU4ImgYP5 nWPJAEWCSKoomaYBztrRhr0e0251+54pTugS1MsiQGHa0o0z72u5hscnuCRUdsW17MA/T8l8 nB6RQblmd3RDNWEqkxqe6A0jcoVxlBB2CqZsgV8OsflNKV+nhsFdBwxuUry1hJxA4EGkM4wr XpswhAgYaSfmEhMcT+Vx/WScvXeN3Xy8RazaqXXxkCW0dCY/b0K4eg5rFOrtR+gF04r+XFqm 9dP1H7U6pLPBQsUGZX/NyR/vxt9orzcbiA7+5jX3GxlGaaxuz7GndkuAaptyxqtecteLLLRD BX7QKh4T4ClLO0nnUTsbwpRZrgDsv5peZn/K73fiPb4WYQo1CirhmlG/o1nh0eF9i4nD/XNw 45A2PaAmA2OSzb7il6l9MHxg4FNIz8ITQ/dgWDpApBcYqpqcMMFE2Crdoe0wdBzgZLkXWJD9 1eyDnsJ3caofVyZaFm3jmgynQwH5Geqnye11Wk+kDYso6yT1SrS2OfrZRMvNWtCRW0khlDpa 9vR7ZhSTA2jaA4nkwGg7EDxyv1ApahxGGLURF9BYyn8K2wKvrKYjrOZeIYP7ZoptX4SS+Gge RWBTaa7pRIG0iTlFm8YxTYhdjjstI+r1xB9jWucKj50oh+7MYlzwhLS4tDVQ+JK3TMXTQF3j DDWAh63ONzh8diPlpjFu/yzTCr7DswVIXStl9rc8nLrvSVjGnjd17irl8fiEBQm3COzzNRsW SjS7V79boTty6WmILdid0hsCkX77pkfeMk2mY8xiZcMnHkC08/NrDxXzCGpaIkdgPKmPx9vD XYRztXY4RbowhhmJ3ONnMfiU2mFh9Bmf5+8a38X3SQ064ZLDr2V5fpKh3gQwBLwoATPbPx6h jpYx+Ep7StQgOYMtQwhxyOBGbMbDEBwMinllhDO5Ne75vYyBi7nYf2r2UxykMr0RrKFpwxaV H//ZowhFD55xsp6OVPIlnb078u3HbuYJcJWvRqSnRDaiuFTI59kjfsGix1sPmfltGEkweo23 lR+mIu3t4+dJyBx7bq0V1RGYybtaZpZqVSPxe5O29yb1Ie1EtB9FyUXCdH2GOmwHmtatOy7Z V3TVmRt8jHBReWZRUjFtA9nty6dTcztbSrMYiBHlZM6A0DMQS4XyAEMAGdkwNhgTlrsnIq5N x0hrjEJugym9F0WlrMuZ0G5CiCF/E+pcmtmF8LZdUYQt1AYoR+SaJz7jKo7HjkErML96lXXd yrDIVwPVD9BW1TYVQm7bv/3uoaGo67AQbDnZ/rWPefX9rcYDqbUg8rpisw/oVPufo2OJiUwV aVqnBoeGykjS4KB3GxQAy0Py3CXNpDd+Uf6o3wt6Jj4qaWjWRqzt9HWVf0IaoQpoErw2eDaZ ovyzG5vIDJcnPvg3Ffuz74SlB4XgiBqLHy2FKgY8DXKVOTWk7NWCBgSb2VyMtFJ5uQyxFsFP 8mTkd7z2rNi65x9Q15YSVzsnN2obs0WMim8Ml3AHkOCKLWBI3XC3cj2Zaq2TbAYgv9TslW8v jOSEkmrOTrm9XGhTxe0LeRFlz2WJjRbsYC5Nw5pUC3tFYK+LBK8N9BzgHs9xrh1znLGOGgAM CRtJkNAqrrDiEEQyv57GmFH8j9kNbzew3ffv7SecM9K96I7WncR9aoS+nkxxrpL4TsRQfV0n HCXtdtyuxS9lfHJzDN7UR1IozINhYSRvEwkN7+Kk/sIEXvC4h8J6n2dThoQoN4wQN7ovq1Wx tHJiLnwISZL293R9MoYQcPTLYjUVRhpeQqsAzPSAAYfGHSzMnrDgkVGjPyI3nicr5x/spy13 ZRXGucdW1syGfcXTE9iGZZRRfU/FiNhmrmdgskS4HO4pxSEX8RWsKfMUfeKCOnuIjKU5VGlT x4BwLe9NYBKc4OiixQkZV59k4DHXUHXWIIVysWERgAxqURJtnN5Sz9rs6oKQgyo6X4XU/Wzm 0xv4jY=
  • Ironport-sdr: 663b6863_MrxfM6DJDKcq9fUw7QwAxFSiFHeInpcqv+cd5M+7ExZwNB+ NGqEVzw1xk8cjKfHA28hiuJg7QgfgdxSwCYZUKg==

We are looking to expand our research capacity in Logic/Semantics/Programming Languages/Verification at the University of Southampton and are looking to fill several academic positions at junior (fellowship), mid-career (lectureship) and senior (professor) levels.  The links below give general specifications for the posts. Interested candidates are invited to contact Professor Ekaterina Komendantskaya (ek1u23 AT soton.ac.uk) to discuss the posts and opportunities at the University of Southampton.  

 

Fellowship: 

https://jobs.soton.ac.uk/Vacancy.aspx?ref=2682124FP 

Lecturer: 

https://jobs.soton.ac.uk/Vacancy.aspx?ref=2681824FP 

Associate Professor/Professor: 

https://jobs.soton.ac.uk/Vacancy.aspx?ref=2680424FP

                                                                                     





  • [Coq-Club] Logic/Semantics/PL/Verification posts at the University of Southampton, Ekaterina Komendantskaya, 05/08/2024

Archive powered by MHonArc 2.6.19+.

Top of Page