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 autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 18419 invoked from network); 4 Sep 2020 07:31:13 -0000 Received: from mail-wm1-x33a.google.com (2a00:1450:4864:20::33a) by inbox.vuxu.org with ESMTPUTF8; 4 Sep 2020 07:31:13 -0000 Received: by mail-wm1-x33a.google.com with SMTP id x6sf1865047wmb.6 for ; Fri, 04 Sep 2020 00:31:13 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1599204671; cv=pass; d=google.com; s=arc-20160816; b=uzvIZzW8JlY92lQteAP0D0jifCsgItoyyRPBA5nEgqNoDIb3aF1rkevgZmQBGLW6tZ 1JckWRWIc4BKqGCz+ba4G01sE7g/0PRiWV+mZ7F3MBJTRRBb6zBVnN8bwBB2JyZnQ0GM vEk+ptxiNrTfyoJt39r/omM8OS/Y0HacuyxmG1skCXd1tcztba/gOrVp+sUoJCyqW99+ cKrtvETFw+OqCYvzXkg5CKajTEtrXb+mZka+6FT3H6pVh8tvm7tbTAq50HUeLIrJxThN ZRv/ZbYxOPPJzyEU5zaxZLZ3JFA7fL6Rav3YSg5ksRJgKqkIFgsexmJY5A/NfzMh1uWG IC3Q== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=qVJzD55Hrx3BuirbiuIinPqVVI5I57HVt/p6qfcQTGo=; b=apbyfwWKNFF0jEyk9gMkPm0P0sOxghtQAG6HJ5ls3cjj5CpJrc7Cuh2rvNv/pXHjIk OQyN/xx+wpvP+VdTo08rTZgA3rmcjn6/qA5CFwfWu86++r4kxh30LZzIwwU4d/hiotdT zLeUKt5b3HNLq75hCwpNYRB85+ClS45FKucaVI1jqhEomntsGvG1t8A4AvgPU2XXIRqk kGrqfuWPciZlr942NWUSgtp2Cks5B4hJsT+0IcY3ghrr+IPLozOfuQ90b2naxhkh2H1Y BluZlHXv0fIVlcALuokZ5cki2LhjOxqgAa6PS5iZihB9vONNul2oaQJMC1I2on7ko2jy /s1Q== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=W1pyD8LG; spf=pass (google.com: domain of anstenklev@gmail.com designates 2a00:1450:4864:20::52e as permitted sender) smtp.mailfrom=anstenklev@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:mime-version:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=qVJzD55Hrx3BuirbiuIinPqVVI5I57HVt/p6qfcQTGo=; b=AUUq62+/iWJ9Ocm0H/Q6RaGsbWJZlxkB/p1uAa0j/1TfuIAXCPunK32bs3smt4spcY xydcIjk6A5Gn5CG887vYGt9T+awOIabZl6XIy9gU2aABL75taINxCet85867xOMy24zU xt8ATyTPNNfGgm8Lln42Brpm3JHcUZUMSQ0mqajvZc7GYkeE0Jnefzebr4pxt2RDtQpX bPNgLQjEDLSKdvW8U48Pyzuhi5IBngemCgzxAWw9qpFgRB7pgJX2E6J93d4ZFVCRd+PI J9bdgYZGJPsOdSf9Fl3z0qKHOlMoFoJNb7J0vyzLsug7pA5OB/yOF8+mzebf2NSZ1BMT Zeig== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=qVJzD55Hrx3BuirbiuIinPqVVI5I57HVt/p6qfcQTGo=; b=RSxb/XOFG3+oUNM0oifzELnXOhQDM175eq/XRSCqbOYEPX4MPevTjDOXtROTRMwK78 D5U7dtyHsxqi9IzKkb5Ad8f149AaDdFVGz8CseGIKyGMZlOZkLPMGlFTeD/+HJycR1QX qvQwFSmsmb+Afwki5dHvH+9pWntl5ldRutIjdZT0eSB1xczx/EDfTBCI5XwThGhOIr/s ZxcEHzu68NDzn+YD+IfPzHzSeDNv6ylVfAmc2qYmszAiFaa0LYnk4dmerKpMCPICTFpH HXRIehe67ed+iCmNdXFYg6zawgKJih74kG+aZNh65Jij9RlpqMVITV4DgxcMhwc6I1QT QjzQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to:x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-unsubscribe; bh=qVJzD55Hrx3BuirbiuIinPqVVI5I57HVt/p6qfcQTGo=; b=l+7HLhJQVCSau8rPxZpSS+e2K++Nh0hlXgV6MUtjxnzPz/J2Exz7ET8p1kFbUqTYlF IJ8SqpJ2nXlZuImhPZUr6Wde6sioOTDFgxfcrGVKlCdEtr6nN60gFOCP01d+eUdzYdCs +kygjNtpJSAVniAPeUlFrV94VF+CG8w125Y2nTDGWfgiwAVET9wR3bmhQ8QtEFkuatbd 8XZrYKEXS9pc5ftIQdPD7ZThhjW73KehB0GnaRLrUUcYh9CF1fPI/pyTWP7Tsm3i6bjE 7I8/NhM3kSWn4ixn0XkEkPaz/WObsLvNmNogG9JSxPrqRqJJFBbDFDjthnlOG4m3xr1x eGWQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM531DbxM7JEdCqSLXoljNsVf1uEO/mNXl7h0xjXp4HRbRSIguxM/O t/ywqh9ykRVgn6WwWK4Mh6Q= X-Google-Smtp-Source: ABdhPJy749zNaP0HyA39jYglrIWIC2k2i//MqpH+3Rh67phP+0KMUdNCJrx0Rbp8OxRm4VqkhEcjUg== X-Received: by 2002:a5d:6b84:: with SMTP id n4mr6684832wrx.55.1599204671446; Fri, 04 Sep 2020 00:31:11 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a1c:c2c1:: with SMTP id s184ls4047344wmf.2.canary-gmail; Fri, 04 Sep 2020 00:31:10 -0700 (PDT) X-Received: by 2002:a1c:1b43:: with SMTP id b64mr6487338wmb.6.1599204670855; Fri, 04 Sep 2020 00:31:10 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1599204670; cv=none; d=google.com; s=arc-20160816; b=lYUIaEJsYGfOptj5Jx/A4fri2UT+M0cKoVWzRQicDT/4n8r4Ggo2Ru4C6DCuPKJy+y 1KZqWULi4quZvGwPkmvKNG9sLZXG/M6KOINb9DqD5lIayHP8KhSllAX21Ewxf1FwuQ9o HdpViuz4mTo9yOUTcSLo/EzznLA+078TEC42j5qZG+uELck+ZQP3nkwbnHwtavLFFUAi DhFCnXdbu/lu2PEFR7B3aLocXrYO4zMyLknEmjofFh4tB6075HURJ9InzVNVETb+frCp vagsHYoFK7VVFBJuGV0KTmlzgcPQwo95brgKhkzccJjxfL89NRhN2a9pyzAduEUlf5Ls 6R2w== 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; bh=DCSO0GE0m33HL8V6hY5fOyHf3WDS9B1VEIxgnNuEBx8=; b=ZnlbbJxKICDkxrlX0t7H8L9rjZn+S0+GgcBs9aCjVSdNNHv6dfvzbU5FA9BsyDlT42 vkdC6Zrk8a6wOrvjA/62dB6OLirT1qCbFuUER1qKysDng/Sd6/FHeBFLaOC9l/ZIzCXg LWbdwMRenpq732UsMg9Y2lfOYk0OPLv7rRyhIRayJq9gTpPJfnXGhnZyppf4KSNNH19u viOeaVzfU4yJPB0GUZTXoyycH1BrGM/rFNZq+fhy2wIXtJY3O3JKRjElVX7EEcFZRONE fbsBlLGvhLTbWAEfmZf4KP2ELDHPQnhuCvAnTOa8FaF15ubNCWgF4e6jI5/FULM/s4Ii pvbQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=W1pyD8LG; spf=pass (google.com: domain of anstenklev@gmail.com designates 2a00:1450:4864:20::52e as permitted sender) smtp.mailfrom=anstenklev@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ed1-x52e.google.com (mail-ed1-x52e.google.com. [2a00:1450:4864:20::52e]) by gmr-mx.google.com with ESMTPS id w6si295913wmk.2.2020.09.04.00.31.10 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 04 Sep 2020 00:31:10 -0700 (PDT) Received-SPF: pass (google.com: domain of anstenklev@gmail.com designates 2a00:1450:4864:20::52e as permitted sender) client-ip=2a00:1450:4864:20::52e; Received: by mail-ed1-x52e.google.com with SMTP id c8so5151449edv.5 for ; Fri, 04 Sep 2020 00:31:10 -0700 (PDT) X-Received: by 2002:a50:99d5:: with SMTP id n21mr7209103edb.88.1599204670372; Fri, 04 Sep 2020 00:31:10 -0700 (PDT) MIME-Version: 1.0 From: =?UTF-8?Q?Ansten_M=C3=B8rch_Klev?= Date: Fri, 4 Sep 2020 09:30:44 +0200 Message-ID: Subject: [HoTT] Postdoc positions in Prague To: homotopytypetheory@googlegroups.com Content-Type: multipart/alternative; boundary="0000000000004d043705ae77da42" X-Original-Sender: anstenklev@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=W1pyD8LG; spf=pass (google.com: domain of anstenklev@gmail.com designates 2a00:1450:4864:20::52e as permitted sender) smtp.mailfrom=anstenklev@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=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: , --0000000000004d043705ae77da42 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The Institute of Philosophy of the Czech Academy of Sciences welcomes applications for two full-time postdoc positions. The two postdocs will work within a project led by Ansten Klev on type theory and the philosophy of mathematics. The main aim of the project is to develop a philosophy of mathematics for Martin-L=C3=B6f type theory. The postdocs wil= l pursue research programmes of their own that in some way contribute to this overall aim. Both positions last for 30 months and will start in January 2021. In the first part of this 5-year project emphasis will be placed on developing an inferentialist meaning theory for mathematical language. We are especially looking for researchers who fit at least one of these two descriptions: 1. You are well acquainted with inferentialism in at least one of its incarnations (proof-theoretic semantics, the Brandom tradition), and you are interested in extending the programme to the language of mathematics. If you are not already familiar with Martin-L=C3=B6f type theory, you are willing to learn the basics of the system after arriving in Prague. 2. You are well acquainted with the technical aspects of Martin-L=C3=B6f ty= pe theory and are familiar with Martin-L=C3=B6f's meaning explanations. You mi= ght even know some homotopy type theory and have thought about how the meaning explanations fare within that or other extensions of Martin-L=C3=B6f type theory. A more detailed description of the project is available upon request from Ansten Klev, who will also attend to any questions applicants may have: klev@flu.cas.cz. The deadline for applying is October 15. Applications should be sent to Olga Ba=C5=BEantov=C3=A1: bazantova@flu.cas.cz. The application should cons= ist of a CV and a brief (1-2 pages) description of the research the applicant plans to carry out while in Prague. --=20 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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CAJHZuqZGaZcfb7d8xFpR9Fju_DoRZCxY9EVHNHGUGcve90V_sA%40ma= il.gmail.com. --0000000000004d043705ae77da42 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
The Institute of Philosophy of the Czech Academy of S= ciences welcomes applications for two full-time=C2=A0postdoc positions. The= two postdocs will=C2=A0work within a=C2=A0project=C2=A0led by Ansten Klev = on type theory and the=C2=A0philosophy of mathematics. The main aim of the= =C2=A0project is to develop a philosophy of mathematics for Martin-L=C3=B6f= type theory. The postdocs will pursue research programmes of their own th= at in some way contribute to this overall aim.=C2=A0

