From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 11901 invoked from network); 3 Mar 2022 14:32:48 -0000 Received: from mail-yw1-x1138.google.com (2607:f8b0:4864:20::1138) by inbox.vuxu.org with ESMTPUTF8; 3 Mar 2022 14:32:48 -0000 Received: by mail-yw1-x1138.google.com with SMTP id 00721157ae682-2d07ae11467sf43760517b3.12 for ; Thu, 03 Mar 2022 06:32:48 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1646317966; cv=pass; d=google.com; s=arc-20160816; b=TjMq/4UsOBddQ190qlWcVjJLaoyIom3Xf/fVYgUNdiYfQxc+2Yg/0pB59g4dYecCHx U2m50Cmk/s/Da5Ht6i8WSuay7JU6gIqEql1n4I4gimC79l6qGsPxwGTR5T6thW84lPtZ HI2NJKFYdSKzbunxhYOGHWgspjkAqTmayo5ZmR7J12f76W2PKAdmVcOEKSQ33cwgR23H gSOZj+tgqff3eUAp/wXU4iMujaCMuWqxyXZztgwzirU273i56UvjAEWpmv4MFd8a6vQh VHdCxqRCno6Nb98gmBRUvWvGI9lZ36t7R4VSUCsIsi2YSFd1lE++q+ZbROBeNHWNPxfZ JukA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=qFf39XkQZF5eyAKEQKSs/5SItSW18dXG9e5h3nDGwik=; b=bavKi5Hgc8lI5I4HGC4xpLsCyiTsI5wcZlvgZA14BH34u0BnyMwNj1r+aGDdftoz6j G+ZyIv8eB+lGyzCZXd+PKCRIDIxBPvp9jX79352JhsKSmViRpgAnY31rtXvViSIqyL52 aA9M2++j0rZBxVlLuFjajzvAfZo2B6xesA2CrlpfYUXn2YrgipMJYQXvdSDhYsttQICV DijxD6tXBkouBXwNE5iRyePS4XW3PDFDFeMdkuHkgKbqeZejDhb0Mu+L9HBE8EQAvf/E 9hmkSj67yEQ4VHFP+gg6xiRcil5HnReN4iK5ovNJkxDc4e8K0W2iCu/0IQLGz8juTFOJ 21Dw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=Ihne6Ib9; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::230 as permitted sender) smtp.mailfrom=nicolai.kraus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:mime-version:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=qFf39XkQZF5eyAKEQKSs/5SItSW18dXG9e5h3nDGwik=; b=iAeGqGc9PDGJTqbBvIgMb0sqRrKpCFHrhTktEiOuJMHaA//NoXSNFoin5q4D2KOj4w 7yhM/pozAy9ubTPp8pDEdQKLuu9lZ+v3I8Qb4AOUmFG0lL64qT90J9yLKabkhCB+w8Sn PbZBfo0rhmvpuKLVaXhyPRsJe+4rBGqAjYphKuZ25mXTnPNm4AN7S8afyLsyUOlw28qn 34s5u/VlRvvS9W0MmQNyzpFCEqZT22rX/9FTO97EmR6vVHeYnSSSQuGK/fu59vmw3IZl 5IuxcV7IxR78ejlsLsbAbPCipCppXbjV87X9ywTDtXuNJkRXMDKhyXZ3+05AyBYpyUJJ Vrkg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=qFf39XkQZF5eyAKEQKSs/5SItSW18dXG9e5h3nDGwik=; b=n4BqWYSyjK93TtHhBlPslC4dVLCIYRlYHuLH56gIPUNLiJitwntEafNuAU9b8ed8ny iDv3b7qA2BS5cz9TJ6LlsqVyAXjmYL5fnYUyMYw6HKuA7JnG6PQojT9E3rppclCnMXot FewTzD/fQlvaMTq9XKrtoVk0xXDzphfSBPtTAqs0Qecu/BkDX6b5EJ5c69jz2ps87cqE momIUzYrgSFf4ecEwEDmzi9IxqSA+Z5xfELk3Przv9sBcKA3AqiGvM9+GZ89YHRDpMHV qGDjB6k7mBwlUg2OZSCAuqkONTUxQugxOxrxiwGpAIpFM3yvn9Tks2JLOJWpCN+wMCg8 vcVQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to:x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=qFf39XkQZF5eyAKEQKSs/5SItSW18dXG9e5h3nDGwik=; b=hAE8x0Eli+PUIX2KFMUFsIJNz9yfhFmqb28qDVe0+CQ8Exw6XTernWrLwp4EmztQil kku9LM1N2LEzSjkYu+zTD+b2+Dgvf1V37Z7yMb6kPqaqpuW7l3TTvKlieP3Y9I1nVia7 6wYAzFZ8frQ7A7dYsR2wycBb3eYbhfN9XlRNvoTxpK9zvKa7zk2wUvlnFp9fIKRHnh7N WR3ZO2LNJr2GPPZevyIxP8LODbCyRfla7fKy2ppb5Cm4aPpC6w9BVqCkhFhFCbWZrFFz RMwpFy33OBPGFJT9njeVQDIQewVoGxQhM7pYqn0ca+hmgZEbsBh6FeQk3OgEoV0L15Fg vpoQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530UQS/l5Cr1xpietN5bP8loCKKgJJPh0VlGVw6Jatt9eEP4zmZ/ 20Gq6AhpYmCkaKWl6kTfzok= X-Google-Smtp-Source: ABdhPJyWFEAeEjZF2mvbLwoyKjSRKnsfsk6gj5Q+3yegTuP8TqdVHfXa17Qew5vaGXz6ef0nsggjoQ== X-Received: by 2002:a25:7481:0:b0:628:9995:351f with SMTP id p123-20020a257481000000b006289995351fmr9117098ybc.648.1646317966512; Thu, 03 Mar 2022 06:32:46 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6902:1025:b0:628:833d:2d2 with SMTP id x5-20020a056902102500b00628833d02d2ls1873270ybt.2.gmail; Thu, 03 Mar 2022 06:32:45 -0800 (PST) X-Received: by 2002:a25:4291:0:b0:60f:8dae:9c9f with SMTP id p139-20020a254291000000b0060f8dae9c9fmr34249277yba.306.1646317965148; Thu, 03 Mar 2022 06:32:45 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1646317965; cv=none; d=google.com; s=arc-20160816; b=F3+dtcVRyi+3GD+2fiQUINGT3YB7wKpHxoLfu/gG0Pk/lvTQspRpXWNlu4YL89GLmM ASgweL146pqYtSdwrPSritkGd3ZqgWXOk4AlXC5JartWMqPJYqXw/b45SLWZDPTV6j1l ko3yV+FDolFxU4XaP2g3xq0DQFp5KQgcFoVzFHeUvaLdtZVfFIkL2xQ1NP5seHjDz1eC MetcX7NNg7LqT1TeT9AcA9U4eqvIDsn/Or5Yk8bklGJhq1WOPXWOl7X32lf501IiJZ/y 72UgQM7taARrVH2Hi6MS6Dt7Y8q9yXG46xrJbe/9dN2od//7KrpuDEBQG2slisRV8ZV4 bwQQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=/f8gZUtSnMbGN5HAk+/0/M792vj0jZBdZGms4np3WlA=; b=lRXiPTnwyX9CVEZeZll/sSkY/rQ82i2LFBcvUqjaONFQ0v4urJ1rCMIUQLCSOwisal tIkEd0u50vTddntIAMujgKydSs7sUZfUl2GpUytR/VgjsFis9jGwRIkz6ufP8woEb9EF bDyWhVR19D45fbRicaBCa8Q//mF1hKag6FajxVg6VsvJgiN5MZ6aFmIJ36Ow9NK2yWk6 fkG/6tSBhShuDZj+GH+tTl45CRPltNwOHAfxxHBKeSFSTMJ0CGgDX9BIJRp4WJnEFNXu 5GrjuO3Hk2S4sPr5ZR4+IMhQbQmxjWlgfFGju4miH22FSAz9/60xvqPhTSQPaB7tZGxI sHFw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=Ihne6Ib9; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::230 as permitted sender) smtp.mailfrom=nicolai.kraus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-oi1-x230.google.com (mail-oi1-x230.google.com. [2607:f8b0:4864:20::230]) by gmr-mx.google.com with ESMTPS id l12-20020a81ee0c000000b002d7af1c4247si219325ywm.4.2022.03.03.06.32.45 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 03 Mar 2022 06:32:45 -0800 (PST) Received-SPF: pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::230 as permitted sender) client-ip=2607:f8b0:4864:20::230; Received: by mail-oi1-x230.google.com with SMTP id j2so4951057oie.7 for ; Thu, 03 Mar 2022 06:32:45 -0800 (PST) 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) MIME-Version: 1.0 From: Nicolai Kraus Date: Thu, 3 Mar 2022 14:32:34 +0000 Message-ID: Subject: [HoTT] Postdoc and PhD position in homotopy type theory To: agda list , coq-club@inria.fr, haskell@haskell.org, types-announce@lists.seas.upenn.edu, Homotopy Type Theory , "Categories list " Content-Type: multipart/alternative; boundary="0000000000007b43ff05d951456a" X-Original-Sender: nicolai.kraus@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=Ihne6Ib9; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::230 as permitted sender) smtp.mailfrom=nicolai.kraus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , --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@nottingham.ac.uk or nicolai.kraus@gmail.com --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CA%2BAZBBrurPsSou6454w7sMnHWQn7dLeCW%2Bgq%3DZ_VcRJ0YCU0N= g%40mail.gmail.com. --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@nottingham.ac.uk
or
nicolai.kraus@gmail.com

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https= ://groups.google.com/d/msgid/HomotopyTypeTheory/CA%2BAZBBrurPsSou6454w7sMnH= WQn7dLeCW%2Bgq%3DZ_VcRJ0YCU0Ng%40mail.gmail.com.
--0000000000007b43ff05d951456a--