From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.46.114.9 with SMTP id n9mr349658ljc.30.1519987368709; Fri, 02 Mar 2018 02:42:48 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.46.17.66 with SMTP id f63ls1035726lje.1.gmail; Fri, 02 Mar 2018 02:42:47 -0800 (PST) X-Received: by 10.46.116.1 with SMTP id p1mr336068ljc.18.1519987367313; Fri, 02 Mar 2018 02:42:47 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1519987367; cv=none; d=google.com; s=arc-20160816; b=l1vIto+joAnoJ2Iuk51632EIxMXXO4btMRufjSnrf/kX4ES8SqoP8hiHhhkaJWD64L HF1pMYoyRDGLGRuo4k5DVyMZqq9Gfvq9K/QpOVAZ9evvfID4oDZgUGs1Wmoop4gM5CSA iRG9uaPxVYZ9C9Io66QljHfbO5jkjmSwF1yzug+/IYO948IQM9JjsacGFQeNJzTUOFG7 6atevLXqVxvN2GLcBIwHxHeHSSXKMZRSfUQyKpolqrTjYUjggD0SAXx6D8jXN/NAvGSt zU/cvzSjjfwjJSM+xtJksCktaaC9ESYnkKlG0DX/4ziLPVJsXQ9RuX4SbmY9XCgLUqAf 10pw== 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:cc:subject:from:to:arc-authentication-results; bh=/ybAOyF/db29nHKwFEJlrLiX1Vh9hg0CEr08IVW0X5w=; b=cXQa5o35lnzFYHmLREl2YbYR6PAY8L+vYmHBGPd6DalRhyKGfYbv+tAHO0cM69lKuR D4g4YBL5LXHr0+lFJdgTKbcieWPKTHHDHwjw6OoKrBKM5ZXI2F2DJAO8f5EWWGPrVocZ mvZlwrOv176BTrR65fVM1A4XhvVCTH2yoaq3IxGug/8YJ9PRIO9O47HrOm5PAe7iTkMd Zt2zvkqEOZdmIJ9VsXeq0BbuD30D8M4ssyr44Ko2513i+HK4ETEd9brm77RA1b6aT/SW nqul9Dva7arLc1TjCNv7boC1DdRAWnuW84CJQ4A7xOvBqa1N9+lhvrh7NXD1cMlVpTNH CXLA== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of palm...@math.su.se designates 2001:6b0:5:1212:250:56ff:fe94:4d39 as permitted sender) smtp.mailfrom=palm...@math.su.se Return-Path: Received: from mail-prod-route02.it.su.se (mail-prod-route02.it.su.se. [2001:6b0:5:1212:250:56ff:fe94:4d39]) by gmr-mx.google.com with ESMTPS id z25si263278lfg.5.2018.03.02.02.42.47 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 02 Mar 2018 02:42:47 -0800 (PST) Received-SPF: pass (google.com: domain of palm...@math.su.se designates 2001:6b0:5:1212:250:56ff:fe94:4d39 as permitted sender) client-ip=2001:6b0:5:1212:250:56ff:fe94:4d39; Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of palm...@math.su.se designates 2001:6b0:5:1212:250:56ff:fe94:4d39 as permitted sender) smtp.mailfrom=palm...@math.su.se Received: from e-mailfilter01.sunet.se (e-mailfilter01.sunet.se [IPv6:2001:6b0:8:2::201]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mail-prod-route02.it.su.se (Postfix) with ESMTPS id 3zt5VG73nhz11bQ; Fri, 2 Mar 2018 11:42:46 +0100 (CET) Received: from smtp.su.se (mail-prod-smtp04.it.su.se [IPv6:2001:6b0:5:132:250:56ff:fe94:2456]) by e-mailfilter01.sunet.se (8.14.4/8.14.4/Debian-8+deb8u2) with ESMTP id w22AgkKg192999 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Fri, 2 Mar 2018 11:42:46 +0100 Received: from Eriks-Palmgrens-MacBook-Air.local (c83-251-225-207.bredband.comhem.se [83.251.225.207]) (Authenticated sender: epalm) by smtp.su.se (Postfix) with ESMTPSA id 3zt5VG0PKXz2tqr; Fri, 2 Mar 2018 11:42:46 +0100 (CET) To: homotopytypetheory From: Erik Palmgren Subject: PhD-positions in mathematics at Stockholm University Cc: Peter LeFanu Lumsdaine Message-ID: Date: Fri, 2 Mar 2018 11:42:47 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Language: sv Content-Transfer-Encoding: 7bit X-Bayes-Prob: 0.0001 (Score 0, tokens from: outbound, outbound-su-se:default, su-se:default, base:default, @@RPTN) X-Spam-Score: -0.10 () [Tag at 7.50] T_RP_MATCHES_RCVD:-0.1 X-CanIt-Geo: ip=2001:6b0:5:132:250:56ff:fe94:2456; country=SE; region=Stockholm; city=Stockholm; latitude=59.3600; longitude=18.0009; http://maps.google.com/maps?q=59.3600,18.0009&z=6 X-CanItPRO-Stream: outbound-su-se:outbound (inherits from outbound-su-se:default,su-se:default,base:default) X-Canit-Stats-ID: 09VgWGKGN - 5e899a4a3bc1 - 20180302 X-CanIt-Archive-Cluster: PfMRe/vJWMiXwM2YIH5BVExnUnw X-Scanned-By: CanIt (www . roaringpenguin . com) Stockholm University announces a number of fully funded PhD-positions in mathematics. Among the possible topics are mathematical logic including (homotopy) type theory and categorical logic. See https://www.su.se/english/about/working-at-su/phd?rmpage=job&rmjob=4914&rmlang=UK for details and contacts. Missing in this list of advisors is Peter LeFanu Lumsdaine . Please contact him directly for further information about possible projects or topics. The positions are appointed in competition with other topics in mathematics. Please forward to anyone who may be interested. Erik Palmgren