coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] A fully funded postdoc position in "Quantitative Verification of Software Families based on Coalgebraic Modal Logic and Games"
Chronological Thread
- From: Harsh Beohar <h.beohar AT sheffield.ac.uk>
- To: Harsh Beohar <h.beohar AT sheffield.ac.uk>
- Subject: [Coq-Club] A fully funded postdoc position in "Quantitative Verification of Software Families based on Coalgebraic Modal Logic and Games"
- Date: Fri, 30 Dec 2022 10:16:23 +0000
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=h.beohar AT sheffield.ac.uk; spf=Pass smtp.mailfrom=h.beohar AT sheffield.ac.uk; spf=None smtp.helo=postmaster AT mail-vk1-f175.google.com
- Ironport-data: A9a23:lwOPzKxY2WrgbZRrDqt6t+f2wirEfRIJ4+MujC+fZmUNrF6WrkUHx 2sbDDvSM/uMNmChKd9zYNzi8klUsZLWx4Q1SANp/lhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOOU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEALjimAc3l48sfrZ8ko156yq41v0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPN5+42V2FvALEzxdxuDiJP2 vwfJnc0O0Xra+KemNpXS8Fpj8UnadfoZcYR4y49iz7eCvkiTNbIRKCiCd1whm9hwJATW6yEP oxANmcHgBfoO3WjPn8XTpgzm+ehnFHkczBWplOYoaZx6mOV0Q8ZPL3FYIeOKoTWGpQ9ckCwg Trgw2X+OjshK92njiHV0X/wu76XpHauMG4VPOTgqqQCbEeo7mcUEVgdUUaxieKoj1a3HdNZM U0dvCQ0xZXe72SuR9j5GgO7+TuK50FBHdVXFOI+5UeGza+8Dxul6nYsbxpaMIcG7fIKbgMQz 1DKnvzpAjIoiejAIZ6CzYu8oTS3MCkTCGYNYy4YUAcIi+UPRqlj3nojqf4zQMaIYs3J9SLYm G/V8XBv71kHpYtaiPXhpAGvbyeE/8CRFmYIChPrsnVJBz6Viaagbo2srEbYtLNOddnECFaGu 3cAlo6V6+Vm4XCxeM6lELpl8FKBva7t3NjgbbhHQslJG9OFpi/LQGyoyGsiTHqFy+5dEdMTX GfduBlK+LhYN2awYKl8buqZUpp1l/O7RYq/DauIPrKih6SdkifXrEmCgmbAjwjQfLQEzMnTx L/BIJjyVS1GYUiZ5GvvGLx1PUAXKtAWnDuPH/gXPjyo1r2RYHP9dFv2GArmUwzN14vd+F+92 48HaaOikkwDOMWjPHS/2dNMdTgicyJnbbio8Jc/XrDYcmJb9JQJUaC5LUUJINw7wcy4V47go hmAZ6Ov4AGg2SKecl7TOy0LhXGGdc8XkE/X9BcEZT6As0XPq672hEvGX8tmIesU56Z4wORqT vIIXcyFD74dAn7E4jkRJ9215oBraB3h10rEMjuHcQoPWcdqZzXI3dv4ISrp1i0FVRSsueUE/ raP6wL8QLg4fTpEMvr4UvyV8g6OjSAvo94qB0rsCftPSXro67lvenDQjOdoAsQiKifj5zq91 iSECDgmoNvIp4s/3+DUtJ+hsouWCOpaNWhZFln98ryZG3T7/G2i4IkYS8eOX2nXe13V8ZWYR 9d+7q/DItxeu3gSqKt6MbJg7Zxm1uvVv7UAkzhVRiTaXWqkGpZLAyeg3/AWkoZv27UAmw+9e nzXy+lgIb/TZf/USg8AFjEEMNaG++ofwATJzPIPJ07/2i970ZyHXWhWPDiOkCZtF6R0Aqx03 dYevNMq1CLnhioIKtqmigVmx1aIJFEEUIQlscgUO5+0qwwJzloZX4fQJBWr676yavJNEHIQH BmquIT4iY9x+G/+YlsoNH2U3eNilZUE4x9L61kZJmW2oNnOh95p/RgI8T0IURhZyw5X991CK k55ClBHf/SQzW14gOxGeX6mICBaJRij4keq4UA4pG7YaEiJV2L2M2w2P9iWzn0Z625xejt6/ qmS7XTMCxLGXZjW8HMpeEhHr/fDc4RAxjfakpr6I/XfTogIXzX1p4SPO0wKkkLDKuEsjhTlo eJKwr5BWZfjP3RNn5xhWpio7pVOehWqP2cYfOpA+pkOFmTieD2f/ziCBkSyW8FVLczx7k6KJ J1yF/1LSiiB+n6CnhIDCY4IBo1Ervojyd4BW7HsfGA9o+S+qBhtu8nu7STQvjIgbOhvtscfE bnvUQy+PFaevlZuoF+VnvJ4YjK5RfImeDzD2PuE9bRVNpAb78BpX0IA8pq1mHS3IgJIwRemu QfHbYDv0t1d7JlgoJDtNo5hBAyED8z5e8rV0QK0svVINcjuN+WXvSwri1DXBSZkFppPZMZWz JOj6MXW2mHBt5YIC1HpoYGLTfR11J/jTdhpPdLSB1gEuym7AevHwQYJokK8Irx3yOJt3NGtH VaEWZHhZOwueolvwVNOYHJjCDcbMaP8a5ngqQ6br/ihDhs80xTNHOi49E3GPH1qSSsVB6LQU gPEme6ixtR9nrR+ABUpA/JHAZghLmG6COFiP5f0uCKDB2alvkKat/Gw3VA84DXMET+fHNy8/ ZvBQQPkeQ+vvL3TiutUqJF2ogZdGUMVbTPcpa7B04UeZ/GG4G86wSA1NJwHDtRKkXW32sinO XfCa2wtDSi7VjNBGfk5DBIPQS/HbtHi+P+gTtDqw69QQzy2CY2OAbZl+mFp6DFreVMPCcm5f MoG9CSY0geZm/lUqCV62hB/qfxny/3Ux38M9Qb0mIrvAH7yxFnMOGNJRGJwaMAMLy0BeIgn6 4T4qaCojXxXkXLMLPs=
- Ironport-hdrordr: A9a23:qFRSA6DHunYwyTXlHemQ55DYdb4zR+YMi2QD/Ep6ICYlC/Bw8P re+sjztCWE7wr5PUtLpTnuAtjifZqxz/5ICOoqXItKPjOW2ldARbsKheDfKlbbakjDH4BmpM NdmmtFZOEYz2IWsS832maF+h8bruW6zA==
- Ironport-phdr: A9a23:8l4scRd9Vc+WOzI4yxP7vJx1lGM+PNTLVj580XLHo4xHfqnrxZn+J kuXvawr0AWUG9uFoKsdw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtIiTanYL5/L Rq6oRjMusILnYZsN6E9xwfGrXdPZ+lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ 7BAAzsoL2465MvwtRneVgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu8 7tnRRn1gygAKzM0/n3bhtFpgK5HvR6quhhzz5PUbY2QMvd1Y6HTcs4ARWdZUclfVyJPDIChY YURE+UPMvtVopLhp1sXtxayGRWgCP/txzJOm3T43bc60+MkEQze3gIvBcgOsG/UrN7oKaodT +e1zKnSwjXZcvhb3jf95JLTfR8/pvGMXah/cdDKxEk0FwPKkFuQqYLkPzyL0uQCrnKX4PB8W u61lm4nqBh8rz6yzcgjlofHnJgaykzY9Spn2oY1I8W1RVB/bNOqDpZdtjyXO5V1T84mQmxkp Ds3xLMYtJC1ciUEyIorygDcZvKHfIaF4QzvWeSVLDp5hH9oerCyihax/EWm1+byWM600FNQo SpElNnBrmsN1xzN5ciJRPt9/1mu2TKS2AzJ8O5LPVo4lbfYK5Mn37U+lYITvFzdEiPqnEj6l qybe0U+9uS29ejrf6/qqoKeOoJ0jAz1L74gldalAesiNwgDR2ib9vq41L3k5UD5Ra9Fjvwyk qXArpDaJtkXqre3AwNI0Isu6wyzDzih0NQfknkHKExKdAibgIjuPlHCOPH4DfGhjFSwiDpn2 ezKM7n7DpjOLnXPiqntcahg50JG1QY+z9BS64pRCr4bIfLzXkHxtMbfDh88KwG0w/zrB85j2 YMZWWKAGLWZPbjJsV+I+O0vLeeMZI4Ltzb5Nvcp/eThgmMjlV8AfqmlxZ0XZ2ugEfR8P0qZe WbsgssGEWoSowYyVPbqh0GaUT5Pe3ayWLox6S08CIK/FIvMWoStgKGa0yqgBZ1XZmVGCkiWH nvydoWEXe0MaCOILcN7nDwET+vpd4h09Ri0rw+y4bdgLuPOsnkY85ju09h8/cXIlRw8+z15C 8jb2mrLUmIizU0SQDpj/Kllukw14FqE0aFiy6hYU9Ze4PNASC8hNZPSwe13D9y0UwmHY9TfG wXuecmvHTxkFoF5+NQJeUsoQojKZnHr2iOrB+VQjLmXHNku9ama2XHtJsF7wnKA1a87jlBgT NEcfXa+iPtZ8A7eT5XMj13fj7yjIKRa1iPK9G6Z5XGOsU9WUQN0XePMVjYCZRietsz3s3vLV KTmErE7Kk1EwM+GJLFNb4jpy19LQ/fqIvzFY2+/lWa9ARrOz7jKcYm5M34F0nD7D04J2xsW4 W7ANQU6AXK5pHnCCTV1CV/1S0bl8O07tnDiC0FtkFzMYEpm2L64vBUSgJRwUts12bQJ8Gcko jRwRhOm2s7OTsCHrExndbldZtU05BFG03jYvkpzJM7oKacqnVMYfwlt2iGmnxxqFoVNl9Qrp 3I23UJzL6yfylZIazKf29j5JLTWLmD4+B3nZbTR3xnS19Of+6FH7/pdyR2rvEejG00i+m9Py NlY3XWd65HGSgMZF4/yEw42+xV8u7DGc3wl/YqHsB8keaKwszLEx5coHL5/kkfmL4oZavndU latTp5/ZYDmMuEhllm3YwhROelT8PRxJMa6b76c36XtOu98nTWghGAB4YZn00vK+TAvL4yAl 5sD3fyc2ROKEjnmi1L0+MCxk41DZTgINnG/xCbqBYNVaut7dsAWCi39Rq//jsU7nJPrV3NCo RSjQVkL38+gYzKJb1Hz0wxd0UhRqHfhhCjynFkW23k566GY2iLJ2eHrchEKb3VKSGdVhlDpO YGojtoeUSBEdiARnQC+rQb/zqlf/uFkKnXLBF1PdG7wJn1jVa25svyDZdRO4dUmq3cfXOO5a FGcArnzxnlSmyOlFWZZxDkhXyqqt5v3nhF+hCSUJzBurzLVdNpxyhHW+NHHDaQJj3xWGW8i0 2CRXwfhd9CymLfc34/OqOW/S36sWtVIfC/nwJnB/Cq36Gt2AAGuyvW6m9npCw8/gkqZn5FhU STFqgq5Y5G+jfzrd7I6OBMyXRmltJcpf+M22pE9j5wRx3UA05Cc/H5d1Hz2Lc0ew6X1KnwEW T8MxdfRpgnjwkxqaHyTlOebHj2QxNVsY96ibyYYwCU4uopKTq2Z67xNhwNuole2owPcZfQ7l zxb1Phkuxt4y6kZ/REgyCmQGOVYHQ9SMCvsng6g9NCzoqtWaWKjN7G7kld914PEbvnKskRXX 3D3fY0nFCl745BkMV7C53b075ntZNjaad9A/g3RiRrLiPJZbY4gjvdfzzQyInrz5Dd2roxzx Qwrx5yxu5KLbnlg7L7sSAANLSX7PosS4m2/1vsYx5fOmdrzQdM5XW9XFJrwEaD2THRI7q+hb ljWVmV78yb+e/KXHBfDuhk46SuXSdbzcSnQfiFRzM0+FkfDYhYD0UZEBHNi2cRhXgGymJ6+K gEgunZItwS+8lwVmocKf1H+SjuN+1vuM21pDsDZdF0PsElD/xuHaJTOqLssQGcIuMXm9lXFK 3THNV0XVidQCxDCXxa7eeDwgLuIu+mAWrjkd6qIMejI8LYOEa/PnM3n05M6rWzVaIPSbj87X qd9gg0aDDh4A5iLwWxRDXZMxmSWNYjD407tn08/5ta29PChMO72za2IDbYacdBm+hTsxLyGK /bVniFybzBRypILw3bMjrkZxl8bzS90JXGrFvwbuCjBQbi1+OcfBgMHay51KMpD7r4tlghLN 8nBj9rp17l+xvcrAlZBXFbll4mnf8sPa226MVrGAg6MOtHkbXXTxNrrZKqnVbBKpOBdthn1p zXCVkG6YWnFmD7uWBSid+pLiWDTPRBTvp28bgc4CWXnS4GDCFXzO9t2gDsqhLws0ymSZChMb H4mKRoL9+LNvkY6yr1lFmdM72RoN7yBkiedtazDL4oO9OFsCWJynv5b53Izz/1U6jtFTbp7g ni3zJYmrle4n+2I0jciXgBJr2MBhMSBsEJiML/x7ZlNV3jF8RYBq2ybTQkJ7YgAaJWnq+VLx 97DmbimYi9F6M7R9NAACtL8LcuGND8/MkOsFmeLUU0KSjmkMWyZjEtY2qL3lDXdvt0xrZ7in 4ALQ7lQWQkuF/8UPU9iGcQLPJZ9Wj5MeVGzl84F63S/oR3dAsxR+I3EBKv66RDHMzaUg7dFa h8Eh7rza5kQZNWTM61Kb1B7mMHUGBOVU4kS/2tuaQg7pEgL+397HDVb5g==
- Ironport-sdr: 63aeba81_62C/vBrl8+PfhKfO8wezTYlPY4Q0gU1yTk9i9230HJl9ilX 383vQefDLMdOjuYZvB1EV0rSAYhJYaGguDjyc5A==
** Apologies if you receive multiple copies of these open positions **
Applications are invited for a fully funded postdoc/research associate
post in Computer Science at the University of Sheffield.
Job Reference Number: UOS035797
Job Title: Research Associate in Quantitative Verification
Contract Type: Fixed term until 30.11.2024
Faculty: Faculty of Engineering
Department: Department of Computer Science
Salary: Grade 7
£35,333 per annum
Closing Date: 4th February 2023
The post is supported by the EPSRC funded project “Quantitative
verification of software families based on coalgebraic modal logic and
games” (EP/X019373/1) headed by the PI
Dr. Harsh Beohar. For any queries, please do not hesitate to contact
me at h.beohar AT sheffield.ac.uk; for a more detailed advertisement,
please visit the department website
(https://www.sheffield.ac.uk/dcs/about/jobs) and search using the
reference number: UOS035797.
- [Coq-Club] A fully funded postdoc position in "Quantitative Verification of Software Families based on Coalgebraic Modal Logic and Games", Harsh Beohar, 12/30/2022
Archive powered by MHonArc 2.6.19+.