Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Postdoc position at University of Kent

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc position at University of Kent


Chronological Thread 
  • From: Vineet Rajani <vineetrajani.work AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Postdoc position at University of Kent
  • Date: Wed, 04 Sep 2024 11:53:53 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=vineetrajani.work AT gmail.com; spf=Pass smtp.mailfrom=vineetrajani.work AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm1-f44.google.com
  • Ironport-data: A9a23:Htdkd6MhvJq2YRvvrR0Ek8FynXyQoLVcMsEvi/4bfWQNrUp2gTECy jMYUGHSaaveNGP3f9xyYY3i/UsDv8PSn99kGnM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYQfNNwJcaDpOt/rS8E835ZwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGXYLWu1zMgyN3gZLJUGwsF5GmpSq KwHfWVlghCr34pawZq+Q+how9smdYzlYN9ZtXZnwjXUS/0hRPgvQY2QvY4ejGp235oeW6qCD yYaQWIHgBDofRxJN1oLEps8leGpwGb4aT5wp1ecpK5x6G/WpOB0+OG9aYaJIobTHK25mG6Yu D/N2XjkBihEJc2P8QeUz3KIobXAyHaTtIU6T+DhrqE73jV/3Fc7AxoPEFC/vPORkV+7Q9sZK koO+yNoo7JayaCwZtz0Xhn9v3vd+xBAB5xfFOo17AzLwa3Ri+qEOoQaZiAfeIUpiZMNfBM7z kGxuN3yDiAy4KLAHBpx6YyohT+1PCEUK0oLaikFURYJ7rHfTGcb3kKnojFLQP7dszHlJQwc1 Qxmu8TXuln+pcsC1qH+4lWexjzw+t7GSQk64giRVWWghu+YWGJHT93zgbQ4xa8fRGp8crVnl CZe8yR5xL5UZaxhbATXHI0w8EiBvp5pygH0j191BIUG/D+w4XOldo04yGghfhoyYpZeKGCwO h+7VeZtCHl7bCvCgUhfM9LZNijW5fK5fTgYfqmLPooQPcIpHON51Hs2PBbPjggBb3TAYYlkZ M7DLpfyZZrrIatgyzWySq8c17Rtrh3SNkuCLa0XOy+PiOLEDFbMEeltGALXMogRsvnYyC2Lq I03H5XRm31ivBjWOHa/HXg7dgBUcxDWxPne96RqSwJ0ClE/Qj1xUq6AkeNJlk4Mt/09q9okN 0qVAidwoGcTT1WeQelTQik7Mu29boU1tn8hIy0nMHCh3nVpM87l774Se9FzNfMr/fBqh6w8B fQUWdSyMtIWQBT++hMZccbcqq5mf0+Vng6gBXeuTwU+WJ9CfDb33OHYUDHhzhRTMRrvh/AC+ +Wh8ij5Xas8Qx9TCZeKSfC3kHK0k3svuMNzeErqJNNsVl3m29VoIXapj9scAcIFGTPczBS0i ieUBhY5o7HWgokXqdPmu4GNn72LIcBfQHVIPjD8xqmkEAXn5Uyf+J9kfMfUWCHCRUX21b6HZ +4I/8rjMfYCoklGg7B8H5lv06g6wdnl/J1e8ShJA1TJaEaNGJp7A3zbw/RKiLJB9oVZtSSyR EiL3NtQYpeNGcH9FW8uNBgXVfuC2d4Uiwvtw6wMemui3xBO/Z2DTUl2FDuPgnYELLJKbaUU8 d14s8sSswGCmh4mN+idtR9t9kOOE2chVps2vZRLEa7pjQsWkmt5W6L+MROvwp+zaIRrCHIIc xu0n6vJgopOynXSK0QTEWf/5ssDpJAsli0T8no8CQWooPTniMUz/iVtyhUsbwEMzhx4w+N5Y WdqEEtuJJSxxTRjhekdfmWgBzB+AAa9/2rvwWAoj0zcdVGjDUbWHV0+OMGM3UEXyH1ddT5l5 4OlyH7pfDLpXcPp1A4wZBJBh9n8a+duryvutduCHcuXO7UbOx/enb6Id24EjzDFEPEBrhTLi scy9dkhdJChEzAbppMKLrWz1JMSbUuhD3NDS/Qwx5E5NzjQVx/q0AffNn3rXN1GIsHL1kqKC 8ZOAMZrfDbm3QasqgErP4I9E4VWrtUIuuVbIqjKIFQYuYSxtjBq6ZLc1hbvjV8RHulBr5wPF ZPzRRmjTEqrmnpmq03cppJlO025Q+U+Si/S4eSXyNgNRrU/6LxCUEdqybalnWSnAC0+9TKug Q7zTav3zetj9IdSo7XRAphzXwWaFf6jVcCj0hyCjNBVXNaebebMr1w0r3fkDSR3PJwQechGq rCWlO77wGb+5bMQf1nEqcPQCZsT9cGWWcxJOPnWN1hfpzOJA+X30isA+ke5CJ1Hq8xc7c+ZX DmFaNO8WNoWetVFzlhHQnJ6PzdELIqvdYbmhye2j8rUOygnyQadce+Wry74X19UZgojGsPYC Datn92M+9oBjoBHJCFcNsFcG5UifWPSA/o3RebQ6wudIHKj2G6Zm73YkhEl1zHHJ1+EHOv+4 rPHXhLOTwuzio6Z0OBmt5FOgTNPAEZfmeUQemcvy+xygR2+D08EKr05GrcCAZd2jCfz9c/ZY BfgUWgcMhj+DA90KUjE3NfeXwmhX71Efp+zIzEy5EqbZhunHI7KUvMr6i5k5GwwYTf5iv2uL dYF4HDrIxyt2ddTSP0O4uCgy/JSrh8AKqnkJWim+yAzP/ofPVnO/HloHQ4ISimeVs+RyAPEI m86QW0CS0a+IaI0/QCMZFYNcCz1fhu2p9nrUctL6NnasoSfiuZHzZUT/snth6YbYp1iyKEmH BvKqqjk34xS8nMWsKot/dkuhMeYzB5N8teSdMfeeOHZo018BqnL8S/PcerjgfzOIDJiLm4=
  • Ironport-hdrordr: A9a23:hL6aHaF4YVNlIrkjpLqE7ceALOsnbusQ8zAXPiFKOGVom6mj/f xG885rsSMc5AxhO03I+urwXpVoI0mskqKdiLN5VdzDYOCPggqVxepZnO7fKlPbak/DHy1muZ uIsZISNDQ9NzdHZA/BjjWFLw==
  • Ironport-phdr: A9a23:hvG/2hUKXOh/4zdO3fI6LTmQKnLV8KzBXDF92vMcY1JmTK2v8tzYM VDF4r011RmVBt2dsq8bwLGP+4nbGkU+or+580o+OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwbL1uI BmssAnctssbjYRsJ6os1xDEvmZGd+NKyGxnIl6egwzy6sCs8pB97i9eoegh98lOUaX7e6Q3U 7lVByk4Pm42+cPmqwDNQROA6XUAXGoWlAFIAxXe4xHhQpjxqCr6ufFj1yScIMb7UKo7WTWm7 6dsVR/olCIKPCM3/W3LlsB9ir9QrxW8qRxi2I7UeJ+aO+Zifq3TetMaQHBOXsdXVydcBo+xY I8CA+8HMO1FrYfyukEOoAO+CweyGe3hxDxGiXDq0qAhz+QtDRvL0BA8E94SrHjZqsj+OqcIU eCyyanF1TrMb/JQ2Tjj9ofIbg0qr+2WUrJya8XRz0gvHB7Cg1WOqIzlOS2a2foRs2iB9eVgV /igi2gmqw1rrDmvwd0siorSi4Iaz1DL7yR5wIIvKdKkT057ZMepHZ1NvC6VK4V4WNktQ310u Ckk0L0Gv4a2cDUKxpon2xPRZP2KfoqV7h/hSeqcPyt1iG94dL+jiBu/7Fasx/PzWMS03lhHq jZInsfDu30D1RHe68yKRuVj8kqnxD2B2QfT6uReLkA1k6rWM5Ehwr8slpoTrETMBTX6mETxj KKQa04q+fCo5vz5brn6opKQLYx5hwHkPqgzhMCyAv40PwcBUmSD5+izzqHv8VP8TbpWjPA5j qzUv43EKskYqK60Bg9Y34c/5xqjCjqpzc8XkmQdI19AeB+KgJTlNEzLLf37DvqwnlqsnTJry v3IMbDuHpPAJWXdnbflYLZ98FJcxxQpzd5C5pJVC68OLervVkL3qdfWFAU2MxauzObiENh91 p0RWWaIAqKBNaPdq16I5uY2L+iCYY8ZpS/xK/Yq6vPhl3M5llgdfa6m3ZsTdn+0BOhpI0KcY Xb0g9cBF3kFvhYmQeD0lFGPVSRfanWyUq4m+z03FoGrAZ3MS42imLCB2T20HpxSZmBIEFCMF nLoep2aW/cNbiKdPNFukiAeVbe7SY8uzxeutA7gx7tpKerU4C4YuIns1Nhw/eLTlBUy+SZoA MSa1mGBV2d0kXgQSD8swK9/uVB9ykuE0aVgnvBUDcZT6O9RUgcmKZ7cyPR3BMz1WgLYZ9uGV FKmQsi9DjwqVdIww9oOY15nFNm4jxDD2TCqA74PmLCRCpw06PGU43+kLMFkjn3CyaMJjl88Q 8IJO3f1qLR48l3tBojEnlnRra+ofKIdlHrT9WGOwHaUtUNRVg82TqLfXlgQY0LXqZLy4UaUH OzmMqguLgYUkZ3KEaBNcNC80QQurJbLPd3fZzj0gGKsHVOSwbjKaoP2emIb1SGbCU4ekglV8 2zVfRMmCHKHpGTTRCdrCUqpe1nlpPd/rn62UlU9zQiMbgt+0KC20hEQjP2YDfgU2+FMoz8v/ g19B031xNfKE5yFrgtlcr9bZIYj4VFK2H7Dvg50OJ3mMKd4hXYRdg12uwXl0BAkQp5Yn50Mq 3UnhBF3Nbre0F5FcGaA2ovsP7TMNmTo1BWmaqqTxVSHldjKpuEA7/M3r1iltwasfqY721Ng1 dQdk36V55GQSREXTYq0SEE8sR5zu7DdZCA5oYLSz3xld6eu4HfE3JoyCe0pxwzFHZ8XOb6YF AL0D8wRBtS/YO0slV+zaxsYPedUvKcqNsKifvGC1ealJuFl1D6hiG1G5sh63Cfuv2JiS+jF0 oofyvOR2ArBSDDmj3+ut8n2ncZPYjRTVmuzxC74BZJAM7VodNVuay/mKMm2y9Niwp/1DiQAp RjzWhVfgp/vJUbBCj61lRdd3kkWv3G9zC6xzjgu1iossrLaxivFheLraBsAPGdPAmhkl1blZ 4au3LV4FAClaRYkkBy96AP03a9e8e5hLm/eTFtSdir/KWAkTayqtZKNZsdO7NUjtiAdA4HeK RiKD6XwpRcXyXapAWpYyT0nbTios5P42QN9kmG1I3N6rX6fcsZ1j0S6hpSUVbta2TwIQzN9g D/cCw2nPtWnyt6Tko/KruG0U2/JuoR7SSDw1svAsSK64TcvGhijh7WpndahFwEm0Cj93t0sV CPSrR+6bJO5n6i9NOtmeAFvCjqeo4JkG4dzn5cqjZMZ33lcmZKP/lIIlG7yNZNQ3qe2YHcWR DENysLY+0C/gBwlfi/PntipECnBisJ6ArvyKnsbwCc889xHBO+P4bpIkDE06lu0oATNYORsy zIUyP8g8nkf0KkCvAsgyDnYA6hHRxEJe3yx0U3Sv5bi8PYyBi7na7W72UtgkMr0CbiDplsZQ 3PlYtI4GiQ26MxjMVXK2Xm164f+edCWY8hA03/c2xrGkeVRL4o80/QQgi8yc3z8u3Ao1/Qyj xVo3Nelu5KEA2po9aO9RBVfM3emAqFbsiGolqtYksuMisqxH5NsFykRVZnhS/PuDzUIttzoM g+PFHs3rXLRSt+9VUePrUxhqXzICZWiMXqacWIYwdtVTx6YPEVDgQoQUWZyjtsjGwut3sCkb FZh62Vb+AvjshUVgLENVVG3QiLFqQyvcDtxVJWPME8c8FRZ/0mMec2GsrAoQmcBr8Xn9lDSb DTcPVgADHlVCBLYQQq4Zf/3u4GGq6/BV4/cZ7PPeenc97IYDq/Sg8rpisw8p36NLpndYCckV aFqnBobGyg+QZyRmi1TGXNN0XuRKZfK/lHkvXQny6L3uPXzBFCwuc3WUeYUaZM3vEnoyaaba 7zJ3HY/cGkHkMNKnTiSkfAexAJA0n41MWD8TfJY83aKFfy1+OcfDgZHOXkrZY0YsuRlhFkLY YmC1Zv0zuIq1KdrTQoVEwWwwIfxIpVba2ClaAGdXRjNbu/XY2aRhZmwOPLZK/UYmuxQs1fYV S+zNUjlM3zDkjDoU0rqKuRQlGSBOxcYvoihcxFrAGylTdT8axT9PsUlxTsxiaY5gH/HLwt+e XB1bl9No7uM7ChZnuQ3GmpP6WBgJPWFnCDR5vfRK5Ifu/9mSipukOcS7HM/wrpTpCZKIZ490 DPVtcJrqkq6n/OnzzNmVF9Rr28Oit7X+0plPqrd+99LXnOFtBMB4GOMCggb8ttoDtq83sIYg tPLla/1NHJD64eOpZpaV5WScZjXdiZ9Yn+LUHbOAQAITCCmLzTajk1ZyrSJ82GN64I9od7qk YYPTblSUBo0EOkbAwJrBo9nQt8/UzU6nLqclMNN62C5qUybWsRcs53bTPuQCPPubimel7psa B4BwLe+JoMWfN6euQQqehxhkYLGFlCFF8hKuTFkZxQorV9l9XF/Sigs3hugZF/xpnAUEvGwk 1g9jQ40MoFPvH/8plwwIFTNvi45lkI8zM7kjT6mezn0NK6sXItSBkIcWGA+N5r6R0B+agjgx CSM1R/BTrNVyqRlLCVl1FOatpxIFvpRC6ZDZU1IrRlyT/ot2FVY7C6gwB0fjdY=
  • Ironport-sdr: 66d83c43_dXM79ljMcBnXuzTpAhQBms19c1HL0mDgjVX/A9ZbhYDdiAa Wxhoglm2JdHDrrWS/osIb4LnVNCJ73imjfgkvLQ==

** Apologies if you have received multile copies **

Hi all,

I have a fully funded postdoc position to work on the type-theoretic
verification of probabilistic programs.

The project will involve working with graded modal types, reasoning about
quantitative properties of higher-order probabilistic programs, building
logical relations/categorical models, mechanisation using an interactive
theorem prover and showing applications to theoretical machine learning.

The selected candidate will join the PLAS group at the University of Kent and
will directly work with Vineet Rajani (https://vineetrajani.github.io/) and
Dominic Orchard (https://dorchard.github.io/).

I would like to fill this position ASAP, with expected start in early/mid
October 2024. Please do not hesitate to get in touch for any formal or
informal queries. If you are interested in this position, please send an
email with your CV (containing list of publications) to Vineet Rajani
(V.Rajani AT kent.ac.uk).

Cheers,
Vineet Rajani


  • [Coq-Club] Postdoc position at University of Kent, Vineet Rajani, 09/04/2024

Archive powered by MHonArc 2.6.19+.

Top of Page