coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Nicolai Kraus <nicolai.kraus AT gmail.com>
- To: agda list <agda AT lists.chalmers.se>, coq-club AT inria.fr, haskell AT haskell.org, types-announce AT lists.seas.upenn.edu, Homotopy Type Theory <HomotopyTypeTheory AT googlegroups.com>, "Categories list <Categories list>" <categories AT mta.ca>
- Subject: [Coq-Club] Postdoc and PhD position in homotopy type theory
- Date: Thu, 3 Mar 2022 14:32:34 +0000
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nicolai.kraus AT gmail.com; spf=Pass smtp.mailfrom=nicolai.kraus AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi1-f178.google.com
- Ironport-data: A9a23:PcU7wq4s691zl2PA3vjzRAxRtAHBchMFZxGqfqrLsTDasY5as4F+v mAYXmCDOfzfMWbwf90ga9niphxV68PVz9U2SgZqqn1kZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOK6UYYoAwgpLeNeYH5JZSlLxqho2uaEvfDjW1nX4 Yiq+JWFULOY82cc3lw8u/rrRCxH56yaVAMw5jTSstgW1LN2vyB94KM3fcldHVOgKmVnNrLSq 9L48V2M1jixEyHBpT+Suu2TnkUiGtY+NOUV45Zcc/DKbhNq/kTe3kunXRYRQR8/ttmHozx+4 OtfrbO/EFo1B4zFuc5NejV4TnFlDbITrdcrIVDn2SCS50jPcn+pxPQ3SU9vYt1e9eFwDmVDs /cfLVjhbDjZ37PwkO/9E7czwJ18fKEHP6tH0p1k5TfYBvEiSJGFQL/D+MRw0zI5h8QIFvHbD yYcQWUyNkSeOUwn1lE/KJQUzeCzqifDIyxxgm61lYEd4WSK9VkkuFTqGIONJobiqd9utk2fv yfN+3nzKgoLMcSWjzuD6HOlwOHV9R4XQ6oXHby8s/lr2RidnzNDThIRUlS/rL+yjUvWt89jx 1I8xDg2gqdrqVCSb9DcdU2RjF7Z7gUsRI8FewEl0z2lxq3R6gefI2ELSD9dddAr3PPaoxR6h jdlePu5VVRSXK2ppWG1rejL8GvjUcQBBSpTOn9eFFptD8zL+dlr1nryosBf/LlZZ+AZ9Bn1y jGO6S8/3vAd1JFbkaq8+l/DjnSnoZ2hou8JCuf/Dj/NAuBRPtXNi2mUBb7zs64owGGxEADpg ZT8s5LChN3i9LnU/MB3fM0DHauy+9GOOyDGjFhkEvEJrmrxpST/INAIuGogdC+F1/ronxe5M Cc/XisBtPdu0IeCMMebnqrtUZ1xlfG4fTgbfqmNMIsSCnSOSON31Hg2ORT4M5HFn08rnqUyU ap3gu79ZUv2/Z9PlWLsL89EieFD7nlnmQv7GM6mpzz6juL2TCPEEd8tbQrVBshkvfPsiFuPr L53aZDRoz0BC72WX8Ui2dRMRbz8BSNrW86eRg0+XrLrHzeK70l6U66Bme56Itc990mX/8+Rl kyAtoZj4AKXrRX6xc+iMxiPsZvjAsRyq2wVJyspMQr60nQve9f946IWdp9xdr4irbQxwflxR vgDWsOBHvUfEmSdq2pBNcHw/N54aRCmpQOSJC76MjUyephXQQaWqNLpew3Y8jYDU3isvswkr rz8jQ7WGMJRRwlrAMvMRuioyle94SoUlO5oDhnHJ9BSfAPn940zc379ifo+IsctLxTfx2vCh 1zGX0tA/eSU+t076tjEg6yAvryFKeomExoIBXTf4Ja3KTLeoTiuzIpGZ+CCImLQWWbyz6O9P LkHwvz5NsoHq1ZEqY9LFbhmkPAl7Nz1qr4GlwlpESmZb1mvDb88cHCK0dMV6v9Iz75d/Ay3A weBo4YKf7qOP8zhHRgaIw98NraP0vQdmz/z6/UpIRWluHUmouLfCUgCbQORjCF9LaduNN93y +kWvsNLuRe0jQAnM4rbgy0IpX6AKGcMD/cuup0AWtO5jwMqzhRFYMWZBHapsNeAbNJDNkRsK TiR3fKQi7NZz0vEUnwyCXmdgrYH1MpW4EhHnA0YOlCEutvZnftrjhdfxjI6E1ZOxRJd3uMvZ 2VmOiWZ/0lVE+uEWSSCY4ytJ+2FLBiQ+0i0zFpQ0WOAEBnuWWvKI2kwf+2K+Sj1No6akidzp NmlJKTNCF4Gv/0dGgM9XEdkr7roStkZGsjqhpW8B8rcd3UlSWONv0JtDFbkbzPoBMowgAvMo uwCECOcr0HkHXZ4npDXwLV2GVjdpN5o6YCCrTxcEHs1IFzh
- Ironport-hdrordr: A9a23:I+JMhKlETrB9E2326L+j6eXzHSHpDfIh3DAbv31ZSRFFG/Fw9v re+8jzsCWftN9/YgBCpTntAsm9qBDnlKKdg7NhX4tKNTOO0ACVxepZnO7fKlPbaknDHy1muZ uIsZISNDQ9NzdHZA/BjjWFLw==
- Ironport-phdr: A9a23:WON1cx3lidiVISQFsmDOUg0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaFo6w10hSXBM3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsipyey+4YDfbxlJiTayYL5+M Qi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjT bxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s8 7lkRwPpiCcfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZUclfVyJPDIChY YURE+UMJvxXo5XnqlYUsReyGQuhCeXywTFInH/22qg63vw5HwHHwAMgGNYOv27VrN7oMakSS /q6zLTTzT7eaP5W3zb955TPchAlu/6MXKh8ccnLyUY1CgPFlU6dqYPgPzyP1+QNt3KX4PZnV eKqkmMqrRx6rTezyMk2kIbJmp4VxU7e9SV/2Is5OcG1RVB/bNO6EpZcqi6UOohoTs4iQGxlp iQ3x70It5O1fyUHy5YqyhDCZ/CZcIWF/AzuWPqfLDp5mX9oZKyyihCv+kauze38U9O70FdMr iddlNnMsWwN1wDS6siBRft9/l2u2TOV2w/J9u5IO100landJpU8wbAwjoIevVrfEiLygkn7j 6+bel859uWp6enreKjqq52fOoJylwrwKL4hmtalDuQ9KgUOX3aU+eC71LD7+E32WrRKjvkvn qnesZDWON0XpqCkDwJX0Ysv8Rm/DzCh0NQXmXkIMkhJdw6Aj4jsI13OIfb4Aumjg1m0jjtn2 /TLMqfiD5jNNHTPjbbscLRn50JBygc+zshT55dOBbEAJPLzVFXxtNvdDhIhNQy0wvroCNJ51 owEWGKDGKyZMLnIvl+V/eIiOOaMZIoPtzb8L/gp/eLhjXg8mVMFe6mmxoMYaGqkEfR+P0WZf X3sj88cHWsSpAoxUPTqiEGeUT5Uf3u9Q6U85igiBI26CYfDW5uijaea3Ca7G51WfnpJBkqNE XfubYWEWu0DZDicIs97wXQ4Uu2oRIMonRWvrxOyn7NoIuP8/iwDqYml39h84+jejwp07jEiS 4yW1HjIRGVplEsJQSU31eZxuwg1yl6Y0qV8h9RYHMdQ6vdNFAAgOtqU0/1iBsu3UwTHecqPQ 1uORtS9HSp3Vd842JkTe0t7HZOvgg2HlwqtBrgJkKSaTKAl6q+U43j8INxsgyLm06wmk14+U /deLWCahqN47Rn7CInOnEGUmLytaLwHmiXK8THHhSCltV1VXwlqUKjeFXQefVee+f/w+k7NS KWvBK9vNgpa1ZjIYv9BY8HkglJcRfr4ENHCaiS6kjHjKwyPw+aqbYHtf2wclAbHAVUf21QV/ H2BMQE/QCS7qn/FJDNrHFPrJUjr9L8t+zuAUkYowlTSPAVa3L2v90tQ3KTEIxty9rcNuSN67 i5xAE74xNXOTdyJuwtmeqxYJ9I7+lZOk2zD5ERmJpL1CadkixYFdhhv+Vv03kBxC45HlcEr6 nAwxRdpAa2d2VJFMTif2MO4IaXZf1H75wvncKvKwhfb2deS9L0I7aE+ql7kuAioUEk4+mh8+ 9ZQ2nqYoJ7NCVlaSor/B2Aw8RUyvLTGem896ofTgGVrKrWxuyTe1sgBAeIkzlOnfo4aPvrbR En9FMoVA8XoI+sv87SwRjQDOu0atKs9Psf9MuCDxLbuJ+F42jSvkWVA5ol5lEOK7St1DODSj d4DxLmD0w2LWi2Z7h/pu93rmY1CeTAZH3augSniColLY6RufIENQW6wKsyzz996itbjQXldv FKkAloH3oeud3/wJxT73AZX0U0W53+9kDaj5zNxmjAt6KGY2W2GwujvcgYGJn8eXHNr3jKOa cC/i9EXWlTtbhB8zkP0oxangfEF++ImcDmAJCUANzL7JGxjTKaq47+LYsoUrYgtrT0SS+OkJ 1aTVr/6pRIelSLlBWpXgj4hJFTI8t30mQJ3jGWFITN9tn3cLIt2xBzY4NXdA/1L1ycdbCZ9g DjTQFO7OpP6mLfc34eGqe24W2+7A9dVcCLsyYqB8iih7HBxKRK6lvG33NbgFEJptE2zn8kvX iLOohHmZ4Dt3KnvKuNrcH5jA1rk4tZ7EIVz+mcprKkZwmNSxpCc/H5c1Hz2Lc0ewqXmKnwEW T8MxdfRpgnjwkxqaHyTlcr1UXCUw80pYNffACte3CM26MRDCeGX9rVZhgN6p1O5qUTaZv01k joGyPQo4WIXmKlT4FtrnnjbW+5NWxAHbWTljHHqp5imob9SZXqzfLT4z0d4kd27TfmDrgxaR Hfla8InFC504N94NQGpsjW74YXldd/MKNML40fMwlGQ0q4Mds13z6Va1k8FcSrnsHYoyvA2l 0lr1JC+582cLnl1ubm+GlhePyH0YMUa/nfsi7xfl4CYxdPKfN0pFzMVUZ/vVf/tHigVsKGtM QeFFzk1qzGYA7PCBieQ7U5nqzTEFJXhZBT1bDEJiM5vQhWQPhkVhgEfWzEzn9g6DAm33+Tud U544nYa4Vuy+X4ugqp4chL4VGnYvgKhbDw5HYOeIBRh5QZH/07JMMaa47E7D2RC85amtgDIN n2DalECEzQSQkLdTQOGXPHm9Zza/uOfHOb7M/befeDEt7lFT/nRjZO3jtk9onDVZ53JZCU9S aV8gBYLXGglSZqF3W9UEGpOyXqLN4nC9XLesmV2tpztrqqtAVq1o9PJU/wIaZ1u40zk3/nFb bLBwnYhb24fjMtExGeUmudFmgdOzXg/LX/1Vu1Q0EyFBKPIxv0IU1hCMX41bI0QqPtilghVZ ZyC0oOzj+EnyK5zUxAfDBTggp37PJNRZTjsaBWfQh7MberjR3WDwtmrM/nkGPsA0aMN7U324 XHCTAfiJmjRzWC3EU3/d7gd1mfDe0UP8IClLkQ3UDalFom3LEbhdocw1GxTo/V8kHrOMSR03 SFUVURLo/XQ6CpZhq46AGld9j9+KvHCnS+F7u7eI5JQsP1xAy0ymfgIqHI9g6BY6i1JXpkX0 GPbs8Jurle6k+KO1isvURxArSxOjZ6KukMqMLvQ951JU3LJtBwX6mDYBxMPrtpjQtrh3sIYg sDIj772ISxe/sj8+MIdA43TKZvCPiN+YVzmHznbCAZDRjmudCnei0FbjPCO5yiVo5w9+f2O0 NIFTr5WUkBwF+tPUBw0WoxfZs4pAXV9zu7I6axArWCzpxTQWshA65XOV/bJRO7qNC7clr5cI R0B3bL/K40XcIz9wU1rLFdgz+GoUwLdW85Apip5Y0o6ukJIpTJ4T2Y030vkLAC36WIIPfGxl x8yzAB5ZK5+kVWkq0dyPVfMqCYqxQMpns75hDmKbDPrBKK5XIUTDCut8kZobcO9TAFyYgm/2 0djMX2XItAZx6slfmdthgjGvJJJEvMJVqxIbigbwvSPbukp21BRws1C7UBC7OrBT5BlkVlyG XZNh3dJ2gYma99sYKKJe/oPwV9XiaaD+CSv07JpqOfxD0kI+WKWPiUPvR5RXoQ=
- Ironport-sdr: mvlIxvvxEwETYzIl+XoWq/JBYavHCc1IXy+vY7YIMKmSsWhvB/dkR9AoDYtlZ6k4tJDqV7m286 joNv9bVXPHF+t8GuXlUN9aG5bWix7rQslRglbIbE0MQwJ6nN83GRE/30kOk1CjEFlB1w4+wmda GPTGBPd1nlJkSf1l9vm4/ugLecapoq3dOOABJbB1cYhvcaUof2GqOVdtTP+O/4nPlWUuoyUf/R yiFULzJ+K5/S4OKyfbA8qZ2ehuiRdNMvvrJKIn1PtbANwmG8ZQ1wSY5nCDOhR9uqUQ6ygCtDG7 IlJzv+rZdpd1Uw3IHsVqsy9J
Dear all,
I would like to invite applications for one postdoctoral position and one PhD position in homotopy type theory or related areas at the University of Nottingham, UK. Our group in Nottingham has three academics (Ulrik Buchholtz, Thorsten Altenkirch, myself) and multiple PhD students working in the field. We have regular seminars and discussions, which offer a great environment to learn and collaborate.
(1) Postdoc position
The starting date for the postdoc position is flexible and it will initially be for 15 months (i.e. 15 months are guaranteed, extensions are likely but will depend on the funder). The position comes without teaching obligations.
The current call primarily addresses applicants who have experience in homotopy type theory, but if you are working in a related area and would be interested to switch to the field, please feel free to contact me.
As postdoc (officially: "research fellow"), you will be employed by the University of Nottingham with all employment benefits (pension etc). Details on the position are available here:
https://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI022322
The application deadline is the 3rd of April. For any questions or expressions of interest, feel free to contact me (see email address at the end of this message).
(2) PhD position
The PhD position is for four years, includes all tuition fees, and comes with a stipend at the UKRI standard (currently approx. £15600 annually, increases with inflation). The stipend is free from tax or other deductions. You will not be obliged to teach but there will be opportunities to teach, paid on top of the stipend. I will consider applications until the position is filled. If you are interested, please contact me (see email below).
Best wishes,
Nicolai
nicolai.kraus AT nottingham.ac.uk
or
nicolai.kraus AT gmail.com
I would like to invite applications for one postdoctoral position and one PhD position in homotopy type theory or related areas at the University of Nottingham, UK. Our group in Nottingham has three academics (Ulrik Buchholtz, Thorsten Altenkirch, myself) and multiple PhD students working in the field. We have regular seminars and discussions, which offer a great environment to learn and collaborate.
(1) Postdoc position
The starting date for the postdoc position is flexible and it will initially be for 15 months (i.e. 15 months are guaranteed, extensions are likely but will depend on the funder). The position comes without teaching obligations.
The current call primarily addresses applicants who have experience in homotopy type theory, but if you are working in a related area and would be interested to switch to the field, please feel free to contact me.
As postdoc (officially: "research fellow"), you will be employed by the University of Nottingham with all employment benefits (pension etc). Details on the position are available here:
https://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI022322
The application deadline is the 3rd of April. For any questions or expressions of interest, feel free to contact me (see email address at the end of this message).
(2) PhD position
The PhD position is for four years, includes all tuition fees, and comes with a stipend at the UKRI standard (currently approx. £15600 annually, increases with inflation). The stipend is free from tax or other deductions. You will not be obliged to teach but there will be opportunities to teach, paid on top of the stipend. I will consider applications until the position is filled. If you are interested, please contact me (see email below).
Best wishes,
Nicolai
nicolai.kraus AT nottingham.ac.uk
or
nicolai.kraus AT gmail.com
- [Coq-Club] Postdoc and PhD position in homotopy type theory, Nicolai Kraus, 03/03/2022
Archive powered by MHonArc 2.6.19+.