From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a9d:b8f:: with SMTP id 15mr6100572oth.256.1584702126160; Fri, 20 Mar 2020 04:02:06 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aca:ec0a:: with SMTP id k10ls1846833oih.8.gmail; Fri, 20 Mar 2020 04:02:04 -0700 (PDT) X-Received: by 2002:aca:488a:: with SMTP id v132mr5991454oia.166.1584702124761; Fri, 20 Mar 2020 04:02:04 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1584702124; cv=none; d=google.com; s=arc-20160816; b=fj1qTheJTA4CMy8VaQ2sWN/WCL4naH0+MzXpSKo3XtChPTWeadB+JjLBznGYWKdg8J 7IeCWTVCCpgNppf4p1CghkgCzB9KMdgXZaDMesWkYmauamn089boGMHnw8uT79+7HAxd /vO0S1o/wRcj0UvsNyGvOcxfscr+gaORrnAwmVPGKSP2JFnAUPFLRyNf0bLwjUUjI6FJ z5iUf/P+8rH1g4+2jBx57zDrGwdI+ZrG9cvO0rdGpamUDt8P9diVUku1FLNhUTHFuhxc +AhAPMdVsIItJB/xzA30ZCzlJsDrVSzUjOe6079crYgPYiphGg6TFqD7raDcLYzO1Qk6 Fl/A== 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=TyRhKyPu4OsXZBfN+KU4Ga2M1MTviu9oLffD2+HOsVA=; b=NsQujGPalucW3uCTvPSrZolu5qo7PNChSXSRDqRvcdXQIQF4lQj6DkM2oq/62lvF6l 4dHKZ0DmiQosCojl800AChW0RVWl4vq2gFvXSJotpmhGnZTkBcUEeQg1y96I2EuhcgU+ MEgpxZgeGTYaIr9c+nzCjF9tyHsiScD7dro4mcqz0jcQ934vetw9ss+C7CnMflPwrDhH GHqZZO7fh20IGFkctNlFLY2KMA3xzMERwsiRCA+FvxLUnGi/OmENBqtIiwxb7uMhLhq6 /nsi13lcayy6/PF6VBPzRZpckhsl9Sxh0lWvc1YhUp6yZHDQfRJymgu8S+3CS7QAO+7Q 8b5A== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=GW+hCVuG; spf=pass (google.com: domain of andersm...@gmail.com designates 2607:f8b0:4864:20::230 as permitted sender) smtp.mailfrom=andersm...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: 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 m132si269843oig.3.2020.03.20.04.02.04 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 20 Mar 2020 04:02:04 -0700 (PDT) Received-SPF: pass (google.com: domain of andersm...@gmail.com designates 2607:f8b0:4864:20::230 as permitted sender) client-ip=2607:f8b0:4864:20::230; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=GW+hCVuG; spf=pass (google.com: domain of andersm...@gmail.com designates 2607:f8b0:4864:20::230 as permitted sender) smtp.mailfrom=andersm...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: by mail-oi1-x230.google.com with SMTP id k18so6051956oib.3; Fri, 20 Mar 2020 04:02:04 -0700 (PDT) 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; bh=TyRhKyPu4OsXZBfN+KU4Ga2M1MTviu9oLffD2+HOsVA=; b=GW+hCVuGsEIhtjfPdm0Oi1pu52/HBHc6Ax2+cOFxe+NunIEUzFer++8e/iojX/soxe SD8Tdga8bT+jXkoGkmg+qc1BKV3ZuMPxNv1ri1p1u7F2EuJDW/fNLNSMXtsHGlHkWRcR c0YxUTfCtfbOOCcCo7mz9aldXD41tVUfWiwmfDGbp2lXG/HU8jaXcx84BlpsSf5fHloc rg7mqJ6JmR+EWIn+syhfK0Ep8DzRgfblueFZQdrJQ6Xvgu7k2j6URGmmHArHzU3beCvC +VwJeGwhFf2rs36UCiQNEmjBt/bDWSFU8ce/EKQZxtuwp59w8pVLV/oeq7mEC1zG1WHE dbAA== X-Gm-Message-State: ANhLgQ1b/EnF6v96OcD2B2UDAkrKmJnvecrpHYDmQXUA8PpTE+LNsCnJ HXELmnOC9pB+wlDXmxeOsK19Gd8vy85sfTec0QA= X-Received: by 2002:aca:bc86:: with SMTP id m128mr5983921oif.11.1584702124503; Fri, 20 Mar 2020 04:02:04 -0700 (PDT) MIME-Version: 1.0 From: Anders Mortberg Date: Fri, 20 Mar 2020 12:01:51 +0100 Message-ID: Subject: PhD positions in Computational Mathematics at Stockholm University To: types-a...@lists.seas.upenn.edu, Homotopy Type Theory , Univalent Mathematics , Agda mailing list , coq-...@inria.fr, lean...@googlegroups.com Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The Department of Mathematics at Stockholm University invites applications for PhD positions in Computational Mathematics. A prospective student will have the opportunity to engage in exciting research related to type theory, HoTT/UF, constructive mathematics, programming language theory 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 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=3D1194= 4&rmlang=3DUK The deadline for application is April 23, 2020. Some potential project ideas can be found at https://www.math.su.se/english/education/phd-studies/research-projects/poss= ible-research-projects-in-computational-mathematics-1.430102#m%C3%B6rtberg If you are interested in applying and have any questions feel free to contact me! -- Anders M=C3=B6rtberg https://staff.math.su.se/anders.mortberg/