Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PhD student in Computing Science on safe and efficient programming languages

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD student in Computing Science on safe and efficient programming languages


Chronological Thread 
  • From: Tjark Weber <tjark.weber AT it.uu.se>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] PhD student in Computing Science on safe and efficient programming languages
  • Date: Tue, 27 Jun 2023 13:59:08 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tjark.weber AT it.uu.se; spf=Pass smtp.mailfrom=tjark.weber AT it.uu.se; spf=None smtp.helo=postmaster AT cursor.its.uu.se
  • Ironport-data: A9a23:M9pSPKnv+cDNIp7hBSOoG5To5gywIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIYUTqDPK6NambyeIwnaIS38x8P75GHydNlQAFk+XhgFVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayajt8B56r8ks156ys4mxA5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1yJm1mGrMow91SIl9rq aMpGWo0Q1eq0rfeLLKTEoGAh+woMdPwO5lZu217iyzES+0rKXzBa/yRvZkCh2d22YYXQqy2i 8kxMVKDaDzcYRRVOREIBZgzhs+pmj/ibntDpTp5oIJuujSDk1IvjuGF3Nz9d9+tXPpezgWhj UXX8lrjDE1KLuLF8G/Qmp6rrrSTw3+iBt16+KeD3vVtmRiYwnEZIAYHUEOy5/i/kE+3HdxFQ 3H44QI1qLQqsUu2UoC7QgD+u3PsUgMgt8R4D8cWuCaz+pPvxiWnIzRbfw8bUfFhnZpjLdA17 WOhk9TsDD1plbSaT3OB67uZxQ9e3wBJfAfuggdYHWM4D8nfTJIb00OfE4s7eEKhpoSqR2qsm FhmuQBj74j/m/LnwI2A0DgraRqRvoDSRwo8juk8dj34tEskO+ZJi6SV8UDA5PJJZK2eU1+dr RA5dyW29+USFdSKiTDUBvgQWqqkjxpkDNE+qQEyd3XC3239k5JGQWy2yG0lTKuOGppeEQIFm GeJ5WtsCGZ7ZRNGl5NfbYOrENgNxqP9D9njXf28RoMQMschLFPdp3E1PhT4M4XRfK4EzP1X1 XCzLJ3EMJrmIfk8pNZLb7pAiO5wmEjSO0uDHcGTI+ubPUq2PyLLFe5bbzNin8gi866IoR7Vu 8tZNtWH0Q5eTPy2ZCTL7okJLjg3wYsTW/jLRzhsXrfbeGJOQTh5Y9eImONJU9I/wsx9yLySl lnjARAw9bYKrSCdQel8Qio9OOqHsFcWhS9TABHAyn7xgiV8PtzytfZBH3b1FJF+nNFeITdPZ 6FtU6297j5nE1wrIhxNMsmvn58obxmxmwOFMgysZTV1LdYqRBXE9pWgNkHj/TUHRHj//8Yvg ayS5iWCS7o6RiNmEJn3btCrxAiPpnQzor95cHbJBdhxQ3/S1rZWBRb/tdIJBv0dCA7iw2Ka3 jmGAB1DqujqpZQ0webzhquFjtmIFs0nFUx8AWLasK66FQzH8lqe3IQabeesVhLeXVPS56+NS 7h0zfb9Eftfh3dMkdN2PIhKxJIExenEhuFl3CF7Ok7UfnKXCr9ECVuX7/ll76Fi6OdQhlqrZ xip5NJfB4SsBOrkN1wgfCweceWJ0KAvqAn4tPgaDh3z235qweChT05XAhirjR5dJptTNKcO4 78omOwS2jyFpisaCPS0pQEKyD3UNV0Fabstib8CCoyyigYL9EBLUaaBNgDIuqOwe/d+GWh0B A/Mn6fTpaVu9mybeVoJKHX99+58h5MPhRN08GE/N2m5wtrou/tm8yBSoBIWTxtUxCppy+hcG HZmHGwrKLSs/wVHvtliXWetEjF4GRGpx1H6kWYIsEb7TECYcHPHA0NgGOSK/WEfq3l9eBoC9 p6m6W/VaxTYV+Cv4TkXRmhetO3Fcdx90ibgifKXNZ2JMLdiaAW0n5L0Q3QDriXWJP8YhWrFl LFMx/lxY6iqDhwgifQ3JKfC3ItBVS3eAnJJRMxg26Y7HWv8XjWW8hrWImCTfvJ9HdD7wXWaO edPeP0WDw+f0RyQpA81HaQPer94vMA47eo4J4/EGzQ0jKu9nBFI7rTgrjPzlU06ceVIyMwdE L7cRxiGM26XhEZXpVPzkdl5CjKGRucANSLB37GT0eQWFpg8nvlmXmMs35CV4XiEEgtV0CiFn QHEZqbm9vFu+blxlNHRE4FoJQa9GfXsXsumrSGxtNVva4vUEMHs7gk6lHjuDz50D5AwBetls Kuri8Hm+n/FsJIdcXHrq7PYG4ZnvcyNDfdqaOTpJ3xkrA6+cc7L4Spb3VunKJZMwehv1uP+S ySWMMKPJMMoAfFDz3hoag9bIRYXK4LzSozC/SqdjfC9OiIx4Dz9DuGM1CHWNDlAVyoyJZfBJ Bf+uK+u6vBmvY18PkI4KM88MaBoAm3IePUAR4T9uwDNWyPsyhmHt6D5nBUt1SDTBzPWWIzm6 JbCXV7leA70pKjMy8pDvpdvugEMSkxwmvQ0YllX7useZ+pW14LaBb913VQ65pBofuja34zif zbXKmo+EmPgQHJffH0QJTglshi3XoQz1hXRf1TFPH94rw+3GMWdHf16+0+MJl9oLyD7wrjPx c42oxXN09vY/n2tbecPoOGmx/xqrh8fKrTk5mil+/HP790i7XnmGZCv8MehlcAKLi0VqHj2G A==
  • Ironport-hdrordr: A9a23:SdLqLqyG6YQNx9cOXi3jKrPw/L1zdoMgy1knxilNoHtuA6qlfq GV7ZMmPHrP4lsssR4b6LS90cW7MBHhHP1OkPEs1NWZPDUO0VHAROoMg+rfKlbbak7DH4BmpM JdmuRFeaTN5Q8Qt7eB3CCIV/cpxd+BtICE7N2z8547d3AQV4hQqztETiqLGEx/QwdLQbwjFJ Sd4aN81kedRUg=
  • Ironport-phdr: A9a23:FE2hGx/HPxLlfP9uWTG2ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Y gqHvb411xeJBdydt6gZzbKO8ujJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajYL5+N gm6oRneusUKj4ZpN6I9xgfUrndSdOla22NlKUiPkxrg48u74YJu/TlXt/89+MFMVrn3cb4lR rJCFjQmNG415MzvtRbdSAaE+2URXGYLnBdWGgbJ9B71UIv/vSv8rep9xTKVPdbqQrAuWDSt9 LlkRRn1gyoaLTE58WXXisttjKJHpR+quhJyz5LIbIyTKfFzeL7Wc9EHSmpbRstfVDFPDIOiY YUBE+UPMuhXoIb8p1YVsRu+HBOhCP/zxjJShHL727Ax3eQ7EQHB2QwtB8wAsHbOo9XvN6cZT OC6w7fTwjrddfNdxDDw6JTKch87u/GMXqh8cMTPxkY0CQzFlE6dqY35Pz+Py+QNrnKX7/F+W u+2jWMstg5+rCS1yMg2lonJmpwaykrC9Shh3Is4Jty1RkB7b9CrDZZdtC+UOYV2TM48Xmxlu Ds2x7IItJO/fiUG1ZUqyh3BZvCbboWF4g/uWPiTLDp3i3xoeLSyjAu8/0inz+3zTMi00FBSo ypYj9nArGsN2ALV58OaSfV95l+s1SuB2gzP8O1IP045mKnBJ5Mj2LI8i5gevVrbEiPrlkj6k LWaelsq9+Wr8ejqY6vqqoWCO4JylwrwKL4hmtalDuQ9KgUOX3aU+eC71LD74UL5Xa9KjuYxk qnDqpzaJNgbprWjDw9Iz4Yv8Q2/ACm+3NQZm3kIMk5FdQqag4XnJ13COu70APm8jli2kjpn3 e3KM7//DpnVK3jMirbhfbJz605GzwozyMhS545WCr4bOvLzWVX9tdLGARAiLQO02f3qCNRh1 o8ERGKPH7WVMLjMvlOQ4OIgOPGDZJUJtzblN/gl+/nugGcklVMFZ6mmwYMXaGykHvRhO0iWf X3sgs4YHWgWugo+UfflhUaZUT9TYnayR7gz6is6CIKgF4fDR5qijKaP3CehTdVqYTUMAVeVV Hzsao+sWvEWaSvULNUr2mgPUqHkQIs83zmvshX7wvxpNLyH1DcfsMff1tFv5KXsmBs/73QgE 8aUyWLLUGx+k3kgRiNwwb05ukErmQTL6rRxn/ENTY8b3PhOSApvbfY0rsR/AtH2AEfae8uRD UyhSZOgCC0wSdQ4x5kPZVx8EpOslEOLxDKkVpkSkbHDH5ko6uTExXGkO8R00XWAy6QrgkMOQ 9cJKHDgnaMsvxPLCdvxml6C372vabxa2SfM8GmZym/boENRSg02TqjPUGo3Z1eQsMm//U6RB 6S2B+EBNQ1MgdWHNrMMatDtigBeQ+z/Pd3Ff2+rs2ytHw2P3PWNcJGsZnhbxyi15FEstQcV8 D7GMAE/An3kuGfCFHl0ElmpZUrw8O54oXf9T0kuzgjMYVczn7yysgUYg/CRUZZxlvoNpTshp jNoHV28w8OeCtyOoBBkdbldZtV16UlO1GbQvQhwdpK6KKUqilkbegVx90Tgsnc/QplCmNIp6 mwnxgdoAaOElk5cMSiVnNjxNrDRNmju7UW3caeFklra0duQ5uIO8KFh8A2l5lr5UBVkqio9g Lw3mzOG657HDRQfS8f0W0czrV1hoq3CJzM67MXS3GFtNq+9tnnD3cgoDa0r0EXFHZ8XPaWaG Qv1C8BfCdKpLblgh1qgdBFCI+1Y+bQcPt/gaubAw6Phb4MC1Hq2yH9K5oxwyBfG6yh1UO2Ow JsPzuuw3xfBSiq6l1rr4aWV0chUIDoVGGS40y3tAoVcM7ZzcYg8AmCrO8Srx996ivYBQlZg/ UW4TxMD0c6tI1+JakDlmBdX3gIRqGCmni2xy3p1lSsop+yRxn6Gz+PnfRsBcmlFIQsqxUvuK JK3yc8XVkWyRwk10ga4o133j6RWv6VwKWDPTFwAJnOuaTs5Au3v8OPdOYZG89swvD9SUfigb Fz/KPa1uBYc3y75XiNfyD09azC2q8D8lh1+hniaKSU7p37YdMdsgBbHsYWHHbgLhWpAG28h1 mOEYzr0d8Ok9tiViZrZ5+W3Vmb7E4ZWbTGu14SL8i2y+WxtBxS72fG1gNzuVwYggkqZn5FnU zvFqBHkb8zlzaO/ZKh7fEByBxnj5sB3AKl/js0tmdcL1DJJ4/fdtWpCimr1PdhBjOjibnMXR ngUztTY+iDkxAt+MzSSysiqMxfVitskbN68bGQM3ys75M0fE6aY4otPmi5tq0a5pwbcMrBt2 y0Qwvw05DsGkvkE7UAzmz6FDOlYTiw6dWT80g6F5NekoOBLaXazJPKugVFmk4npCaHKoxkAC i+iItF4Rn82sYMgaxWXihiRosnlYIWCNIlL8EfPw1GfybcJb8lr3vNYni97ISTgoDs+xqYy3 wdrwYn/u5WbciNw4eSiD3s6fnX8NdgW5imoirtCxICLwsa0E91oSC4OQIOtSu+0S3QPqLL8O k6HQiY5tm/eHqfDQUmC9QF9ohetW9iiZWqSOGFcysh+GV+AOQpEjUgdDi4/goZ8ER22mor8b QFi63gYtFXlsABL0KRpKwK5T3qZvwrNCH98QcqUMQBN6RtD+lyTMNCFqP9uWTpVtouoqAjHQ oCCTyJPC2xBGkmNBlS5e6Kr+cGF6e+TQOy3M/rJZ7yK7+1YTfaBg5y1gMNg+H6XO8ODM2MHb bVz01dfXX1/B8XSmikeAy0RmSXXaseHpRC6siRpp8G7+f7vVUrh/4yKQ7dVNNxu/Vixj8Lhf 6aIgz1lLD9Dyp4W7XTV0qMYxhgTlzooaiTrCrlB/S/BQaTMm7NGWh4WbyQgUakAp6k43wRLJ YvakoasjeY+1KVlTQgDDAO7yaTLLYQQLmqwNU3KHhOOPbWCf3jQxt3vJLm7QvtWhflVsBu5v XCaFVXiN3KNjWqMNVjnPOdSgSWcJBEbtpu6d0MnFWrqVtGgdRCxPcVfjCFw3KBynX6AZgt+e XBsNlhAqLGd93YSmvJkB2lI9WZoN8GPhjyC6POeK4oN9+Z2RD953bE/gjxy2/5e6ydKQ+Zwk S3Zo4t1ol2opeKIzyJuTBtErjsjbG2jvFkkJLif7ZQSAB4sHToG8H+LDA5Mpsd+TMDy/btdm ICnfEfbKSsE7s+S5sZOX6Dp
  • Ironport-sdr: 649acf0d_PF3UaNlnk7w8qrS8TprpEQg+uxdtA2GWhOF5YK3UT4EkchE q6SRDRb6pmXmkyHzYxI448vAcjwUdWKcL/yNYVg==

[Apologies for multiple copies. Please forward to interested students.]

Dear all,

Uppsala University is advertising a fully funded PhD student position
on safe and efficient programming languages. We welcome applications
from students with an interest in theorem proving.

For more details and application instructions please see
https://www.jobb.uu.se/details/?positionId=640252

The application deadline is August 4, 2023.

Best,
Tjark








När du har kontakt med oss på Uppsala universitet med e-post så innebär det
att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan
du läsa här: http://www.uu.se/om-uu/dataskydd-personuppgifter/

E-mailing Uppsala University means that we will process your personal data.
For more information on how this is performed, please read here:
http://www.uu.se/en/about-uu/data-protection-policy


  • [Coq-Club] PhD student in Computing Science on safe and efficient programming languages, Tjark Weber, 06/27/2023

Archive powered by MHonArc 2.6.19+.

Top of Page