From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 9957 invoked from network); 15 Sep 2022 09:52:27 -0000 Received: from mail-yw1-x113b.google.com (2607:f8b0:4864:20::113b) by inbox.vuxu.org with ESMTPUTF8; 15 Sep 2022 09:52:27 -0000 Received: by mail-yw1-x113b.google.com with SMTP id 00721157ae682-33d9f6f4656sf156007267b3.21 for ; Thu, 15 Sep 2022 02:52:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:sender:from:to:cc:subject:date; bh=bL9CpK1O9ahOX2jVI2hgmqYGflRi2gr3RTmWtWOUpNY=; b=Ne+rqHDeWgRVtSuNCfWhVG9/FZDV0aJAG/FDqss+vEbs0OvJ8Yr2G1v98upjBO7BuE KwwUNnVkD+bKUHEx7Lzqk1rXJt0DmGsDBSWRBNwBEXpiy3nuSpc3TRa9S+uAd8q3S5XC X+XEofxXFH7B2uNxhMA6YH4DyGoAZFW+cEsuDm6dKtXABnsyL5uIbljIX9ipwIMry58z fWBiwUc3rgpolXV6Pc/MchM3a8LgQTKXU4MC3B3chshzK2JAN2ceHXCmZzVmY9ZuHgAF 2ztsbr2ayiakVOgEW5fuWLoFk5EZPYlH4S5U0jCn9xJPfZCG8Yy2/e2sBYSj50PfPuq2 L0og== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:from:to:cc:subject:date; bh=bL9CpK1O9ahOX2jVI2hgmqYGflRi2gr3RTmWtWOUpNY=; b=i2Clq6ghF7mZXaSuV2pSYAbzez5qNWA9Iy9yjY9Tz4fMQBBiCL71xv/X/fq6ukPpkG PuZHLNFDC4GH8Qtrn7BJO9FUrna/uKmEZDqjdu/ZCKzAdAntS0Y2vA9sovm90JcAgq1Y 9h+E52u7UOduXA2pfTPo4uZL+dtdhTz6LtVVHC9yoaoG1ySWCbqvCXJmTOsl1YzpDZNL q5mzVIsgh+qqwCTbv0C9Lv1xDRoeRd8wC/BbFQo4QHsRyahhilqh7fBncAK9bK/Vq1rQ RZMgYKFxG3qYit4vFrKTgmNJdAqIkoa3oL7SiyMOECyiU3Y22sNn9qHt5nfcVNraPso+ qwHQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:x-gm-message-state:sender:from:to :cc:subject:date; bh=bL9CpK1O9ahOX2jVI2hgmqYGflRi2gr3RTmWtWOUpNY=; b=OvN4/jfgGk3lIoXu5OZ7QLNwBxFTs/cMhmIZcNbZC5zXc0upu/Ocl88VuKKaUpSKFW TAskru9ttjJCyV+ZDa2Hp4SbZ90TXHNzLBYLTkhpwsYMcv3tY0t0wYMbDatULDzakul4 f6amMKMF2q/dZ40AuZh8h7Boqi6hV1WuPcl3vpaaTAbAT4ho6SBIzVTabUhEPpC1/Rjq upM30n+9k2Cu5IRcZOEOcuQp2VFztIwKGEbaZPh87cYfoAaceWVJriExuaNwZbUgJBE1 sAbPw5URGTGUXrwzOgIvSaikXUSzKhVKxOHD5fdRa9VerMolDWPxGo128zhtMrR5bZ5I vnUQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ACgBeo2miYQbNIntjZ9kM8VWHQLiHt18Q35h4KDEXzamqOVuk8Q/CTCq b3MUU9R3cpTScWaynMpd2hc= X-Google-Smtp-Source: AA6agR6OIiLCs3cGEBB1cNZPXMMJKWoCpU0W4vbHoK0Pilf3Kufqp27MAPydkk89INXkk4+qpQokTg== X-Received: by 2002:a81:1b58:0:b0:349:3a04:f7cc with SMTP id b85-20020a811b58000000b003493a04f7ccmr15798012ywb.391.1663235546839; Thu, 15 Sep 2022 02:52:26 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a81:99c4:0:b0:349:d173:3c0c with SMTP id q187-20020a8199c4000000b00349d1733c0cls1319954ywg.4.-pod-prod-gmail; Thu, 15 Sep 2022 02:52:25 -0700 (PDT) X-Received: by 2002:a81:9290:0:b0:349:cca9:a633 with SMTP id j138-20020a819290000000b00349cca9a633mr4494294ywg.33.1663235545718; Thu, 15 Sep 2022 02:52:25 -0700 (PDT) Received: by 2002:a81:6cd:0:b0:348:f7a9:8bcf with SMTP id 00721157ae682-349b0c71c56ms7b3; Wed, 14 Sep 2022 19:28:34 -0700 (PDT) X-Received: by 2002:a81:4e89:0:b0:348:8bd5:a1ff with SMTP id c131-20020a814e89000000b003488bd5a1ffmr27441092ywb.46.1663208913771; Wed, 14 Sep 2022 19:28:33 -0700 (PDT) Date: Wed, 14 Sep 2022 19:28:33 -0700 (PDT) From: Inna Zakharevich To: Homotopy Type Theory Message-Id: Subject: [HoTT] Position at Cornell, Deadline October 1st! MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1200_1960924524.1663208913536" X-Original-Sender: zakharev.work@gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , ------=_Part_1200_1960924524.1663208913536 Content-Type: multipart/alternative; boundary="----=_Part_1201_2018755488.1663208913536" ------=_Part_1201_2018755488.1663208913536 Content-Type: text/plain; charset="UTF-8" Hello everyone, I wanted to draw your attention to an open position at Cornell. We are hiring broadly, with three open tenure-track positions, and one of our focus areas is logic. We were hoping for a broad pool of applicants, and I wanted to draw this community's attention to the positions. https://www.mathjobs.org/jobs/list/20442 The Department of Mathematics at Cornell University invites applications for three Assistant or Associate Professor positions, starting July 1, 2023. We primarily seek mathematicians in the broadly construed areas: Algebra, Dynamics, Logic, PDE, and Probability; exceptional candidates in other fields will also be considered. Successful candidates are expected to pursue independent research at Cornell and teach three courses per year. A Ph.D. in the mathematical sciences is required. Applicants must apply electronically by submitting the following materials: - Cover letter - Curriculum Vitae - Teaching statement - Research statement - Diversity, Equity, and Inclusion statement ( https://facultydevelopment.cornell.edu/statement-of-contribution-to-diversity-equity-and-inclusion-for-faculty-applicants/ ) - Four reference letters, including one that addresses the candidate's teaching experience at http://www.mathjobs.org. Deadline is October 1. Diversity and Inclusion are a part of Cornell University's heritage. We are a recognized employer and educator valuing AA/EEO, Protected Veterans, and Individuals with Disabilities. We also recognize a lawful preference in employment practices for Native Americans living on or near Indian reservations. We actively encourage applications of women, persons of color, and persons with disabilities. Cornell University embraces diversity and seeks candidates who will contribute to a climate that supports students, faculty, and staff of all identities and backgrounds. We strongly encourage individuals from underrepresented and/or marginalized identities to apply. Best, Inna -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/e066d383-f80a-4177-88b8-a43deebda103n%40googlegroups.com. ------=_Part_1201_2018755488.1663208913536 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello everyone,

