From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.107.166.69 with SMTP id p66mr9384382ioe.85.1513446899005; Sat, 16 Dec 2017 09:54:59 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.36.84.8 with SMTP id t8ls2162764ita.8.gmail; Sat, 16 Dec 2017 09:54:57 -0800 (PST) X-Received: by 10.36.16.68 with SMTP id 65mr7302865ity.19.1513446897925; Sat, 16 Dec 2017 09:54:57 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1513446897; cv=none; d=google.com; s=arc-20160816; b=il0raaJQZM4D5pw5SB2HSQuV0rMmk90jtqbHfSk9AgQLSgSynDupDpv9QCGQ0mifS0 N2dAhWYwWq43bXl2+VLlT7SC8nFpYAxMyxOK1MZYSTJIuqN9Oc2Nj65G3zuuQLhjzcx9 zqLwtMomJTuPiomTqwHtVfpUgk8pmgkU/tzRy7ubN8j4EX6uRTUEHyWw0y0D2OrEymLA YOLz7eFa4b/M2+pYWOZtGa41juW8fpVPT5bHjCuqyWrGpGuQS/JYPphtbXDCAJFCXvcg F803SySfdHmpDkQEVvcs5iPa1h34feUCAeGIvCL3p7213sJxyqGSXqCc7vtZj0wSKPd9 EQMQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature :arc-authentication-results; bh=Pxs8TxmzqT2B0YCCZMBPTviu84w5MtqSrywhli9lBrc=; b=jpsQJAiV3hTR05eRPfX0Ehwho8TySf5EuJHi0NY6Aeju0sN9ZslwGZGuumqstue88b h6l+PupiLF3MENveriILVMDJdZL/qKXxY2BHsUP9rjjTIxxa9eY4E8qLTgla6eD7OP84 fV1Z4tLeugU4tUldzO0wiNkyWMhbzKn7LHb6h6Ccx1yRWZkfRxtV4SSV2oz/M7lyM+Sx LJ2HpfJmP62J/mVgIwdcbzcGc8qEpm58R3+XCyg6q07EfYfAb9+QCDr1c1xQAW8HnnEa 4krj1q6tXgOU0GRGTG6X3DX+s049fZS3AKpCI9w+BglIl6CeQ2+K5a3x9138VzGlEDbG yrkw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=x0AthRLp; spf=neutral (google.com: 2607:f8b0:4003:c0f::242 is neither permitted nor denied by best guess record for domain of avi...@andrew.cmu.edu) smtp.mailfrom=avi...@andrew.cmu.edu; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Return-Path: Received: from mail-ot0-x242.google.com (mail-ot0-x242.google.com. [2607:f8b0:4003:c0f::242]) by gmr-mx.google.com with ESMTPS id f203si709585itd.1.2017.12.16.09.54.57 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 16 Dec 2017 09:54:57 -0800 (PST) Received-SPF: neutral (google.com: 2607:f8b0:4003:c0f::242 is neither permitted nor denied by best guess record for domain of avi...@andrew.cmu.edu) client-ip=2607:f8b0:4003:c0f::242; Authentication-Results: gmr-mx.google.com; dkim=pass head...@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=x0AthRLp; spf=neutral (google.com: 2607:f8b0:4003:c0f::242 is neither permitted nor denied by best guess record for domain of avi...@andrew.cmu.edu) smtp.mailfrom=avi...@andrew.cmu.edu; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: by mail-ot0-x242.google.com with SMTP id q39so3911333otb.8 for ; Sat, 16 Dec 2017 09:54:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cmu-edu.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=Pxs8TxmzqT2B0YCCZMBPTviu84w5MtqSrywhli9lBrc=; b=x0AthRLpMLZ0ukNeRQEadUXomeOqK3N60KKvQ32p7dyGTBbTmmCBwr0kqWqvD5+QOq hCN1obF2S64t+muKi0JwvppZTEW8GIoXQC7+xxzLWIxOH7bs4td1PXdJMJ2I+aA1jbbE tW0OBvU1n00d/e/N1E8LfsBijawC8O905fh8SUvRzSOJmIR1x5gFcBkvBP4M2PH60oQk 2vGNhTAs4NpF9dahgG8CS50ifla4Xg/8VKOK1/lmVnXdu3/dU+Nyu3Y26UEYyK/juEpz zCQNCBv2MzwvNhLlRRk6jVY/nDZCvn1wNhNobrMixXv3pzhQzJTyOQGqai/IQmM5k4N5 wKXQ== X-Gm-Message-State: AKGB3mJ+3FYtGjihHkT+q3A3JzZ/nangZkBA71FOYhy5ToQNFACp9/Oo DoCtm97RMqqkqtqMJguLDJGFIFj/jf4uS8RaEscLp56F X-Received: by 10.157.61.133 with SMTP id l5mr11245268otc.336.1513446896998; Sat, 16 Dec 2017 09:54:56 -0800 (PST) MIME-Version: 1.0 Received: by 10.157.54.35 with HTTP; Sat, 16 Dec 2017 09:54:56 -0800 (PST) From: Jeremy Avigad Date: Sat, 16 Dec 2017 12:54:56 -0500 Message-ID: Subject: Postdoc in Logic and Formal Methods at Carnegie Mellon To: "HomotopyT...@googlegroups.com" Content-Type: multipart/alternative; boundary="001a11470d1caeb6e7056078d085" --001a11470d1caeb6e7056078d085 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The logic group in the Department of Philosophy at Carnegie Mellon University seeks a postdoctoral researcher for a project in formal verification, dynamical systems, and constructive analysis, beginning August 2018. There are no teaching duties, and the position is for one academic year with a possibility of renewal. Candidates should have a PhD and research experience in a related area, and a desire to collaborate with the existing research group, which consists of several faculty members, postdocs, and graduate students. Background in interactive theorem proving or other uses of formal methods is desired. Questions about the position may be directed to Jeremy Avigad, avi...@cmu.edu. Candidates should submit a CV and a brief research statement to CMUPhi...@andrew.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/benefits-at-a-glance/index.html Department URL: https://www.cmu.edu/dietrich/philosophy/ Primary Location: United States-Pennsylvania-Pittsburgh Time Type: Full Time Minimum Education Level: Doctorate or equivalent 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, gender identity, religion, creed, ancestry, belief, veteran status, or genetic information. Furthermore, Carnegie Mellon University does not discriminate and is required not to discriminate in violation of federal, state, or local laws or executive orders. --001a11470d1caeb6e7056078d085 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
The logic group in the Department of Philosophy at Ca= rnegie Mellon University seeks a postdoctoral researcher for a project in f= ormal verification, dynamical systems, and constructive analysis, beginning= August 2018. There are no teaching duties, and the position is for one aca= demic year with a possibility of renewal.

