From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.36.0.137 with SMTP id 131mr766412ita.32.1493850556373; Wed, 03 May 2017 15:29:16 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.157.82.106 with SMTP id q42ls335990otg.12.gmail; Wed, 03 May 2017 15:29:15 -0700 (PDT) X-Received: by 10.157.54.202 with SMTP id s10mr17617989otd.125.1493850555725; Wed, 03 May 2017 15:29:15 -0700 (PDT) Return-Path: Received: from mail-qt0-x229.google.com (mail-qt0-x229.google.com. [2607:f8b0:400d:c0d::229]) by gmr-mx.google.com with ESMTPS id t7si46848ywa.1.2017.05.03.15.29.15 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 03 May 2017 15:29:15 -0700 (PDT) Received-SPF: neutral (google.com: 2607:f8b0:400d:c0d::229 is neither permitted nor denied by best guess record for domain of awo...@andrew.cmu.edu) client-ip=2607:f8b0:400d:c0d::229; Authentication-Results: gmr-mx.google.com; dkim=pass head...@cmu-edu.20150623.gappssmtp.com; spf=neutral (google.com: 2607:f8b0:400d:c0d::229 is neither permitted nor denied by best guess record for domain of awo...@andrew.cmu.edu) smtp.mailfrom=awo...@andrew.cmu.edu; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: by mail-qt0-x229.google.com with SMTP id j29so1557320qtj.1 for ; Wed, 03 May 2017 15:29:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cmu-edu.20150623.gappssmtp.com; s=20150623; h=from:content-transfer-encoding:reply-to:subject:date:message-id:to :mime-version; bh=+l2QiVKJiW4NCo5datK2StXZdedm/nga53Nat6sj+98=; b=jUEjpNaaF9Tb4xmJ3hpZdDkrvdOZmEjVQ5FBAW2vyv8/Q1GQRLcR0P4Qsy/TPBcCdx vT3ilGlx0fRBNO1pLnzkyA/mMVzIY0mDNt1ssCYNBaMu+AUn6d2k7vOyM2a7P7PkME+/ +Lw8GGEyRxjhokuzu9mzfK+ABpj0W16IFeQ7sZpPOtq0JMw2Mga7xPTK2+pi2UpxlCLQ terx3Ilf22E5hn9ENQRtwLGj2uUOWbNsX3wS3L/zFTjolER4ZQPjvAbBnyi9qZG8BLGg wi9FNS/2yQWyGwDXBxsP1/iilvjdLBDl59Uz69dn+Q0Ssua8WfguWTy1S7TJGdxJat4S 7b8A== X-Gm-Message-State: AN3rC/5ljCsE5zTFCLBtvI+SAAqR73nhUXZ67Fg/uQHSt4akEREwdPOa BjUTq/6rlfPbTvsvWb8= X-Received: by 10.237.35.50 with SMTP id h47mr33911368qtc.95.1493850555274; Wed, 03 May 2017 15:29:15 -0700 (PDT) Return-Path: Received: from samson.phil.cmu.edu (SAMSON.PHIL.CMU.EDU. [128.2.65.128]) by smtp.gmail.com with ESMTPSA id j204sm245720qke.27.2017.05.03.15.29.14 for (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Wed, 03 May 2017 15:29:14 -0700 (PDT) From: Steve Awodey Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Reply-To: Steve Awodey Subject: Post-Doctoral Researcher in HoTT Date: Wed, 3 May 2017 18:29:14 -0400 Message-Id: <348324C3-1A7C-42D1-9B19-08530345DD91@cmu.edu> To: Homotopy Type Theory Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) X-Mailer: Apple Mail (2.1510) Post-Doctoral Researcher in Homotopy Type Theory / Category Theory / Type T= heory / Homotopy Theory Carnegie Mellon University / Philosophy Department=20 The research group in Homotopy Type Theory at Carnegie Mellon University se= eks a Post-Doctoral Researcher, without teaching duties, for one academic y= ear, with a possibility of renewal. =20 Position could begin as early as August 2017, or later. Candidates should = have a PhD and research experience in a relevant area and a desire to colla= borate with the existing research group, which consists of several faculty = members, postdocs, and graduate students. Questions about the position may be directed to Steve Awodey, awo...@cmu.ed= u. Candidates should submit a CV and a brief research statement to CMUPhi...@a= ndrew.cmu.edu. ***************************************************************************= *************** More Information: Please visit =93Why Carnegie Mellon=94 to learn more about becoming part of= an institution inspiring innovations that change the world. A listing of employee benefits is available at: http://www.cmu.edu/jobs/ben= efits-at-a-glance/index.html Department URL: https://www.cmu.edu/dietrich/philosophy/ Primary Location: United States-Pennsylvania-Pittsburgh=20 Time Type: Full Time=20 Minimum Education Level: Doctorate or equivalent=20 Salary: According to Experience ***************************************************************************= *************** Carnegie Mellon University does not discriminate in admission, employment, = or administration of its programs or activities on the basis of race, color= , national origin, sex, handicap or disability, age, sexual orientation, ge= nder identity, religion, creed, ancestry, belief, veteran status, or geneti= c information. Furthermore, Carnegie Mellon University does not discrimina= te and is required not to discriminate in violation of federal, state, or l= ocal laws or executive orders.