Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PhD at Utrecht

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD at Utrecht


Chronological Thread 
  • From: Paige Randall North <paigenorth AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] PhD at Utrecht
  • Date: Mon, 18 Mar 2024 16:17:02 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=paigenorth AT gmail.com; spf=Pass smtp.mailfrom=paige.north AT gmail.com; spf=None smtp.helo=postmaster AT mail-oo1-f51.google.com
  • Ironport-data: A9a23:dxktzqly+4bs1LcN3WhPBSXo5gwZIkRdPkR7XQ2eYbSJt1+Wr1Gzt xJLDz+Haf6JZWajet93YYmw9UgEv5eGm9FnSgM6pHg3RFtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayaj18B56r8ks14Kyp4WNA5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1gNW8qLI4VoNpKIiJQq 6FJJxs0XB+M0rfeLLKTEoGAh+wmJcjveYQY4zRukGifAvEhTpTOBa7N4Le03h9q3pEITauYP pRAL2c2BPjDS0Un1lM/EJs/k+rugH7lbz1wp1ecpK5x6G/WpOB0+OGwb4CMJIPVHa25mG6Yo zPn+lj0Kys7D+GR4zy01Eq+pObQyHaTtIU6T+DhrqE73jV/3Fc7AxoPEFC/vPORkV+7Q9sZK koO+yNoo7JayaCwZtz0Xhn9p3nd+xBBApxfFOo17AzLwa3Ri+qEOoQaZjB4RsA3t8JseQEJl UHXwoLmLgVdv7LAHBpx6YyohT+1PCEUK0oLaikFURYJ7rHfTGcb3kynojFLQP7dszHlJQwc1 Qxmu8TXuln+pcsC1qH++leexjzx/97GSQk64giRVWWghu+YWGJHT9z5gbQ4xa8fRGp8crVnl CVU8yR5xL1fZaxhbATXHI0w8EiBvp5pygH0j191BIUG/D+w4XOldo04yGghfR82ap5eJ2OwP hC7VeZtCHl7bCXCgUhfM9LZNijW5fG7fTgYfqmIMIAUM8cvHON51Hs/OhDOt4wSrKTcufpiY M/EIJjE4YcyBqNgwz67D+Yb2vlD+8zN7TK7eHwP9Dz+ieD2TCfNF98taQLSBshntv/siFuOq L53aZDVoyizpcWlPkE7B6ZIcAhWRZX6bLiqw/Fqmhmre1U2STxwUa+NkNvMueVNxsxoqwsBx VnlMmcw9bY1rSSvxdyiMyg5NuHcTtxkoGglPCchG1+t1jJxKcys9aoTPd9/N7Uu6OUpn7Y+Q ugnavewJK1Fag3G3DABMrj7johpLyqwiSy0YiGKXTkYfrxbfTLvxOPKRAXVyXQxPnKFjvdm+ 7yE/SHHcKUHXDVnXZr3aurw7lafvko9ueNVXmnOKOZ9YE/HrYpgcXTwqtQVIMg8DwrJ6RXH9 gSRADYe/fLspa1s+vb3pKm0laWbOMogIVh7Rk7w8qSTGRTB2Faa0atscbqtbC/McmHZ44Cgb rhl9O79O/g5g1p6iYpwPLJ1x6YY5dG0hbtl4il7PXfMfXK5I6hBJySY4MxxqaF9/L9Vlg+oU Eap+NMBG7GoOtvgIWEBNjgeceWP+vEFqAb8tc1vDh3B2xZ2276bXWF5HRqG0nVdJYQoFrIV+ 74qvcpO5jGvjhYvDM29sRlV0GaxNV0FbbQss8ALIY3sizdz8Gp4X77nNnbU7q2MOvJ2CWt7B h+PhaHHuaZQ+VqaTVo3Ckr2/LR8gbYghUl06WEsdnWzp8r9p/4o3Rdu3yw9YSZLwz5mje9iG GhZGHdkBKeJ/j1XqtBJdDmyERNsGC+bx1zVzlcXnjfVVHuTC27HdjU8Hc2v/0kp1X1WURYG3 bOfyUfjCS3LeuOo1AQMeEdVkd7RZv0vyR/nh+amANWjI5k2RRHHk52eTzMEhDW/CPxgmXCdg /dh+dhBTJHSNAkSkvUdMJab37FBcyK0DjVObt859ZxYAFyGXi+53AWPDEWDesltAfju2m3gA uxMIvN/bTiP5BysnBs6W5FVe6RVmcQ37uUsYrnofG4Kk4WOpwpT7a7/yHLMu38Jcf5Pz+AGN YLjRxCTGDexhFxVuVP3gutqB26aWeQANSrAhL2b0eNRDJ8SkvBeQWdr2JuOgnilGg9G/RWVg QD9W5Hr39FSkYRBoo+9PZhAViOVKMzyXtum6AqckcpDRvKRPNbstzE6kEjGPQNXD+FIW91Ii qm86o/r/ULavYQZV3LStImBGpJou+SzfrtzGeDmIEZKmRCtXJfX3CIC3GSjOLp1n8h49OD+Y yeFMO6Las8yd/JG4X9kewxyMk06NfzsT6HCoSidkay9OiIF21aaEOL9pG7bU25LUwQpZbjsA RDQkNSz7Il6qI9sOkc1N8t+CcUlHG65CLoUTPyvhzy2FWLyv0ijvIHlnh8e6T3mLHmIPcL5w JDdTCjFaxWAl/DU/e5drrBNkEUbPFRljck0W3Atydp8pjS5LWwBdMA2E5ENDLNKmS3TirD8Q hzwb1UZNCasZgQcLC3A4+niUDnGV6ZKcp38Kycy9kyZVzauCcnSSPF9/yNn+DFtdiGl0OijL soE92btOgSqhKtkXvsX+ufxlNIPKik2HZ7U0RuVfw3O7xci7XEi0XVgGE9KUnWCHZyU0krMI mcxSCZPR0TTpYsd1yp/UyY9Jf3blGqHI/YUgeOnz9PWuoHdx+pFoBE6E/+myaUNNazmO5ZXL U4ahAKxD6S+1XkauK9vsNUs6UOx5TRnAeDiRJLeqcYuc21cJ4jp0w7uXcbCcS36xDNiLg==
  • Ironport-hdrordr: A9a23:G1USBquIDE5Os2EKZdvbMPaa7skDe9V00zEX/kB9WHVpm62j5q eTdZEgvyMc5wxhO03I9erhBEDiexLhHPxOkOss1N6ZNWGMhILCFvAG0WKN+UyFJ8Q8zIJgPG VbHpSWxOeeMbGyt6jH3DU=
  • Ironport-phdr: A9a23:9M3dERVvdA4NzSmkqWighKmMGrTV8KxdXzF92vMcY1JmTK2v8tzYM VDF4r011RmVB9Sdu60P1LOempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexf7d/I A+1oAjTucUbg5ZuIbstxxXUpXdFZ+tZyWR0KFyJmBry+tm+94N5/SRKvPIh+c9AUaHkcKk9U LdVEjcoPX0r6cPyrRXMQheB6XUaUmUNjxpHGBPF4w3gXpfwqST1qOxw0zSHMMLsTLA0XTOi7 7p3SBLtlSwKOSI1/H3Rh8dti61VvQ+hpwdnw4HKfI6VKPRwfqTYfdwARGpBWNtaWyhOD464a ocCCfcKM+RFoInnv1YBohuwCwevCu3y1DFHmmT70rcm3+k7CwzKwBAsEtAIvX/JrNv1LqASU eWtwafS1zrDbvxW1ing44bUaB8hp+yDUqh0ccrV1EIhDwTFjk+MqYzlIjiY0fwNvHKa7+pvS +2vjWknqxttojiv3coshYzJiZgUylDA7yl23IE1JdihRUN9fNWrH4deuTuAOItqXsMtXXtou CAix7MIpZO3YTYHxYo6yhLBZPKJc5WE7w/+WOqNLjl2im5pdbGiihqv8EWs1vPwW8ao3VtEo SRIjMTAuH4P2hLT9MWKTOZ28Emm2TaKzQ/T6+dELFg7laraN54hwqMwmYEJvUTCGS/7nlj9g qyOdkg85OSk9+Dqbq/lq5KcLYN4lwDzPrk0lsG/HOg1NBUFUnaf+eShz73j4VP2QK9XgP03k 6jWrojXKdgdq6WkGQFayJwj5Ay6Dzq+0NQXg30HLFVddRKClYfpOlXOLOn/Dfe4nligiTlry vDbMrH7DZXNKX/DkLjlfblj8UJT1A0zzdVH65JVDLEOPu7zV1fvuNDEChI1KQ+5zub9BNlg1 44SRHiDD6+EPK/KtF+H/OMvI+2CZI8Pvzb9LuAo5+b0gn84ll8SY7Ol3Z0QaHCiAvRmI16UY XXpgtgbEGcKuhAyQ/DtiF2HSTJTYW29ULom5j4nEIKmEZvDRoe1jbCcxCu7BIFZZnhaClCQF nflb5mLW/AVaC6LPsBhliEEWqO6Ro861RCusRf6xKB9IurV/C0Yr5Pj28Jv6+3djxFhvQBzW s+ayiSGS3x+tmIOXT4/mq5l8mJnzVLW6aF5jPEQL9VV6/pNVk8cMoTAz6QuE9nzVQ/Hec2VS H6pR9ynBXc6SddnkIxGWFp0B9j31kOL5CGtGbJAy+3j7P0c96vd2yK0PMNh0zPc06JniVA6Q 8xJPGngh6hl9gGVCZSa216BmfOMcqIRlDXI6H/F1XCH6VlRUQF9V6LfQXA3aU7frNC/7UTHH Pe1EbpyCgJa0oaZL7dSLNjgjFFIXvDmbczXYm283WG3HwqI7ryJZYvuPW4a2XaVE1AKxiYU+ 3vOLg0iHmGhrmbZWSRpDk7qaljw/PNWrXq6SgozyFjPYRA4kbWy/RERiLqXTPZ7MqssniAnp n00GV+824iTEN+cv097e64aZ9oh4VBB3GaftgpnP5XmIbowzlgZOx96uU/jzXAVQs1JjNQqo XU2zQFzNbPQ0VVPcCmd1IzxPbufI3f7/RSmYarbkl/E19Pe9qAK4fU+41Lt2WPhXlIr8npq1 d5Pz3u06ZDDDQ5UWpX0Ew42+xV8u7DGc3wl/YqHnXZoMKSyrnrDw4dzXLpjmkvmJokGdv7dR 2qQW4UACsOjKfIngQ2sZxMAZqVJ8bIsetmhfL2A0bKqO+BpmHSni35G6cZzyBHplWI0R+jW0 pIC2/zd0BGAUmK2lF6gvc2xn4deeTE6EW+2yCyiD4lULP4XH85DGSK1Lsu7y88rzYbkWnFV8 lm5G1Mu18qgeB7UZFv4l141twxfsTmsni22yCZxmjcio/+E3SDA9O/lcQIOJm9BQGQKYU7EG YGvlJhaWUGpa1Jsjx65/QPgwKMdoq1jLm7VSEMOfi7sLmgkXLHi/raFZsdO7tsvv0A1GKyka FGVR/j7pAEG0wvsGmJfwHYwcDTitpjinhN8gX6QNz4p9CufKZw2nEmGooGFDfdKliILXix5l SXaCj3ed5Gy8NOYmo2C+uGyWmS9V4FCJCzizIeOriy+tiVhBRyymez2m8WyS1Brl3+mkYA0D GOV9UWZAMGjzamxPON5c1M9AVb975A/AYRiis4qg5pW33EGh5KT9H5BkGHpMNwd17itCRhFD TMN3dPR5xDonUN5KXfcjZrwV3qQhM1mfcW6SmwT0yM5qctNDe3Hid4M1TswuVe+oQ/LNLJll zYSxL0o72QGg8kGvQMsymOWBbVYTiw6dWT80h+P6d65tqBeYm2iJKOx2ERJltekFLieowtYV SWxatI4ECR39Mk6LEPU3Si59NT/YNeJJ4F21FXcg1LaguNSMp50ivcamX8tJzfmpXN8g+8j0 U41gNfj7dDBcTkyuvr+WEIQNyWpNZ1PvGu21uAHwJ7Qh8f2T/ADUn0KRMe6E6zuSWpI86yhb 0HUSHU9sivJR+SZR1POrhc+6SqIScjjNmnLdiZDi4w+AkDMfgoHx1lEOVdy1p8hSlL1mIq4K ho/vnZJoQem4hpUlrAxb0m5CziA4lfuMnBuEdCeNEYEt14ZoR6EbYrGqLo0Rn89nNXprRTRe DbDNkIYUCdQABzCXxe6YfGv/YWSqbHGQLfuaaKfO/PW7rUPH/aQmcD1i9UgpW3dcJ7VeCElV qxeuAILS3l9H46xdywnbSsRmmqNaseaoE354ShrtoWl9/+tXgvz5IyJAr8UMNN1+hnwj73Rf +iXzD10LzpVzPZujTfB1aQf0VgOiipvayjlELIOsjTIRb7RnakfBgASaid6Ps9Fp6wm2QwFN cneg9Lznrl265x9Q09CTkDkk9q1aNYiJmi8MBbAAx/OOunfYzLMxM7zbOW3TrgRxORYuhusu CqKRk/uOjPQ8luhHxurMOxKkGSaJEkE4ND7IksrUDa6Co+/OXjZeJdtgDY7wKM5nCbPPG8Ya 31ndl9V66eX5mVei+l+HGpI6jxkK/OFkmCX9bq9SN5evP11DyBzj+8f7m49zu4f9ChFS/Ezn izIst5GrFSvk+3JwT1iGkkryH4DlMeQsENuNL+MvIFHQmrB9QkR4H+4Dh0Lo55iDYSqtf0Jj NfIk633JXFJ9Neerq5+T4DEbcmANnQmKx/gHjXZWRAEQTCcPmban0VBkfuW+xV9QbA1r5Htn NwFTboJDTTd89sVD01kGJoJJ5IlBlvMcJaehc8MoH259VzfGZwcsZfAWfafR/7oLWTB5YQ=
  • Ironport-sdr: 65f85afc_LU2jJv+pYfBi6ltDnUuJ7J/WYZa/g2dCy1n/79kgCGQDmK7 FXH8SFVDXOb/pYXls8UpIofIREcP4oi+1vX6cag==

Dear all,

Johan Commelin, Jim Portegies, and I (Paige North) are looking for a PhD student to work on the development of proof assistants for education such as Waterproof [1] (see [2] for a project description). The position will be based at the University of Utrecht (though it will also include collaboration with the Technical University of Eindhoven) and will start in Fall 2024. We will consider applications until the position has been filled, so please contact one of us soon if you are interested. You can reach me at p.r.north AT uu.nl.

Best,
Paige

[1] https://impermeable.github.io



  • [Coq-Club] PhD at Utrecht, Paige Randall North, 03/18/2024

Archive powered by MHonArc 2.6.19+.

Top of Page