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.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-pf1-x437.google.com (mail-pf1-x437.google.com [IPv6:2607:f8b0:4864:20::437]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id b156193e for ; Tue, 6 Aug 2019 15:43:42 +0000 (UTC) Received: by mail-pf1-x437.google.com with SMTP id u21sf56144353pfn.15 for ; Tue, 06 Aug 2019 08:43:42 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1565106221; cv=pass; d=google.com; s=arc-20160816; b=xIMUyiweERLjdHRlbMa6QJa+Ai8a5N4nv07ebLr9Y73tE/FkZFkmEs28TaR4czao3+ Oh/pVAKHw5DtwWtnxO6LXCDamwuN7n78MeC+JTrSbqF2VzaacPH1NBLsRDYCk2+SsAb9 QyJtvLLDdcBoTgl87opLihKYN9ieTbhc1aLZgPJ96YmyzOn3acASuoQDB3o0ndq501fA 0dTS2y8YioPeSpM9lh5WaV1BVMS8Wb1FUDkme6lpS4kz8sTuKgb4znkX8xkCyrWCdelN SqZIk/73cTnK97GemYtjbQpuTfAW5t0Tqo75yAkDSGIC3FxNCnhwCDzFkgTtf4FsEqwV lENw== 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:content-language:mime-version:user-agent :date:message-id:subject:from:to:sender:dkim-signature :dkim-signature; bh=P5rONLi7H7oJlxNBVSqFCQFLfsW9V9S6ejh+hOaVQqM=; b=LhLp3pDxohK626V/y6wlOpqI1tCj1IBGNjyLCXzRU0zHJLqt4atB1cCSoykVreOey/ F8ijJtIklEGVjpDsDoptreokXSQ3ETq3cNI+12/UAAT8/ROgl6/r30cVMSr6BCHpQ64j QV2kXNP3gsZJxBaxu08oP7IEH1bzf5I7b0NQXn6JPI8+h7EGiQLtvrwlTchOrWbPTDg2 bp1T95pVTSdUEHi0NmTAOyD9RvpLCdqLVnXl/eshaQ+rpMOEym9H/tyuFqcGLrsuXDKF J9hYKQNpAvClMCCS1NtrQjS30Ofm8zE5wpVZJTpp8YQ0RwdcFc801t/Dr8bjC9SysdqF YBhA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=s+WoX0xy; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2607:f8b0:4864:20::335 as permitted sender) smtp.mailfrom=benedikt.ahrens@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=20161025; h=sender:to:from:subject:message-id:date:user-agent:mime-version :content-language:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=P5rONLi7H7oJlxNBVSqFCQFLfsW9V9S6ejh+hOaVQqM=; b=V/VDZDteQxhdPRWjbjwrVtgreSwv3MnvdRx47aM7F/VhUrSKNKKkNqCp4IBy2kHhgu 9lcbBAO4vYWu2AZVQhIYfXzwdTbK/wCYtombjdGytprVnnwWYMB2jImTdZlHf8MDgEG7 zpmH9AphfqspYZUQlw7Rri/8JOx+0tvw48moLPl6J2x0Zw0/CPIny2G19cspUFvIC6ku 5H8wJx6UPiSlOOES3Cof9pQXwjXbvAWoePrT9WaQ2WpFkBwHZwdb4iap9ygUdufDwQW3 dR1gddvuqCSbehlczRJwcD+0Rsi467zl7dWAaezb0sRU3tJYq5hiOR3yab65L73bWwCy ueXg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:from:subject:message-id:date:user-agent:mime-version :content-language:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=P5rONLi7H7oJlxNBVSqFCQFLfsW9V9S6ejh+hOaVQqM=; b=Nrt2Pz1hwuBGEj54ERlT+9Y1NxHNzr7tQBPOKDcglmqxkYRXZ8C/7XRtZJoKXRzEwP 8llCZiJYyF4WHUYItAIshQCo2ez1IfEoJHiiyMx9p2hUd6YAq+vlqjSmPIbEbGiuIW8C x0meS9mKImISedA3yUflZpP3LAXeVbey7geCw3A8BgMfGBEEz95v/5f+/9fkb7yGLs70 CH1cptoAV8zzE5E3vapSiMVgjkOFYfpmphlUT9hxieAqE+BmnCaPdwQPTVACNDx7siRz WsdYNagL3b3ILt5HgFIKTKnvKCOTcPAi5BdDis2zm/tyl3h/iSqDB1z/cRxdzUJtc5Cp 3QYA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:to:from:subject:message-id:date :user-agent:mime-version:content-language: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=P5rONLi7H7oJlxNBVSqFCQFLfsW9V9S6ejh+hOaVQqM=; b=eXkJtYs6AKDVQdlUfOcolro9I2MZ4KlmcbuRKyK/S8iR2N2cOaBz8TZT+igZnT1wq1 Xd8vvyh1XOz+piOOGVx85jjf9p7i9o8K+UehkT9By/DX7hR00YpReUfgBH6GdhOkWcHX AXm8abUn6bMddjKkvDMMDZB9fHQ4Y0ptkqBqRLJ0Zl5paJhLk2LBeuvelZt3Mt+Q4TTD Rn1hVoGj0z5ZNmuUNzzY+u+MqzjrPxwvqdQK2BhbSh20yjGRa0BUJ9mn/RfPFM7JMGrL XtgN2thIS6G3O+Lm3rxYd4pSnhZNhp6fzCfj4Vv/JGavy6klmQl/zgpqztnAOaMYOuzq wiEA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAUufteIlQntnhkmKGW5oQjB4BRBtS1vN/e/3uLgz19OYVv7MyE7 j9PeTLSoowCuE+5kyiRewV0= X-Google-Smtp-Source: APXvYqyAb1OyntXmJ23xF8BEp8tW/FwnzRfHGjXsQNcqXVrLDdbi7YKNce1Vw95blAOnFk6hwWBQ4w== X-Received: by 2002:a62:14c4:: with SMTP id 187mr4179743pfu.241.1565106221031; Tue, 06 Aug 2019 08:43:41 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aa7:800d:: with SMTP id j13ls19818851pfi.12.gmail; Tue, 06 Aug 2019 08:43:40 -0700 (PDT) X-Received: by 2002:aa7:8d98:: with SMTP id i24mr4351126pfr.199.1565106220669; Tue, 06 Aug 2019 08:43:40 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1565106220; cv=none; d=google.com; s=arc-20160816; b=tBA+kzdfG3frQj8klxpfc3b2t1bKQeZyadrWsiBRqnwGQrvrLO6hbj4gJq6IJKYvvw yJ1G0Trt+t3JbRxLN2sSqFvR6K5qHJqw2kb/R4SzR/1qYYItM19vgk95M8YANx4uLsim 5SiY+bIrbq5/lJxrR3mvpY/IfikJB5oLXzaKIFAiLtgWLWMrm6wF8T3Fu+EPtJw4Ao9E VhwGcaDb4R5BnG1ay4e2sk+MLzMjvlO8YA7LXnh9tWUp+E8A4EiqADKes4fAAy8crvQZ LhdBYUPdfSlxtkal6a1z0ym+qy5zZTKBZyUTy/E6j0yfHzs4OWeZJP3y/WSOPTu3g5Ic QeMg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:content-language:mime-version:user-agent :date:message-id:subject:from:to:dkim-signature; bh=jgmj4ZOfmvRIN9y4hU6WDpJzx4fcEQ2ixd1qDcEoxmE=; b=OtlkBqGoWMCl8hqOXM8W/f6I3/04E7LT/jy4jJCt9jZxz03De6SLGjwMqcqSbV+ddj PQepW+49YB9rVfoG/M/FyqmN41e1YudoF9ZtetzeVAVXNscB/cEqxByaUmVxPyKFYcYG SRKt072Tj/koldV8dQ2D+pP9k8C7LPtTdWWSlEsVaZhVdiSXns1fwKkKnRuJpnASWMkn TLK2babT7wj7RZ/6T+ccD/2o8cuA9Os1Hwk9ZU1u6L6ca2hjaSZAV8ClkWQ7I3Ig1iaB Tcu26vkS5j3ubMNjxWFxDx1GUF3CSKsFyOgoqBpicLyU5JusQ9P459/mf7GU+doorVRI wvcA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=s+WoX0xy; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2607:f8b0:4864:20::335 as permitted sender) smtp.mailfrom=benedikt.ahrens@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ot1-x335.google.com (mail-ot1-x335.google.com. [2607:f8b0:4864:20::335]) by gmr-mx.google.com with ESMTPS id r1si747811pjb.1.2019.08.06.08.43.40 for (version=TLS1_3 cipher=AEAD-AES128-GCM-SHA256 bits=128/128); Tue, 06 Aug 2019 08:43:40 -0700 (PDT) Received-SPF: pass (google.com: domain of benedikt.ahrens@gmail.com designates 2607:f8b0:4864:20::335 as permitted sender) client-ip=2607:f8b0:4864:20::335; Received: by mail-ot1-x335.google.com with SMTP id r6so93585352oti.3 for ; Tue, 06 Aug 2019 08:43:40 -0700 (PDT) X-Received: by 2002:a9d:66d0:: with SMTP id t16mr3873621otm.153.1565106219913; Tue, 06 Aug 2019 08:43:39 -0700 (PDT) Received: from ?IPv6:2600:1700:76f0:3200:fec3:ad27:15f9:2848? ([2600:1700:76f0:3200:fec3:ad27:15f9:2848]) by smtp.gmail.com with ESMTPSA id a21sm28625295otr.4.2019.08.06.08.43.38 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 06 Aug 2019 08:43:39 -0700 (PDT) To: homotopytypetheory From: Benedikt Ahrens Subject: [HoTT] 2-year postdoc position on type theory in Birmingham (UK) Message-ID: <16c377b4-037c-97a6-4484-0658baa181c2@gmail.com> Date: Tue, 6 Aug 2019 11:43:38 -0400 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Language: en-US X-Original-Sender: benedikt.ahrens@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=s+WoX0xy; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2607:f8b0:4864:20::335 as permitted sender) smtp.mailfrom=benedikt.ahrens@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: , 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 ============ 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 ================ 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-4484-0658baa181c2%40gmail.com.