From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.99.106.193 with SMTP id f184mr8916934pgc.126.1492553657344; Tue, 18 Apr 2017 15:14:17 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.107.0.7 with SMTP id 7ls662355ioa.12.gmail; Tue, 18 Apr 2017 15:14:16 -0700 (PDT) X-Received: by 10.107.148.130 with SMTP id w124mr123472iod.16.1492553656560; Tue, 18 Apr 2017 15:14:16 -0700 (PDT) Return-Path: Received: from mail-qk0-x244.google.com (mail-qk0-x244.google.com. [2607:f8b0:400d:c09::244]) by gmr-mx.google.com with ESMTPS id d5si59942ywb.4.2017.04.18.15.14.16 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 18 Apr 2017 15:14:16 -0700 (PDT) Received-SPF: neutral (google.com: 2607:f8b0:400d:c09::244 is neither permitted nor denied by best guess record for domain of awo...@andrew.cmu.edu) client-ip=2607:f8b0:400d:c09::244; Authentication-Results: gmr-mx.google.com; dkim=pass head...@cmu-edu.20150623.gappssmtp.com; spf=neutral (google.com: 2607:f8b0:400d:c09::244 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-qk0-x244.google.com with SMTP id p68so1019977qke.1 for ; Tue, 18 Apr 2017 15:14:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cmu-edu.20150623.gappssmtp.com; s=20150623; h=subject:mime-version:from:date:content-transfer-encoding:reply-to :message-id:to; bh=c1LgFOtr3b8GgE4oY+iyxMkBQcgJvKl0GvlVKad4C78=; b=EOosugc/Rfx3gUOBvHooSO5vTNaNIrhNR4p0vdANlDVA9ov0CJlogToRXQMpveZzez siiOGBbO7InQ/7RQlFg3gbD1EPljBxtrNPOSxh0Za4uavj4Xi7+h/7+CSdqhB6AbiW1T Kq3LhwgLyo3up8OygqUUJd0C3EyoaaZv2sqG9QifOaiH8Z+Y0GzWr8KMiV3vS1hWgfBS 6pyIUfOahZOL0PaLHoTzYQVDr+k+/ok/2mjsDLVGlci2BJnroF6CuEvKkvP767AWqCHq ZLTDRCQBS2tDe/BNMexTND4RUdwiUJJHs6+0nMwL92WU/TyqXwMF25aiQwfED1wDSN2s 111Q== X-Gm-Message-State: AN3rC/5+IMS6wIhTJIRhhF00DdwQpdoloe3hu9BLv4Tre9KgCI7LgxGh d/R5g5aVL2ggr5f4 X-Received: by 10.55.139.70 with SMTP id n67mr17360265qkd.126.1492553656198; Tue, 18 Apr 2017 15:14:16 -0700 (PDT) Return-Path: Received: from steveawodeysair.home (pool-98-111-244-8.pitbpa.ftas.verizon.net. [98.111.244.8]) by smtp.gmail.com with ESMTPSA id a24sm387341qkj.68.2017.04.18.15.14.15 (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Tue, 18 Apr 2017 15:14:15 -0700 (PDT) Content-Type: text/plain; charset=utf-8 Subject: 1-Year Senior Researcher in HoTT Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2104\)) From: Steve Awodey Date: Tue, 18 Apr 2017 18:14:14 -0400 Content-Transfer-Encoding: quoted-printable Reply-To: Steve Awodey Message-Id: <712BB966-F60E-491F-AE8A-D8BE35C6BF0F@cmu.edu> To: Categories , Homotopy Type Theory X-Mailer: Apple Mail (2.2104) One-Year Senior Researcher Position in Homotopy Type Theory / Category Theo= ry / Type Theory / Homotopy Theory Carnegie Mellon University/Philosophy Department=20 The research group in Homotopy Type Theory at Carnegie Mellon University se= eks a Senior Researcher or Visiting Professor (open rank), without teaching= duties, for one academic year. Suitable for a research or sabbatical leav= e from your home institution. Position could begin as early as August 2017= , or later. Candidates should have a strong research background in relevan= t areas and a desire to collaborate with the existing research group, which= consists of several faculty members, postdocs, and graduate students. Questions about the position should be directed to Steve Awodey, awo...@cmu= .edu. Candidates should submit a CV and a brief research statement to CMUPhi...@a= ndrew.cmu.edu. ***************************************************************************= *************** More Information: Please visit =E2=80=9CWhy Carnegie Mellon=E2=80=9D to learn more about beco= ming 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 Rank ***************************************************************************= *************** 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.