From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10683 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Nicolai Kraus Newsgroups: gmane.comp.lang.agda,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.haskell.general,gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: Postdoc and PhD position in homotopy type theory Date: Thu, 3 Mar 2022 14:32:34 +0000 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============6570314701565422040==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="14023"; mail-complaints-to="usenet@ciao.gmane.io" To: agda list , coq-club-MZpvjPyXg2s@public.gmane.org, haskell-HC+Z4NTRIlBAfugRpC6u6w@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, Homotopy Type Theory , "Categories list " Original-X-From: agda-bounces-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org Thu Mar 03 15:32:48 2022 Return-path: Envelope-to: gcla-agda@m.gmane-mx.org Original-Received: from knota.ita.chalmers.se ([129.16.222.121]) by ciao.gmane.io with esmtp (Exim 4.92) (envelope-from ) id 1nPmVb-0003Mb-SD for gcla-agda@m.gmane-mx.org; Thu, 03 Mar 2022 15:32:47 +0100 Original-Received: from knota.ita.chalmers.se (localhost [127.0.0.1]) by knota.ita.chalmers.se (Postfix) with ESMTP id 366051FADB; Thu, 3 Mar 2022 15:32:47 +0100 (CET) Original-Received: from mail-oi1-f170.google.com (mail-oi1-f170.google.com [209.85.167.170]) by knota.ita.chalmers.se (Postfix) with ESMTP id 0A10E1F9F1 for ; Thu, 3 Mar 2022 15:32:46 +0100 (CET) Original-Received: by mail-oi1-f170.google.com with SMTP id z8so1602146oix.3 for ; Thu, 03 Mar 2022 06:32:45 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=/f8gZUtSnMbGN5HAk+/0/M792vj0jZBdZGms4np3WlA=; b=Z1GA0otifhGu8reHQn3bEZEPTas7u2+lUhuA7lNnZvYwJKwwQOhz4WO5wyFxdtW/dn OBQHbuMfTFyVLSZjd2L+iyz5qn63eS9G/eoQffto0DA+vkLwUY1uihOIt/owPCLN0HFX E9e3ZuRh2aIwhZal0vrq4ftypEm13+LXQUNdCq0AGNfumcQUB4TQFy9nKHJ+E5WjBuCg iU2ylUKemPwnslaIlEoha7F3XmP8sldKGQupLoORWqdVGEdu3zk8UI+GCVhcY90UAFzs Dksn55kboS/G6bN10Y0tjfBRkExxnetCkBxUgfvlnycwNzVFDV2a6F19I8EX5yQuB8SO y0zw== X-Gm-Message-State: AOAM53156a1nGIn8wh2pT+HCG+GUFU2Z9GL0ksv/hKZpKfPqydu9PO21 swhU2s8LtyVU//AlfTIwWbjapzYAZGypDLsH7wRPeHSGkeE= X-Google-Smtp-Source: ABdhPJzQqwos8smCDGAV+030nxxK9MXEamYIUiiIdLPnbI7AAp1Wb06ReUF//ln9vr8XHXuIDEPpntn1QMIgRlxK1D4= X-Received: by 2002:aca:1a1a:0:b0:2d4:b8de:ab2b with SMTP id a26-20020aca1a1a000000b002d4b8deab2bmr4546593oia.141.1646317964836; Thu, 03 Mar 2022 06:32:44 -0800 (PST) X-Mailman-Original-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to; bh=/f8gZUtSnMbGN5HAk+/0/M792vj0jZBdZGms4np3WlA=; b=Ihne6Ib9xMesa6oSvgCkdQmWNPpuZcg5GmYkwEzHSme+to9rg+DH1cS5SzilrVneKN icLmO8TfdVVJAKWZB3xEkNj+pKgTRSOYr3iXqAJXgLnWO0qdZa1MXWi9DTUt7AHo9uEF ZfR7mvVOOLBCSaPJ67IP7ZlMOtIeiFalGOQj1SfRcUM+Rpy6gf4ivgyEKUtVW0vSkvvh aJMlyYsftU+Qc4YVvBy6q/WmYYPZirsJShpUNzDidZ8CGXX4DtWbnjOWUSBPmgY8G2hM sDiSf8D1890YXl7r1cTLkds+HWAVLuoy4L+N4Iz5dsx8Z5OesQAm52TJPtZ8tl9MbhVT QiwA== X-BeenThere: agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org X-Mailman-Version: 2.1.35 Precedence: list List-Id: All things Agda List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: agda-bounces-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org Original-Sender: "Agda" Xref: news.gmane.io gmane.comp.lang.agda:12904 gmane.science.mathematics.logic.coq.club:23121 gmane.comp.lang.haskell.general:22637 gmane.comp.science.types.announce:10149 gmane.science.mathematics.categories:10683 Archived-At: --===============6570314701565422040== Content-Type: multipart/alternative; boundary="0000000000007b43ff05d951456a" --0000000000007b43ff05d951456a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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. =C2=A315600 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-QabDm/c3fAmwa9SdKMSz+Q@public.gmane.org or nicolai.kraus-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org --0000000000007b43ff05d951456a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

I would like to invite applications for o= ne postdoctoral position and one PhD position in homotopy type theory or re= lated areas at the University of Nottingham, UK. Our group in Nottingham ha= s three academics (Ulrik Buchholtz, Thorsten Altenkirch, myself) and multip= le PhD students working in the field. We have regular seminars and discussi= ons, which offer a great environment to learn and collaborate.

(1) P= ostdoc position

The starting date for the postdoc position is flexib= le and it will initially be for 15 months (i.e. 15 months are guaranteed, e= xtensions are likely but will depend on the funder). The position comes wit= hout teaching obligations.

The current call primarily addresses appl= icants 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 fe= el free to contact me.

As postdoc (officially: "research fellow= "), you will be employed by the University of Nottingham with all empl= oyment benefits (pension etc). Details on the position are available here:<= br>https://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI022322
The application deadline is the 3rd of April. For any questions or ex= pressions of interest, feel free to contact me (see email address at the en= d 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. =C2=A315600 annually, increases with inflation= ). The stipend is free from tax or other deductions. You will not be oblige= d to teach but there will be opportunities to teach, paid on top of the sti= pend. I will consider applications until the position is filled. If you are= interested, please contact me (see email below).

Best wishes,
N= icolai

nicolai.kr= aus-QabDm/c3fAmwa9SdKMSz+Q@public.gmane.org
or
nicolai.kraus-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org

--0000000000007b43ff05d951456a-- --===============6570314701565422040== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Agda mailing list Agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org https://lists.chalmers.se/mailman/listinfo/agda --===============6570314701565422040==--