From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.8 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-wr1-x439.google.com (mail-wr1-x439.google.com [IPv6:2a00:1450:4864:20::439]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id ef08e5e9 for ; Tue, 6 Aug 2019 20:50:58 +0000 (UTC) Received: by mail-wr1-x439.google.com with SMTP id p13sf42576825wru.17 for ; Tue, 06 Aug 2019 13:50:58 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1565124658; cv=pass; d=google.com; s=arc-20160816; b=0FyUr4vua7dM/uwLY49W0RT7qEJ6GvTH/0yqfkMt9KW7v2EIwog8ggD4D+YHPyUdzg fGTgQBdaeL2Ph6HCvWeuarX/qB+rYu7Tos1pz4AbestJp48SiQSNsMqYGBzkIsjYMTjf j45CtjytZmHGQw15Uor2l9sJIizeDd4rEgO1BUFmtRvKJnhHCykv36CMP77mCLVt7H4Z WEpaAPKdmZ08SdbYy1CGSdeqHl8nTfpeP9MZll5235nbqIFH9KAr2YFkFVOvZG/95sEd 1Sq1DjYOcokvrlJyHhb9138YSA67Wc6FGjbSZK3qaSdD63glacjZwNIgrkzz2/aiFftQ 6NBg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:sender:dkim-signature; bh=+hwE/JdwW22NbWUWccbsHv6ho7vDAgwhapHazZ36CAc=; b=b2Br+PyHScRx2DinczIrEAxTH+Cjzl9q2l4xQT3NwbX5JPD3u7WQzL0fN7rIZdRKv8 qrzTS8LkaQSw5Yfsv2t7cEm+PsWiJHydID6w7l2AGgCbmpuqKSCRpkie7FxstqJzJMR8 gyn2GLH8JRWg6ilmuz3XYl08DFBQL4k65FXGx8mc0R7XAQRoTMHxRRDfViLwtdkvqT2o M6inQmmvJlQ0cgqVL6bzGEo+n6ZLCT+FU7ZVK6tQTkZpKXjGmhvSH4dARzHXMmtoxb9s d1U+8goqa4twlhZSFJStVD2GNdqPGGveFzq61SzF+iz4WKB7P9WR50YTNme1lNkiNeCa qYZQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of mphmphmph@gmail.com designates 209.85.167.42 as permitted sender) smtp.mailfrom=mphmphmph@gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:mime-version:references:in-reply-to:from:date:message-id :subject:to:cc:x-original-sender:x-original-authentication-results :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=+hwE/JdwW22NbWUWccbsHv6ho7vDAgwhapHazZ36CAc=; b=MzOMcW3B3nB0ySamY+mFdoM/bKfFZrv1Q5UBLo4jwQ/tdVNxQ0WCoa/YgsJhC0hX+6 9ggiz1f36XR5dbKPGKt9+zkmRtWqihMoTUXXGIBYqfk8WoxpAuVr5t7fiz792j1cuyS5 39ZUY2qlEkwZrtcVnU4vE8OTVYvY5tiaMBeTIhGVetqap8XYCRtzY9jrMxR8mhjoN+22 OY8bLEtr6PEYIv31YPZ1KDUjLwnp2f8VLf1zCSfKRb8gXauUzRoGbjed1CcmigIG0dsT /p12gWIwinB1mEINONkm9wuFVd3JRdEy2Sj068y09YTMw+2toZZvJZudTMeQBcDlfM6z LUhg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:references:in-reply-to:from :date:message-id:subject:to:cc:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=+hwE/JdwW22NbWUWccbsHv6ho7vDAgwhapHazZ36CAc=; b=jLpOwbj2G2ddp1+zuHBvS5SMMNOLYqPlS8B63WYdQIxMUzkNTQvWkmDpYD8wsdDZE3 UDyKQ8CU1mD1KELgwbdM+V7V+f81Y0q6zseiov+VDdzK87kTK1msoa3thWtECZhE9YG9 g5KTSW3jCsaGaMm3su5i8y2jp3gWDvi4+OX3Khtd+K7XlzVgGX3+wy1CgpYgbwG/VjaP qI4z+gy2p4Ns6DFfsI4bh1uZg7JpKYybVi1/T2ATv2SmfuQJFdWD3JfSVYbj1H3ECdl5 KnK8uXd7gd/O55RbXIqnPLAAKqFY++xokIPmEi+Zu2hr6EjAm+U2xLRKFI8nB9mzxH/o 8MGQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAUqBrVOnibnvCwW+x2YlvsjfbQri/9pDev8UXtGB6e5LwRM6iVb bY+KNaLvQ62nXYjZ0U2BmZ0= X-Google-Smtp-Source: APXvYqxOIY0aT5XBjGO1l7epqlRrEPtbHcrpsKJP1Er7KvnyKG4+Q1bBpC5rfVPopla9wUZ97GUMtg== X-Received: by 2002:a1c:9dc5:: with SMTP id g188mr6453833wme.93.1565124657977; Tue, 06 Aug 2019 13:50:57 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a1c:2d02:: with SMTP id t2ls1747205wmt.0.canary-gmail; Tue, 06 Aug 2019 13:50:57 -0700 (PDT) X-Received: by 2002:a05:600c:2503:: with SMTP id d3mr6488583wma.41.1565124657399; Tue, 06 Aug 2019 13:50:57 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1565124657; cv=none; d=google.com; s=arc-20160816; b=pYj3Ladx+V0aO8l8NUGuF9Wd7t5IwIpnLPDJH5ivBRcytp3lqJJ0Lj5SgIJvPHudDP GKWt2jAVKfcKdjfKhSKE5yaX+FpsLparmMj3xhhSftC0WiUBFZvwf/j+AMY6B1t7KXh/ pRN9OFosgP8CSl7BPL5J8Sh/W131HwtdZxsrQqhyCpdCL2AwtutXzn3+esqGGOB/9Ujj gUE76seXZo9tIJbE3uq+Fl7PMCKX5DAZv0SHyevgrNApnil+cmzR+aSnzg+bzIaWRCdn ZtLO3qJkTEQIfjXhR6xBrt9GOv8V5yQ41A20Zx1Tk2XYyMJA/fQfx7ga+f6kvD61txCd MZ/g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version; bh=K6tOY1RGrX9jFRPssMyCuDKdh0dp3N2dKIJkxMaXpIM=; b=i73S08fNYHtYqV1+xxLzvJvuTG8KltXVuCZ4TwmvTvSkpwCf1Gf2w/dGKp7w9BLFtR 5/gvj4QtuatG+27PeQlV7epXZWL+t6xCM2t84XBs9qvRMHulSW3xsgu1c/zhIw6Wzxhg Vk8K42qX5NV8U4Xw63MdVSk/jlGftb9/+NOY5KRIHKdgEcLeyfsimP7SxJLZ8+2GUmBm lfwf3YH6yrWEdzFzOd+S4PC/fUwd2JagB0sKHQ8rEiDuBiaDAyHswp7eWLX8kR8jFSKe 6doGBegkXfyWx78jAoSW7O9X/GTfCgCqQCGAo2WriSLy7ei0jt4cSdSsRmnmoyXv1hvg 48aw== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of mphmphmph@gmail.com designates 209.85.167.42 as permitted sender) smtp.mailfrom=mphmphmph@gmail.com Received: from mail-lf1-f42.google.com (mail-lf1-f42.google.com. [209.85.167.42]) by gmr-mx.google.com with ESMTPS id q14si4734783wmc.1.2019.08.06.13.50.57 for (version=TLS1_3 cipher=AEAD-AES128-GCM-SHA256 bits=128/128); Tue, 06 Aug 2019 13:50:57 -0700 (PDT) Received-SPF: pass (google.com: domain of mphmphmph@gmail.com designates 209.85.167.42 as permitted sender) client-ip=209.85.167.42; Received: by mail-lf1-f42.google.com with SMTP id h28so62247538lfj.5 for ; Tue, 06 Aug 2019 13:50:57 -0700 (PDT) X-Received: by 2002:a19:e20c:: with SMTP id z12mr584049lfg.120.1565124656824; Tue, 06 Aug 2019 13:50:56 -0700 (PDT) MIME-Version: 1.0 References: <16c377b4-037c-97a6-4484-0658baa181c2@gmail.com> In-Reply-To: <16c377b4-037c-97a6-4484-0658baa181c2@gmail.com> From: =?UTF-8?Q?andr=C3=A9_hirschowitz?= Date: Tue, 6 Aug 2019 22:50:43 +0200 Message-ID: Subject: Re: [HoTT] 2-year postdoc position on type theory in Birmingham (UK) To: Benedikt Ahrens Cc: homotopytypetheory Content-Type: multipart/alternative; boundary="000000000000330c2f058f78fb76" X-Original-Sender: ah@unice.fr X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of mphmphmph@gmail.com designates 209.85.167.42 as permitted sender) smtp.mailfrom=mphmphmph@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: , --000000000000330c2f058f78fb76 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Elle est pas mauvaise celle-la!? Le mar. 6 ao=C3=BBt 2019 =C3=A0 17:43, Benedikt Ahrens a =C3=A9crit : > Dear all, > > I would like to invite applications for a 2-year postdoctoral position > at the University of Birmingham, School of Computer Science. The > postdoctoral researcher will work with Paige Randall North (Ohio State > University) and me on a topic in the area of (homotopy) type theory; > details can be discussed. > > The position is funded by the EPSRC grant "A theory of type theories", > PI Benedikt Ahrens. > > The starting date of the position is somewhat flexible; it should be > between late 2019 and mid 2020. > > > How to apply > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D > > There is no official job opening yet. Interested people are encouraged > to contact me by email (b.ahrens@cs.bham.ac.uk) in the first instance to > discuss their research interests and details of the position. > > > About Birmingham > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D > > The School of Computer Science has a large and thriving Theoretical > Computer Science research group, with a particular focus on category > theory and its applications to the logical foundations of computer > science. Among our research interests are: > > - category theory and higher category theory; > - type theory; > - homotopy type theory and univalent foundations; > - formal proof; > - lambda-calculus and computational effects; > - topology and domain theory; > - constructive mathematics; > - quantum computing; > - semantics; > - program compilation. > > Our group currently has 12 permanent staff and more than a dozen PhD > students. We have a weekly seminar, as well as more informal meetings > and reading groups. Information on all of this can be found on our > webpage: http://www.cs.bham.ac.uk/research/groupings/theory/ > We are regularly hosting international events in theoretical computer > science in general and type theory in particular; recently, this > included CSL 2018, 6WFTop, School and Workshop on Univalent Mathematics, > and Midlands Graduate School. > > > Please also distribute this advertisement to others who might be > interested. > > Best wishes, > Benedikt > > -- > 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 > email to HomotopyTypeTheory+unsubscribe@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/HomotopyTypeTheory/16c377b4-037c-97a6-4= 484-0658baa181c2%40gmail.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/CAHPPr6xRnfvQ1hoKBaJ%3DgOMqMbA5%2B%3DX0QEnCWjD%3DSrdT_8j= RQQ%40mail.gmail.com. --000000000000330c2f058f78fb76 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Elle est pas mauvaise celle-la!?