I wanted to draw your attenti= on to an open position at Cornell. We are hiring broadly, with three open t= enure-track positions, and one of our focus areas is logic. We were hoping = for a broad pool of applicants, and I wanted to draw this community's atten= tion to the positions.

https://www.mathjobs.or= g/jobs/list/20442

The Department of Mathematics at Cornell University invites applications for th= ree Assistant or Associate Professor positions, starting July 1, 2023. We prima= rily seek mathematicians in the broadly construed areas: Algebra, Dynamics, Logi= c, PDE, and Probability; exceptional candidates in other fields will also be considered. Successful candidates are expected to pursue independent resear= ch at Cornell and teach three courses per year. A Ph.D. in the mathematical sciences is required.

Applicants must apply electronically by submitting the following materials:

at http://www.mathjobs.org= . Deadline is October 1.

Diversity and Inclusion are a part of Cornell University's heritage. We are a recogni= zed employer and educator valuing AA/EEO, Protected Veterans, and Individuals w= ith Disabilities. We also recognize a lawful preference in employment practices= for Native Americans living on or near Indian reservations. We actively encoura= ge applications of women, persons of color, and persons with disabilities. 

Cornell University embraces diversity and seeks candidates who will contribute to a climate that supports students, faculty, and staff of all identities and backgrounds. We strongly encourage individuals from underrepresented and/or marginalized identities to apply.


Best,=
Inna

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.c= om/d/msgid/HomotopyTypeTheory/e066d383-f80a-4177-88b8-a43deebda103n%40googl= egroups.com.
------=_Part_1201_2018755488.1663208913536-- ------=_Part_1200_1960924524.1663208913536--