Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Postdoc in Type Theory/Logic, Stockholm Univ. (deadline 4 Nov)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc in Type Theory/Logic, Stockholm Univ. (deadline 4 Nov)


Chronological Thread 
  • From: Peter LeFanu Lumsdaine <p.l.lumsdaine AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Postdoc in Type Theory/Logic, Stockholm Univ. (deadline 4 Nov)
  • Date: Fri, 25 Oct 2024 13:19:09 +0200
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=p.l.lumsdaine AT gmail.com; spf=Pass smtp.mailfrom=p.l.lumsdaine AT gmail.com; spf=None smtp.helo=postmaster AT mail-ed1-f54.google.com
  • Ironport-data: A9a23:D0Uec6KoDmOQ6jd3FE+RfZElxSXFcZb7ZxGr2PjKsXjdYENS1jwEy GpLWj3Ta6mIYzemL9lyboWy/E9SuJPTy9EyGwEd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgb8s9JIGjhMsf7a8Eky5K2aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LucVvXx9ZeMXgNJqIg2cpmMz9g0 d0JN2VYBvyDr7reLLOTT+BtgoEuIJCuMt5D/H5nyj7dALAtRpWrr6fiv4cJmmdtwJoWTbCDO 6L1ahI3BPjESwUJPhETFZclkO6pgHTXfDhRqVbTrq0yi4TW5FUpiOC2b4qLJrRmQ+0WxH24m UP3uFjZKSlZHdmO6iG0zk6F07qncSTTA99LTOLpqJaGmma7zWsKTRYSSFGTuui8kkf4WtRFK kVS9DBGkEQp3EmiT924UhHh5XDZ4lgTXN1fF+B84waIokbJ3+qHLmokdTpiWOEfj9QZfR8Gx 23XsffIFCM65dV5Vkmh3ruTqDqzPw0cImkDeTIIQGM5Dz/L8NFbYvXnHoYLLUKlsuAZDw0c1 NxjkcTTr7AajMpO2qniuF6a33SjoZ/GSgNz7QLSNo5E0u+bTN//D2BLwQGEhRqlEGp/Zgfd1 JTjs5bChN3i9bnXyESwrBwlRdlFHcqtPjzGmkJIFJI87Tmr8HPLVdkPumAhdRs2aZddI2CBj KrvVeV5tM470JyCPf4fXm5NI55ypUQdPY26BqCKMYAWCnSPXFTboXkzNCZ8IFwBYGB3zPhnZ sbFGSpdJXkdDqtjwXK3QexbuYLHNQhvrV4/savTlkz9uZLHPCD9Ye5cbDOmMLplhIva+1692 4gEaKO3J+B3CryWjt//qtZLdQhiwLlSLcyelvG7gcbac1I6ST9/VaaJqV7jEqQ895loei7z1 inVcidlJJDX3BUr8C3TMis/OoD8F41yt2w6NiEKNFOlkSprK4W24atVM9N9cbA7/aYxhbR5X tsUSfWmW/5vczXg/yhCTJ/fqIc5Sg+nqzjTNAWYYR8+XaVaeSr3xvHecDDCygwyHwuslM5no 7SfxgLRGpUCYAJ5DffpUvGkznLvnH1EmOtNQFf6HeBDXHrdqa5Bdir71K4xKe4xNCSZlye71 hmXMzgct+Lis484y/iXpKGm/qOCMfpyIVpeJEbftY2JDCj9+nGx5KNxS8CKdiD5eEKt34v6f sRT7fX3EMNfrWZwq4AmTopal/Mv1eXgt5px71pCHkySS3+JF7k5AH2N/fcXh5133rUD5DeHA BOeyOJ7Z4eMFtjuSmMKBQwfae+G6/EYtx/S4dkxI2T4/CVHx6WGY2oDIyizjDFhE5UtPLMH2 esBvOsk2z67gDcuMfeEiXlw3EaIJXoiTa4ml887BKnGtwkV8WxBMKfsUnLO3JKyatt3IhYLJ B2Qj/H8nLhy/BfJXEcyMnnv5tBjo6oylipE93I4HGTRqOH53qc2+DZz7QUISh9ky0Qb8uBrZ UluGU5HBYSP2DZKgsJ8cXimMFxDDkfB+2ja6VgApEvGRWaGC03PK2wcP76W3UY7qmhzQBlSz Iu6+k3EDwn4XZjW9TQgfGJYsNrfdMxV2iyevdG4DuKHMoIfYzG4spSxZGENlQTrMfkxiGLDu +Nu2uR6Mo//CgI9vIw5DJu8x50LaRXZOlFHf+5tzJkJEU7YZju2/zqEcGK1W8FVIs314V2KM NNvKu1PRiaB+n639B5DPpE1IphwgPINz/gBcOmyJWc57p2ungAwu5fUriXDlGsnRut1qvkEK 6TTSimjF1KBjn4Fik7Pq8h5YlCDW+cmXzGl/u6J87QuLakh4cVMakA514Wms0qFaDVH+w2mh yKdRqv04dE796FSsdrCLqFxCT+wC+vPb8WT0QXqs91xfdLFasjPkAUOq2jYBQddPJpPetF7i YWytMXT2WXbto0XSEHcoYGKTINS1PWxXc1WE8P5F2Zbli28Q/3R4wMP1mS7CJ5RmvZf25WDa y6nTvCvLPg5dsx4xnJHTwR/STMmFLXRfKPsgQifvsa8IEER/iKfJez26EKzS39QcxE5HqHXC yj2nq2Lzc9ZpoEdPy00LahqLLEgKWCyRJZ8UcP6sASZKWyaglminL/Gvjh44BHpDki0KurL0 ajndDPfKivr4LrpyetHubNcphcUVXZxodchd3InpuJZtWqIM34kH888b7M9FZBmog7j3srZZ RbMTlcYJwfTYDBmSSj4sfPfBlqxJ+pXNtnAc2ljuwvebiqtH4qPDYdw7ioqsT88ZjLny/rhM t0EvGH5Oh+q2JxyWOIP/bqBjPx6wu/BjGc9kawnfxce3z5FaVnL6JBgIOaJfSnOEsWImUmSY GZoGSZLR0a0TUO3GsFlE5KQ9Nf1oxu3pwjErw/WqDoch2lf5OJFwfz7fer019XvqewUcaUWS yqfq3SlugirN796hUftk90siK5wT/mMG6BW6UMlqRI6x8mN14jsAy/Ocefjgi3vFM6z3m4xT gWR3kU=
  • Ironport-hdrordr: A9a23:csjsP62aeLmvjYLo84yeDgqjBL8kLtp133Aq2lEZdPU1SL3+qy nKpp4mPHDP+VUssR0b+exoW5PgfZq/z+8W3WB5B97LNzUO01HYSb2Kg7GSpwEI2BeTygee78 pdmmRFZ+EYxGIVsfrH
  • Ironport-phdr: A9a23:LfDTKhUBjRF3mE25Y+T5aE13IwXV8KxfXzF92vMcY1JmTK2v8tzYM VDF4r011RmVBt2dsa0ewLGI+4nbGkU+or+580o+OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwbL1uI BmsswnctNcajYRsJ6sw1xDEvmZGd+NKyGxnIl6egwzy6sCs8pB97i9eoegh98lOUaX7e6Q3U 7lVByk4Pm42+cPmqwDNQROA6XUAXGoWlAFIAxXe4xHhQpjxqCr6ufFj1yScIMb7UKo7WTWm7 6dsVR/olCIKPCM3/W3LlsB9ir9QrRS8rBJ93oHUepmYO/V+cK3Tft0UWHRPUdpKWiNbHo+xd ZECA/YdMetaqYT2ulsArQG5BQmpHO7h0CFHhmPo0q0gzu8vFx/J0gw6ENIIrXTfsdP7NLoXU eCu0abH1zTDb/VI1jzg74XIagotofWWUbJ0bMrRzFIvGB7fgVWRr4zqISiY1usIs2eB7upgU fijhHIgqwF0uzWiwNonhYbViIwP0F/E6Tl5z5gvJd2+UEN2YsCoHpVSui+VM4Z7X98uTmVrt Sg6xLALtoO3cSsKxpkk2hPSduGKfYaG7B/sWuucIit1iW5hdb+/gxu/70ytx+vhXce611ZKq zBKktjKtn0VzBzT99KLSuBj8UqnxD2B1BjT5/laLUwokafXMZ0sz74qmpYNrUjOHTX6lUX5g aKQa04p5Oyo6/n8YrX6uJCcLZJ6igD/M6swgsGzHeI1ORUUUWeB4+Szzrjj8FX5QLpUiv02l bHUsJXAKsQaoq61GhFa3Zs+5xqmATer0NsVkWMILFJCfxKHgIzpNE/ULP/kCve/hkygkDZtx //YIr3sGovBImTHnbv7frtw61RQxBQvwd1c/Z5ZCr4MLOr2WkDrtdzYChE5Mxazw+biENh9z pkSWWaVDq+dLaPStESI6f81LOmNYo8api3wK/cg5/H0jH85nUURcrWu3ZsScHy4GO9pLF2DY XXwmtcBDXsKvg0mQeD3kFGCSyJcZ26uX6Ig4TE2EJ6pDYDaRoy0nLOB2Dq7EYZNa2BdClGMF G/oeJ+eV/cNbiKSOM5hnSYeWbivUY9ynS2p4QT90v9sKvfe0iwer5PqktZvtMPJkhRnzTFoA t7V92yjRmdp1kcVQiQ61aF5rAQp0hGHl6xlhudUHN1V6ttGVw47MdjXyOksWIO6YR7IYtrcE AXued6hGzxkFrrZovcLakd5QJC5iwzbmjGtG/kTnqCKA5o99uTd2WLwLoBz0SWOz7Ev2n8hR MYHLmi6nuhn7QGGH8jN1UGEkr2mfKUa0QbC8W6CySyFu0QLGBVoX/D9VGsELlDTscy/40rDS 7G0DrFyKk1Fj8qfL7BGY9zvgH1JQf7iPJLVZGfi03yoC0OuwbWBJJHvZ31b3CjZDx0clBsP+ H+dKQUkLiKoomabATA3UFyyPwXj9u5xrH79RUgxp+2TR2tm0bf9uhschPjHDugWwqpBoyA57 TN9AFe62dvSTduGvQtoOqtGM5s75x9c2GTVuhYYXNToJr1+hlMYbwV8vl//nxRxBIJalME2r XQshANsIKOc2VlFenuWx5f1crHQL2Dz+lioZcu0khnGltLQ/roK8/gxqlPulA6sH0smtX5g1 pgd0neR4InLEBtHSYj4ASNVv1Bxo7DXZDV45puBjyU9d/np9GWai5R0WLhAqF7oZdpUPaKaG RWnFsQbA5PrM+k2gx2yaQpCOulO9akyNsfgdv2c2aftMvwz+VDuxWlB/o151VqBsiRmTeudl Y5Dx7ecww6cWz79ilqJvcX+mIQCbjYXVDnaq2CsFMtKa6t+cJxeQ3/oJ4uz29Bli5fsXXNw+ 1uqBldA08isM0n3DRS1zUhb0kIZpmaikC2zwmlvkj0nmaGY2TTH3+XocBdv1ndjfGB5lh+sJ IG1i4tfR020d00ykwPj40/mxq9draA5Lm/JQE4OcTKkZ21lV6KxsPKFbastoNsw9yERVPm5e lyTS7jwixQf2iLnWWBZwXg3eiqrtZPwgxFhwDjFfTAj8TyDIZE2mEuX7ceUXfNL2zsaWCR07 FufTkOxOdWk55TclpvOtPy/S3P0U5RSdSfxyobT/CC/5GBsHVi+h6XpwoyhQVV8i3erkYQ2B kCq5F7mb4Lm1rq3K7did0hsXxrn7tZiX5p5is02jY0R3n4TgtOU+2AGmCH9K4Y+u+q2YXwTS DoM29OQ7hLi3RgpNjSNgYbkU26Ry8pnavG1Z2oX3mQ26MUAW8L2pPRU2DB4pFa1t1ebeb552 DMAzOAi4X8cjskGvQMsymOWBbVYTiw6dWT80h+P6d65tqBeYm2iJKOx2ERJltekFLieowtYV SWxatI4ECR39Mk6LEPU3Si59NT/YNeJJ4F21FXcg1LaguNSMp50ivcamX8tJzfmpXN8g+8j0 U41gNfj7dDBcTkyuvr+WEIQNyWpNZ1PvGu21uAHwJ7Qh8f2T/ADUn0KRMe6E6zuSWpI86yhb 0HUSHU9sivJR+SZR1POrhc+6SqIScjjNmnLdiZDi4w+AkDMfgoHx1lEOVdy1p8hSlL1mIq4K ho/vnZJoQem4hpUlrAxb0m5CziA4lfuMnBuEdCeNEYEt14ZoR6EbYrGqLo0Rn89nNXprRTRe DbDNkIYUCdQABzCXxe6YfGv/YWSqbHGQLfuaaKfO/PW7rUPH/aQmcD1i9UgpW3dcJ7VeCElV qxeuAILS3l9H46xdywnbSsRmmqNaseaoEz54ShrtoWk9+ytXgvz5IyJAr8UMNN1+hnwj73Rf +iXzD10LzpVzPZujTfB1aQf0VgOiipvayjlELIOsjTIRb7RnakfBgASaid6Ps9Fp6wm2QwFN cneg9Lznrl265x9Q09CTkDkk9q1aNYiJmi8MBbKCB/OOunaYzLMxM7zbOW3TrgRxORYuhusu CqKRk/uOjPQ8luhHxurMOxKkGSaJEkE4ND7IksrUzCzCo+6OXjZeJdtgDY7wKM5nCbPPG8Ya n1ndl9V66aX9WVei+l+HGpI6jxkK/OFkmCX9bq9SN5evP11DyBzj+8f7m49zu4f9GdAAvhon TDep99ornmpl+COznxsVx8E+VMpzMqb+F5vP6nU7MwKQXHf4BcE9nmdETwPrtphT9Dj4uVel 4SJm6X0JzNPtdnT+IFPYqqcYNLCO30nPx3zHTfSBwZQVj+nO1bUgElFme2T/HmYxnDfgpfpk ZsKDLRcUQ5tfhv1IktgFd0GZpxwW2F9+VZ6pMsB5H77oRWIAcsH4tbIUfWdBfipIzGc3+EsW g==
  • Ironport-sdr: 671b7ebd_dxoEUl+lnpKeOGfk4fjzI4K34+Em9vhSLqbnj6TPoFszYHJ idqGFQ14f0b6/QIwE1sD/SZ51ibr7DEJnbUqKFw==

Dear all,

We have a postdoc position open in type theory and mathematical logic, for a 2-year post, starting this coming January, with application deadline Nov 4 (i.e. Monday week — sorry for the rather late announcement).  Type theory is the core of the grant project it’s attached to, but applicants working on related topics in logic are also very welcome.

The full posting and application system is at:
[English] https://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=24395&rmlang=UK
[Swedish] https://www.su.se/om-universitetet/jobba-på-su/lediga-jobb?rmpage=job&rmjob=24394&rmlang=SE

Although the instructions ask for ≤3-years post-PhD, exceptions can be made to this, so I encourage all interested candidates to apply!

And please email me <p.l.lumsdaine AT math.su.se> if you have any inquiries about the position — the application procedure, our department, Stockholm/Sweden, etc…

Best wishes,
–Peter.


  • [Coq-Club] Postdoc in Type Theory/Logic, Stockholm Univ. (deadline 4 Nov), Peter LeFanu Lumsdaine, 10/25/2024

Archive powered by MHonArc 2.6.19+.

Top of Page