Le=C2=A0mar. 6 ao=C3= =BBt 2019 =C3=A0=C2=A017:43, Benedikt Ahrens <benedikt.ahrens@gmail.com> a =C3=A9crit=C2=A0:
Dear all,

I would like to invite applications for a 2-year postdoctoral position
at the University of Birmingham, School of Computer Science. The
postdoctoral researcher will work with Paige Randall North (Ohio State
University) and me on a topic in the area of (homotopy) type theory;
details can be discussed.

The position is funded by the EPSRC grant "A theory of type theories&q= uot;,
PI Benedikt Ahrens.

The starting date of the position is somewhat flexible; it should be
between late 2019 and mid 2020.


How to apply
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

There is no official job opening yet. Interested people are encouraged
to contact me by email (b.ahrens@cs.bham.ac.uk) in the first instance to
discuss their research interests and details of the position.


About Birmingham
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

The School of Computer Science has a large and thriving Theoretical
Computer Science research group, with a particular focus on category
theory and its applications to the logical foundations of computer
science. Among our research interests are:

=C2=A0 =C2=A0- category theory and higher category theory;
=C2=A0 =C2=A0- type theory;
=C2=A0 =C2=A0- homotopy type theory and univalent foundations;
=C2=A0 =C2=A0- formal proof;
=C2=A0 =C2=A0- lambda-calculus and computational effects;
=C2=A0 =C2=A0- topology and domain theory;
=C2=A0 =C2=A0- constructive mathematics;
=C2=A0 =C2=A0- quantum computing;
=C2=A0 =C2=A0- semantics;
=C2=A0 =C2=A0- program compilation.

Our group currently has 12 permanent staff and more than a dozen PhD
students. We have a weekly seminar, as well as more informal meetings
and reading groups. Information on all of this can be found on our
webpage: http://www.cs.bham.ac.uk/research/groupi= ngs/theory/
We are regularly hosting international events in theoretical computer
science in general and type theory in particular; recently, this
included CSL 2018, 6WFTop, School and Workshop on Univalent Mathematics, and Midlands Graduate School.


Please also distribute this advertisement to others who might be interested= .

Best wishes,
Benedikt

--
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/16c377b4-037c-97a6-4484-0658baa181c2%40gmail.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 htt= ps://groups.google.com/d/msgid/HomotopyTypeTheory/CAHPPr6xRnfvQ1hoKBaJ%3DgO= MqMbA5%2B%3DX0QEnCWjD%3DSrdT_8jRQQ%40mail.gmail.com.
--000000000000330c2f058f78fb76--