Both positions last for 30 months and will start in January 2021.=C2= =A0

In the first part of this 5-year project empha= sis will be placed on developing an inferentialist meaning theory for mathe= matical language. We are especially looking for researchers who fit at leas= t one of these two descriptions:

1. You are well a= cquainted with inferentialism in at least one of its incarnations (proof-th= eoretic semantics, the Brandom tradition), and you are interested in extend= ing the programme to the language of mathematics. If you are not already fa= miliar with Martin-L=C3=B6f type theory, you are willing to learn the basic= s of the system after arriving in Prague.
2. You are well acquain= ted with the technical aspects of Martin-L=C3=B6f type theory and are famil= iar with Martin-L=C3=B6f's meaning explanations. You might even know so= me homotopy type theory and have thought about how the meaning explanations= fare within that or other extensions of Martin-L=C3=B6f type theory.=C2=A0=

A more detailed description of the project i= s available upon request from Ansten Klev, who will also attend to any ques= tions applicants may have: klev@flu.cas.cz.

The deadline for a= pplying is October 15. Applications should be sent to Olga Ba=C5=BEantov=C3= =A1:=C2=A0bazanto= va@flu.cas.cz. The application should consist of a CV and a brief (1-2 = pages) description of the research the applicant plans to carry out while i= n Prague.=C2=A0



=


--
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://gro= ups.google.com/d/msgid/HomotopyTypeTheory/CAJHZuqZGaZcfb7d8xFpR9Fju_DoRZCxY= 9EVHNHGUGcve90V_sA%40mail.gmail.com.
--0000000000004d043705ae77da42--