Candidat= es should have a PhD and research experience in a related area, and a desir= e to collaborate with the existing research group, which consists of severa= l faculty members, postdocs, and graduate students. Background in interacti= ve theorem proving or other uses of formal methods is desired.
Questions about the position may be directed to Jeremy Avigad,= avi...@cmu.edu.=C2=A0

=
Candidates should submit a CV and a brief research statement to = CMUPhi...@andrew.cmu.edu.

***************************************************= ***************************************
More Information:
Please visit =E2=80=9CWhy Carnegie Mellon=E2=80=9D to learn more about b= ecoming part of an institution inspiring innovations that change the world.=
A listing of employee benefits is available at: http://www.cmu.edu/jobs= /benefits-at-a-glance/index.html
Primary Location:=C2=A0 United States-Pennsylvan= ia-Pittsburgh
Time Type: Full Time
Minimum Education Le= vel: Doctorate or equivalent
Salary: According to Experience
*********************************************************************= *********************
Carnegie Mellon University does not discrim= inate in admission, employment, or administration of its programs or activi= ties on the basis of race, color, national origin, sex, handicap or disabil= ity, age, sexual orientation, gender identity, religion, creed, ancestry, b= elief, veteran status, or genetic information.=C2=A0 Furthermore, Carnegie = Mellon University does not discriminate and is required not to discriminate= in violation of federal, state, or local laws or executive orders.

--001a11470d1caeb6e7056078d085--