From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.28.87.194 with SMTP id l185mr1309858wmb.9.1516900143463; Thu, 25 Jan 2018 09:09:03 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.223.175.74 with SMTP id z68ls4665350wrc.2.gmail; Thu, 25 Jan 2018 09:09:02 -0800 (PST) X-Received: by 10.28.48.88 with SMTP id w85mr1334908wmw.30.1516900142184; Thu, 25 Jan 2018 09:09:02 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1516900142; cv=none; d=google.com; s=arc-20160816; b=WFNP/8B79Hh5l51DwBYp1yIJ7uNB89HbFqYSHg8nKDk0r7kLkMJB5BROmNJfrAnybB iY+4C1Rz3xe3Fh8+a/CFAfltmJtz+vYqAP7iDE5zHB3qlN6qT7J6F7wVKq5hKcQ34/ej 0WVcQ8OiWc3LUki2e8bkrrrwJYtxB2gmzOTi3NWTDjLzr9PmEuctymgdSEu0QD5VmsSf ow6ThC+xNHYljAE6zUAwVYzvn5ne8DsqjKto6nV2NgoslGbieXjwjQHSLAxyxOXJTKoA J1U31DvTvZMBT+VMa48W2KSq58a2vb0ABpv1/OaiAOEjHFJf/dvZJbCqy3dJkwtKHAo2 dbXA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:content-language:in-reply-to:mime-version :user-agent:date:message-id:from:to:references:subject :arc-authentication-results; bh=D9wCv653hAcM9xjTC6fzwY6kogeCEg2OfKhRC8wMi1k=; b=b6RIefDXd6pY5MJQe3amifd7kFrfaFN0JBf3Oe5WTaidhYZI1qyw+oJgdT9O/qSmkN RLcb/k8mme6XYyCocEn3acqlbF+mI+IM0sDCnSOUBToLiGAWe2aO4tq5JteYTI737sDA qKBEfeqCckjpEy00X5oj6vagkLNKDADAeJx8Er/90gML5+lMyIk/E48anfM0ZNSbQ4QP DQRkya8YqI8NAyqJ5VromZbZ3PIQ7mWEL/RczeZWVteCLR1/lYcdTrNCm3Ubl5G+4Wn7 gG+YbqwC6i6L0bLnHRce4rsaJVrxVmRTombVz/tXyHO6Gd14c+OHd6nuCaIJeKbs2ySt CGYg== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of palm...@math.su.se designates 2001:6b0:5:1213:250:56ff:fe94:7fa1 as permitted sender) smtp.mailfrom=palm...@math.su.se Return-Path: Received: from mail-prod-route03.it.su.se (mail-prod-route03.it.su.se. [2001:6b0:5:1213:250:56ff:fe94:7fa1]) by gmr-mx.google.com with ESMTPS id f192si175405wmg.1.2018.01.25.09.09.01 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 25 Jan 2018 09:09:02 -0800 (PST) Received-SPF: pass (google.com: domain of palm...@math.su.se designates 2001:6b0:5:1213:250:56ff:fe94:7fa1 as permitted sender) client-ip=2001:6b0:5:1213:250:56ff:fe94:7fa1; Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of palm...@math.su.se designates 2001:6b0:5:1213:250:56ff:fe94:7fa1 as permitted sender) smtp.mailfrom=palm...@math.su.se Received: from e-mailfilter02.sunet.se (e-mailfilter02.sunet.se [IPv6:2001:6b0:8:2::202]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mail-prod-route03.it.su.se (Postfix) with ESMTPS id 3zS7mY1vp4z11ZL for ; Thu, 25 Jan 2018 18:09:01 +0100 (CET) Received: from smtp.su.se (mail-prod-smtp04.it.su.se [130.237.181.99]) by e-mailfilter02.sunet.se (8.14.4/8.14.4/Debian-8+deb8u2) with ESMTP id w0PH90rp034579 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO) for ; Thu, 25 Jan 2018 18:09:00 +0100 Received: from Eriks-Palmgrens-MacBook-Air.local (c80-216-1-129.bredband.comhem.se [80.216.1.129]) (Authenticated sender: epalm) by smtp.su.se (Postfix) with ESMTPSA id 3zS7mX2WXWz306D for ; Thu, 25 Jan 2018 18:09:00 +0100 (CET) Subject: Postdoctoral Fellow in Mathematical Logic, Stockholm University References: <876dbf13-6508-76d8-6628-178c2d9c952d@math.su.se> To: homotopytypetheory From: Erik Palmgren X-Forwarded-Message-Id: <876dbf13-6508-76d8...@math.su.se> Message-ID: Date: Thu, 25 Jan 2018 18:09:00 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:52.0) Gecko/20100101 Thunderbird/52.5.2 MIME-Version: 1.0 In-Reply-To: <876dbf13-6508-76d8-6628-178c2d9c952d@math.su.se> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: sv Content-Transfer-Encoding: 8bit X-Bayes-Prob: 0.005 (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=130.237.181.99; 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: 0aV2F90Xg - 57a53db848c1 - 20180125 X-CanIt-Archive-Cluster: PfMRe/vJWMiXwM2YIH5BVExnUnw X-Scanned-By: CanIt (www . roaringpenguin . com) Postdoctoral Fellow in Mathematical Logic Ref. No. SU FV-0346-18 at the Department of Mathematics, Stockholm University. Closing date: 3 April 2018. The Department of Mathematics at Stockholm University has roughly 40 faculty members, and is divided into two divisions: Mathematics and Mathematical Statistics. This postdoctoral position is attached to the former. The Division of Mathematics carries out research in a wide range of subjects in pure mathematics, including algebra, analysis, combinatorics, geometry, logic and topology. The research group in mathematical logic is active in several areas of the field including, constructive mathematics, proof theory, type theory and category-theoretic logic, as well as the philosophical aspects of logic and mathematics. Project description A broad spectrum of different projects within mathematical logic are possible, but with a preference for projects including type theory, in particular homotopy type theory, constructive set theory, category theory and categorical logic, topos theory, point-free topology and locale theory or other constructive aspects of mathematical logic. Main responsibilities The main responsibility is to conduct research. The position also includes some teaching duties (up to 20 %), which may include supervision of students. The successful applicant is expected to participate in activities in the department, in particular by attending and contributing talks in the logic group’s seminar. Qualification requirements Postdoctoral positions are appointed primarily for purposes of research. Applicants are expected to hold a Swedish doctoral degree (by the time of appointment) or an equivalent degree from another country. Assessment criteria Applicants with a PhD degree awarded no more than three years before the deadline for application will be given preference. Parental leave, compulsory military and similar types of service, or longer periods of illness are not counted towards these three years. In the appointment process, special attention will be given to research skills. Emphasis will also be placed on the candidate’s potential to contribute to the proposed research program and to interact with other members of the department. Terms of employment The position involves full-time employment for a maximum of two years, with the possibility of extension under special circumstances. Start date is 2018-09-01 or as per agreement. Contact Further information about the position can be obtained from Professor Erik Palmgren, telephone: +46 8 16 45 32, palm...@math.su.se, and/or Peter LeFanu Lumsdaine, telephone: +46 8 1614 66, p.l.lu...@math.su.se. Applications are to be entered via the Stockholm University's online application system. For instructions see the full advertisement: https://www.su.se/english/about/working-at-su/jobs?rmpage=job&rmjob=4748&rmlang=UK Welcome with your application! Erik Palmgren Professor of Mathematical Logic Department of Mathematics Stockholm University http://staff.math.su.se/palmgren/ -- You received this message because you are subscribed to the Google Groups "constructivenews" group. To unsubscribe from this group and stop receiving emails from it, send an email to constructivene...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.