Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Permanent Academic posts for Early Career Researchers, Southampton University

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Permanent Academic posts for Early Career Researchers, Southampton University


Chronological Thread 
  • From: Ekaterina Komendantskaya <komendantskaya AT gmail.com>
  • To: Ekaterina Komendantskaya <E.Komendantskaya AT soton.ac.uk>
  • Subject: [Coq-Club] Permanent Academic posts for Early Career Researchers, Southampton University
  • Date: Mon, 9 Oct 2023 13:38:12 +0100
  • Authentication-results: mail2-smtp-roc.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-pj1-f47.google.com
  • Ironport-data: A9a23:zos1mKh+r8YnYcLWlK7iACMJX161CRUKZh0ujC45NGQN5FlHY01je htvDTrTO6mDMWTyKYx+bI7n9kgEu8CAx9c2QVc4qXhkES5jpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDpPg06/gEk35q+r4GtJ5gVWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGFhgELddB+epNX2hl8 MITcTYdaz/eiLfjqF67YrEEasULKcDqOMYHuCglw22GS/khRp/HTuPB4towMDUY3JgfW6aDI ZBAN3wzM3wsYDUXUrsTIJE5mequinD5byZboUOcjaUy6mnXigd21dABNfKMIYTQH5kLxxfwS mTu4mHrKEk1OfGklD+d1CKqr/flwzP/V9dHfFG/3rsw6LGJ/UQYDwRTXl+mq9Gim0umUpReL VYV82wgt8APGFeDS9D8W1igoifBsEJDHdVXFOI+5UeGza+8DxulO1XohwVpMLQO3PLajxRzv rNQt4KyXW5co/eORGiD97yZizq3NGJHZSUBfCIIB09NqdXqvIh53FqFQ8dBAZyFqIT/OQjx5 DSW8wk4pbEY1vAQ24uBoFvovjOLp7rydDAT2Dn5ZGyewz1cWJ+EfK2tsFjS0uZBJt2WT36Hp 3k1pPKd5+EvU7CIzSyEf/oRF56u99K6AWX6kANpFcNw8T6CxmOSJ9FMwTBhJXVGNtQPVi/pb XTy5yJQxs53F1m7YZBnZ7meD5wR8pHhMtD+RNX4X8FrYKUtRDSY/SprW1Gc71rtnGcoj6s7H 5WRKuSoMlo3FoVly2CQa9oG8Lp22B07+3zfdar7wzujz7CaQnyfEpUBEVmWa9EG/LG2mxrU/ /lfJvm15U1mCsOmWRbu8KkXMVwuBlo4D8qvq8VoK8iyEjA/E2QlU/Ls0bctfrJ+pJtsl8DKw CCZelRZw1/Bl3H4OV20SnR8WojOA7d7j1wGZBIJA3j5+kINQ4iV6IUnS6AWZpgirexq8u51R aIKeuKGGfV+dQ7E8DU8M7j4oJBTSxCwoQeoISCeQSMeeqR4TFfj4e7UfQrI9QgPABGotMA4n aaS6wPDTbcHRCVgFMzzas/z63+Uol4mh7tUc2bTB9tcamHA0dJPEDPgqO0zL+UnCwTx9hHD2 ym4WR4n9PTw+akr+9z3tIW4hoaOEc4lO2FFHmPevI2EBQOD8kWNmYZ/Afu1JxbDX2bJ+YKnV +Vf79f4FNYlxF9qkY5NI4xH/JIExenEhuFll1x/PXDxcV6UJKtqISCG0elxp6R9/OJlljXsa H2f2OtxGOuvCJv+HU8zNTgVSL2J9csplwn46dU3J0TH5xFLwoeXbHUKAT6yjH1yEbgkFqIk3 uYrh+AO4SOdlBcBE4iLnwJUxUu2P10CVKQV7MgaCbD0lztxm01jYIPdOADy8pqge9VBCWh0A z621Y7ppaVQ+VrGSFU3TUPy5Ot6gY8fnixF13oQDg2ttuedo8QozTp91C8STDVF6jlmiMVNY nNKMW9xLoWwpwZYvtBJBT2QKlsQFS+n9VzU4HpXsX/SUG2DdHHHdU85MsazpHEpyXpWJGVnz evJ2VTecGjYee/q1XEPQm9jkfvoSOJx+iDkmMyKG8ekHYEwUQH6g52BNHY5lB/6Pfwf3EH3h /Fm3OJVW53JMSQ9p64aCY7D24pJGVrAbCZHTOp69awEIXDEdXvgkXKSIkS2YYVWK+aM7Ua8D Nd0K9lSUwilkhyDtS0fGbVGNooccCTFPzbeUuiDya86X7qjQv5BtZvR8m3mhjZuTYkx18k6L YzVenSJFWn4ab64XYPShJEsB4Z6SYBsiM7AMCSd/+AAFpZFu+ZpGa33+qXhpG2baWOL4DrN1 D4upMbqIyhKxoFlno+qGaJGb+lxxRUfS8zQmD2OXx9ygR8j/CsAW875arUqAuiOAYYsZg==
  • Ironport-hdrordr: A9a23:Ov6BRajpX/wUqxTKlOD4KjunXXBQXmQji2hC6mlwRA09TyX5ra qTdZUgpGLJYFR4Yh8dcLW7WZVoLkmskKKcf+EqTMuftWXdyQ+VxaBZnPXfKnjbalTDH41mpN 1dmspFebvN5DFB5K6QjWXWYrVQouVvsprY/ds2pE0dNj2CHpsQnTuRfTzrYXGeKjM2YqbRbK Dslvav8ADQCEj/Ff7LeUUtbqz5vcTCkJ+jSRQaBxghgTP++w+A2frACQGR2hpbay9C3btn0W WtqX2M2oyT98qg0xfZ2ivo449IlMCJ8Ko3OOW8zvINIjHgzj2lfphlRtS5zUcIST6UiGoXrA ==
  • Ironport-phdr: A9a23:ApgGqx1WyODlVcPysmDOxw0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaPo6g2xwKSFcWDsrQY0bSQ6/ihEUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCS+bL9oL Bi7owrdu8kYjIB/Lqo91gbFrmFHduhIxG5kP06fkwr56syt4JNt7iNctu47+cVdS6v6ZaM4T bJZDDQiLW844dDguAfAQwWS+HYSS30anRVUDQfL6hH6RYrxvTDhtuVhwimaPNb5Qq4yVD+/8 qpkUh7oiCMANz4k7GHaj9F7gaxHrB69oRF03ojZa5yXOvVjZKPQZdwVS2pPUMhSSiJPHJ+zY pYUAuUbIepVtZPwq0cSoRa8AwSnGePhyiVPhn/zxaA03OchHhva3AM+BdIOsXLUo8/oP6kXV uC1ybfHzTPeYPxM3zf99JPIchM7rvCMR717bM3cyUooFwPAkFqQr5HqMCmT1uQRqGib7PBvV OK1hGM8pAFxpyKgxsYoioXTmo0VzVXE+Dx/zY0oKtK2VFR1bsS4EJtMqS6aLY12T9s+T2xrp io21KALtJ64cSQUyJkq2gDSZviJfoaG/B/tW+mfLDZmiH57ZL6ymhm//FauxOD+Wce530hHo CRbntTNsH0GyhLd6s+CSvRn/0eh3y6C1xvU6uFYJkA0k7DXJIQ9zbIqi5oTslzPHi/4mUnsl qCZal8o+vWr6+nhf77opYecOpdqhg3iNqkigM+yDOQiPgQQQmSW+P6w2bLh8ED/Xb5ElOc5k rPDv5DfPckbprC2AwtS0os77hawFTam0NABkXkfLlJJZQuLj4bmNlzMOvz4AvC/g1OjkDdv2 f/KJKHuApLILnTbkbfhe6hy61JExQYt0dxS44hYB7IBLf7pREP9qd3VAgU2PgG22+rnDc9y1 oIaWWKBGK+ZN6bSvEeL5uIoJumDeokVtyvnJPgj+/7ulnw5lkUdfKazxpYXZ3W4Ee5nI0Wde 3bjntABEWISsgo4V+PlkEeCXiJLZ3auQ6I84Sk2BJ++AYfZWo+tmKCB3Du8HpBOem9GDUmMH W70eIWARvcDczmfItRhkzwBTbiuUZUt1RCotA/gyrpoNPDY+iMCtcGr6N8gyu7aiRwo9Dp9R +ea1myLQ2hygngLTi4/lPRS5296z1qF3aF+n+dbHM1az+hOTgA8c5fXifF5XYPcQAXEK/qKQ UqrWNSgCHkSSdc8xdMHZVpmGNyzh1iX3C2vDrkZnrqXH58946v00H34JsI7wHHDgvpyx2I6S 9dCYDX1zpV08BLeUtaheySxkq+rcf5ZxyvR7CKZymHIukhEUQl2WKGDXHYFZ0KQo86qrljaQ eqIDrIqehBE1dbEMrFDP97uiFhASP7lJM/danO4s2i1DBeMgLiLadmiYH0TiR3UE1NMiAUP5 TCDPAk6CD2mpjfdCzljE17mZV/38uBvoVu0S0Y1y0eBaEgyn6Gt9EszgvqRA+gWwqpCuColr GBsG02h2tvNF9eajw9ofaEZedFkpVkbiiTWsAtyOpHmJKdn7rIHWyJwuU6mlxB+C4Ea1NMvs Gtv1g15b6SRzFJGcTqcm5H2ILzebGforlipbObN11fS3czzmO9H4ekkq1jloACiF1Yzu3Rh3 d5P1nKA55LMRAMMWJP1W0wz+lB0vbbfKiU64orV0zVrP8zW+nfB3NckAucszAq7fN5OOYuLE QbzF4sRAM3vYO0mll61bw4VafhI/f1RXYvufP+H1ai3eed4yWj+3CIXvcYnixzKq3UvL4yAl 4wIyPyZwAadAjL1jVP799vyhZgBfzYZWGy21SnjAodVIKx0Z4cCT2m0cKjVjp1zgYDgX3lA+ RutHVQDjYWqfh+faVD02xFL1k0GqFSonCK5y3p/lDRj/c/9lGTehv/vchYKIDsBR25ngFHgK I6olNMTTUGAYA0glR/j7kH/jfs+xuw3PyzYRkFGeDLzJmdpX/6rt7aMVMVI7YshrSRdVOnUj UmycrfmuFNa1iriGzEb3zUnb3SwvZ6/mRVmiWWbJXI1rXzDeMg2yw2NrNDbQPdQ2HIBSkwaw XHUAV2xOdWg+8mPlJ7Su8ixUmugUttYdiyjwY6btSS97HFnGlXlx6H1yoChS1Fkl3Okn9BxM EeA5A7xeIzqy7i3Pap8c09kCUW9o8t2F4dik5ch0ZQZ2HwUnJKQrjIMlWb+N8ke2LqrNiJcA 25WhYSMvk65hx4GTDrB3Y/yW3SDz9E0YtC7ZjlTwSch94VQD6zS6rVYnCxzq17+rATLYPE7k C1OrJlmoHMcnewNvxIgiyuHBbVHV0pfOCHqmx2O88u9pbReTGmqeLm0kkF5mJryadPK6hEZQ 3v/dpo4SGVz6cByNl7F1mHo6Yj1cfHfaNsSsluflBKK3I03YNoh0/ENgyRgI2f0u3YonvU6g RJZ1pa/pIGbKm9p8fHxEltCOzbyfc9W5iD1gPMUgJONx472VMYEeH1DTN7yQPmvCj5Xqfn3K 1PEDmgnsnnCUbvHQV3EtQE//iqJScz0cSnQfiVRzM0+FkfBYhYE20ZNAm18xtlgR2XIjITga BsruG5Xvwai7EMKkqUyb1H+SjuN+lnuMGtlDsjHakIRtFkK5l+JY5PEqLsvWXgJpNv561XdT w7TLwVQUTNWBgrdXQ2lZv/2ooCeu+mAWrjnd6uIOOrR77wYD7DSnNquytc0pmnXcJzeYj86S aV8gxQmPzgxGtyFyW9XGmpHymSUNZ7d/FDlpWV2tpztqq21Hl+/o9LeUf0Kdow+sxGu3fXZb rDW3n0ob20CkMtLnC6tqvBXylcWj2sGmyCFN7MGuGaNSavRnvUSFBsHc2ZpM8AO6asg3w5LM Mqdi9Xv17c+gORnQ1FCHUfsnM2kf6loaym0KU/HCUCXNb+HOSyDwsf5Zrm5QKFRi+McvgO5u DKSGUvudjqZkDyhWxeqOOBKxCaVWX4W8Jm6aQpoAHP/QcjObxS6NJpvj2Rzz+FrwHzNMmEYP H53dEYM5ryc4CVEg+luTmxM6n02SIvM0y2d7uTeNtMXqa4xWnUyx78cui1kjecKv0QmDLRvl SDfr8BjuQSjm+iLkH98VQZW7yxMj8SNtFljPqPQ8t9BX2zF9VQD9zb1aVxCqt17B9noo60Vx MLIkfe5KzBH/tTY9M0AHMvdOcuvP38oMB6vEznRRlhgL3bjJSTEikpRnevHvGWStYQ/o4Pwl YAmT7ZaUBktFKpfBBg6WtMFJ5hzU3UvlrvR36tqrTKu6RLWQstdpJXOUPmfVO7uJDiuhr5Bf xIUwLn8IOz706X03kVjbh9xm4GYQyI4vPhIqyxlKxc2+QBDrCc4QWo01EboLAiq5S1LfRZbt hEzgwp6J+8q8WW1i2o=
  • Ironport-sdr: 6523f458_Pgm+7u5JK0GWa5Za4O0WpLxQPX94BWqIpNHfN6bcl0K+IEf Y2BTxWNH1rW9rsxJ4LcxxHGo1X6fN3Ar2y66tWA==

Dear mailing list,

The university of Southampton is looking to hire new academic staff in four research areas including "Theoretical Computer Science" understood broadly (Programming Language Semantics, Functional Programming, Theorem Proving, Logic & Foundations of CS).

More about Southampton University and the post can be found here:
https://jobs.soton.ac.uk/Vacancy.aspx?ref=2466023FP

If you are interested, or know promising early career researchers who maybe, please direct all emails to me.

Best regards,
Ekaterina Komendantskaya

Professor in Computer Science,
School of  Electrical Engineering and Computer Science,
Southampton University
UK
http://www.macs.hw.ac.uk/~ek19/

                                                                                     





  • [Coq-Club] Permanent Academic posts for Early Career Researchers, Southampton University, Ekaterina Komendantskaya, 10/09/2023

Archive powered by MHonArc 2.6.19+.

Top of Page