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-vs1-xe3a.google.com (mail-vs1-xe3a.google.com [IPv6:2607:f8b0:4864:20::e3a]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 61a7e4a3 for ; Mon, 18 Mar 2019 19:12:48 +0000 (UTC) Received: by mail-vs1-xe3a.google.com with SMTP id t85sf1195846vsc.21 for ; Mon, 18 Mar 2019 12:12:47 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1552936367; cv=pass; d=google.com; s=arc-20160816; b=kwanH4ID+Cs1EWRZyc+CPEP69X+9upVfcFFltg9q46LmjmDyea0e7j3PJcBu9PlW8Y IiczvldCM3XMWEefgP9fqPBSonMDVVrVWtVTLzhC0tUYs6MG6OgPhwvKGk/SsnMWc3Jt WC6D2lTsioj0alMOjeLsOZlJ2ZVKCfB/a7agq3BNwSRjtfIcLcRc+Hir1aUWcMwnJSDk vXofHjxfY79vK0DGai215wz4Makj4SRhyDUYsql+xbeiDct4lR4cGhPYp4+PR/8WEOtP RGXHSAJkAJJQ7rnbyNA7+lNDvhwZlFyebZgB4DqbGxvZm+qZuS398ONiyLOK9qOA+bmf 7V4w== 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-transfer-encoding:to:subject :message-id:date:from:mime-version:sender:dkim-signature :dkim-signature; bh=FBGRRNWpRFkzZ7cEzHIyRwT618a2c4Ru3fmIYcV6Xik=; b=g1HVOYqCZprxaaBRBMF9nQ5YgVPK60OmbcEJpegR+73OqNYEiCNqsyci23PqyMFn7M X7+rekf0jFvpg5zjCnCsqVrgrAdb5WoK079WVte99FXJwht4km5Txr1lVylU5ee1TOA0 E6rqPxmSvf9fK2FH/xqxWX5ZBoWxuxUg5Z9eT+Zr8aqwUj9xZ2OJpKVKltFLV6nG5QmD TkJrHwDrqURlHgIb8FOcxy05EWrg1g/asLULh6hBXn00GUaggRfO1RXDos9IE/b0T9DQ 7XhqhbqUPStkGoZ40pYas6qHol4OXjD7AQvI2gsqY/VNzJ8gJ6XiIsNXI2mvWjmhpSld 9w0A== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=pvwN0M2Q; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::32d as permitted sender) smtp.mailfrom=andersmortberg@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:mime-version:from:date:message-id:subject:to :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=FBGRRNWpRFkzZ7cEzHIyRwT618a2c4Ru3fmIYcV6Xik=; b=XDW7lZdd/llgLoVJTRbuq8/TNGld/8T6m2IUMQfBilTG7SXaV192B+Si4K6NQcABDe vO2rI8wF2fCPGI0zoJBYZzEUkDmuaS/+lNFi7Qox7ADL5nCEft+zPc3ifD9gZxx+Ov3o 4nOQhpvNwAEtG1lFeX2HjNaLN7FiopDl07nVNP4ZSxCJsd6ni2/c5BwVKBb7uKRsmJ0+ bXE2JDRDQGudyXfQTo5u9+CSdoIBq/XIZI47C6EVaJH81v519BhLmtmLlf9QvhioVvq8 YV12PodC/QbIERlehqGJD/GS02ptF+/yXTl+2yhOPHoSOU3PrlUBbNJ3lmtrATIdpV3/ cn3w== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=FBGRRNWpRFkzZ7cEzHIyRwT618a2c4Ru3fmIYcV6Xik=; b=onlKlx0+2Clp/Xxcbe2tA/rhUYex1xRDJJICp+Y35TUX4Oi9f/nxUGgt6QF3nBQ6If RegRoaXb9xvW+TvWITeLNXDsnpj15RRus7txIQReP+c7L1XGQsCtzPccz5tf7SzBHh4M SlFWbDO7JUocUp+4eRNXAkCYEGFPoVerMhBRByioj7oPFkbJtYolnJ2Yl6nt+zjvbAnL HJoXE+4O5q1k0RIhcWjP68rnyVIK9T4nD/9Ao3VwVqTayC8CPF4dVZn0ak4UrdqtfYsC EJFuiFjMnTa1rTARAfx2Hk/QAB7guqnudaLGa8/XzwJgbgS9PbPJmBNwwSDJs6UCRSqC pv0Q== 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:from:date:message-id:subject :to:content-transfer-encoding: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=FBGRRNWpRFkzZ7cEzHIyRwT618a2c4Ru3fmIYcV6Xik=; b=qUVP8Bb9KAy/gwhJvK7+KDIWJG2reFqCesIVbrP4jjc+/7QIbqiQAEpeRy0zkbcFr7 MnLv1xqQwLKueNWFGPbTKMgPjAwOhRCDbK8Qk8yrHBieBEBGmbr1rjkjGGtdpffSI9VW alSTwr6WyKq74NXmqJtixw3kTCtCOGwuynZ9mx3K20upD2tJ/2wY7eFQya644g0+pfmz ZQagEABR0p4NVFJ4a0VkeiQMcKNMyVSDSgYQb29t9TsqaWCf53SwOVgDJOXO+Yn3IRgy 9EkGiRhhCsPmB1iGERzQ8iCitooBkJ8kFYcCUXgWWOFahTVO9/IxQvAnTAw1nnMp0Uox 7Pjw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAVkkyHMBuV5ydBaZlhQZ+qWeWwI2qdABZQ4NjvfUKmbXYd1e7eb IQOezc5wTGeLST9YcKnZgXE= X-Google-Smtp-Source: APXvYqz1ud2VCIU1/My8JzLgSc+6U6rUc3I7xrCXkx1OEZFWXVeOztTOBUPQ8+80DCgHYg5wkO+pXg== X-Received: by 2002:a67:ecc2:: with SMTP id i2mr9932646vsp.12.1552936367024; Mon, 18 Mar 2019 12:12:47 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a67:6805:: with SMTP id d5ls3684103vsc.4.gmail; Mon, 18 Mar 2019 12:12:46 -0700 (PDT) X-Received: by 2002:a67:7b56:: with SMTP id w83mr4911388vsc.14.1552936366729; Mon, 18 Mar 2019 12:12:46 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1552936366; cv=none; d=google.com; s=arc-20160816; b=EBHL6ImmztwJwJ1REMgdh1xbzZzg64zZyuyWA8xJpS5/N4NO+vQMJjHcTVhZB9UgN5 hjF0Fk3YfgB5OXyyv+UxGSl2pbGHvtJp7x44azWkib7Fx8a1h9ygGN3MNBUelDhIvnEy smzITdzqBNwcEP93IwILuYs3BSS4fF0YuVKOgnXmYKM11VJC8FUvgGGKfJWHCoKiPzTs vo/H3Y2uy+LQ2XqYLGNooA3RMObA53l6oz1OyywtMkxWY0E2WLMvKdv/m9PJUsKrQzFy w7OY1BwTbg2oBlXLcVi0eYB1TGlnNYrWnAgTFUeMjSbbcE7HNWW5zLDaEqdJLgpJIVy3 liVQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature; bh=moPExFOCLi6hzO/UrYYPKxigf3lT0ZHiPofMIu1ylDU=; b=Uszthufho6t53Te/R6AYp1DGcDzkl/T6Elns9gHhaW7kgBzpVcoBnc6mMvdcvYqPbp Z7hCUBpo3yB5fv/+1mZOCdbxi0ZoPWSmeXX6tZ++woqA12aYB6xQQ+rSDlaVAN3iQoQR cmLVVi+htf2FozZOptpPpwo+bdtDj5GzPcj1cQh33e2n79wps3YLtHPH7WDyk87OnYzE aYJqOG7Z5ivdaczxWy13a/0c0tSmb6FDc1HVbVUpF+000jOcBWXE6eqQtF91ces415Kz QdSTWnRaMBVu+1q9Mm1gnvQpnPrupfl0q0XTeB3NS/9LbvyPUpOmwldjvlkESFbT2POq ewPA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=pvwN0M2Q; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::32d as permitted sender) smtp.mailfrom=andersmortberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ot1-x32d.google.com (mail-ot1-x32d.google.com. [2607:f8b0:4864:20::32d]) by gmr-mx.google.com with ESMTPS id n2si27183uap.0.2019.03.18.12.12.46 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 18 Mar 2019 12:12:46 -0700 (PDT) Received-SPF: pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::32d as permitted sender) client-ip=2607:f8b0:4864:20::32d; Received: by mail-ot1-x32d.google.com with SMTP id 103so93713otd.9; Mon, 18 Mar 2019 12:12:46 -0700 (PDT) X-Received: by 2002:a05:6830:1092:: with SMTP id y18mr4129760oto.130.1552936366248; Mon, 18 Mar 2019 12:12:46 -0700 (PDT) MIME-Version: 1.0 From: Anders Mortberg Date: Mon, 18 Mar 2019 15:20:36 -0400 Message-ID: Subject: [HoTT] PhD position in Computational Mathematics at Stockholm University To: types-announce@lists.seas.upenn.edu, Homotopy Type Theory , Univalent Mathematics , Agda mailing list , coq-club@inria.fr Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Original-Sender: andersmortberg@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=pvwN0M2Q; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::32d as permitted sender) smtp.mailfrom=andersmortberg@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: , The Department of Mathematics at Stockholm University invites applications for a PhD position in Computational Mathematics. A prospective student will have the opportunity to engage in exciting research related to programming logic, type theory, constructive mathematics and category theoretic foundations. The student will be part of the newly founded Computational Mathematics division. It will also be possible to collaborate with other groups in the department, such as the Mathematical Logic group (with experts on constructive mathematics and type theory like Per Martin-L=C3=B6f, Erik Palmgren and Peter LeFanu Lumsdaine) and the Algebra, Geometry, Topology, and Combinatorics group. For further information and instructions on how to apply see https://www.su.se/english/about/working-at-su/phd?rmpage=3Djob&rmjob=3D8652= &rmlang=3DUK The deadline for application is April 23, 2019. If you are interested in applying and have any questions feel free to contact me. -- Anders M=C3=B6rtberg --=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. For more options, visit https://groups.google.com/d/optout.