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 32639 invoked from network); 14 Mar 2023 10:45:16 -0000 Received: from mail-pf1-x438.google.com (2607:f8b0:4864:20::438) by inbox.vuxu.org with ESMTPUTF8; 14 Mar 2023 10:45:16 -0000 Received: by mail-pf1-x438.google.com with SMTP id z19-20020a056a001d9300b005d8fe305d8bsf8306912pfw.22 for ; Tue, 14 Mar 2023 03:45:16 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1678790715; cv=pass; d=google.com; s=arc-20160816; b=z1GFkoL9EuIwFZwrhYQcdDImfh+Y2BE+zPkEMwUzJFhBdGEcwStvAnORrFpr1XKkfY P+46LFUj6jvARYdzWQwRdZAIOm4AZ8OurroqETUmbM7bLcHq5c8REDf+9cDP6Nat7/61 JS/NWD1RwQ18gW+jujFyfa+9N+6juerToZu5276cFVToE0SNVnxNet2p1OPOk1tS5lJ6 RCLKhIydTixJgke8taLN+0spJ/3vkWNGeiTR0gvyLZifBkFnpjGk5iL+mq04dmjs0TMD g2EslGcZ+Bu0hElsr6Jw83yRO6oLJmq2swxREJeEvQRBS1l7qCKAF+9mOIYt5HcT8zIb gRNQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe: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=PNi8XBgB11oxFM9fhF0ZzrFY4LZlvdStqItSV/FMluo=; b=VvRNuu7Ogx1hn3CzCNmLrRnSHLXTOq5+lzZqpYPm7Zi6Wr7eJPHX8LYUhMIfMZg8Qj WdcIVNJxljmurIaDtwl8rpOR/oR28nHYlyG4DWhWgFWFoQJJrqW0OXyH6F3jGyjqHoL8 IZ+tQdp/jNGyRg+XYO/paZwvcfwhYywbYVs/OqXe3m3BbRMcI0j6xvlVMff/KSWmFkfN e0klPAuMhYftN4+rhA+gilJeH89fLHq6byecYLTwMEsBPhidUhX1fGKmMJ/9gaJx7/IF QLFL0gEQ1IsLeStPgyJPQrfAIsFh1yHw6decWOURjZ2ukGtE7z9gK8aGc1EBw9JS5t1M fDig== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=B2SLakl4; spf=pass (google.com: domain of anstenklev@gmail.com designates 2001:4860:4864:20::2d 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=20210112; t=1678790715; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version :sender:from:to:cc:subject:date:message-id:reply-to; bh=PNi8XBgB11oxFM9fhF0ZzrFY4LZlvdStqItSV/FMluo=; b=Ay1C6yPeKOY51hYvlwXVInbp3R6kgS7Vn5PwNw8225wG9nOEpOKETHgYV5afiDfZQL Nt8oSZ+GRT6RRfF/0XRFRUEVDPCYHsETykLyUJoc+mzbX1Q17e54WswsMSyzrbLlXva0 P4FmX5gEnMjfp0gLksqEzRo4f4d64pPFVMaO8g7Mghryf3Roc/l1ziP377crlp4nYFY1 2XmvbTUpfC+vrrKXaSmJ8XFIZNcLt/ZeRWCafA9Gb3mwNwLV9XDvmrN41JJlqVRxv5rv VAaBUly2K+FtbMZDCl8Ns0pm8tW2COl/fQgUFMBhg1yIVystjfKhKqR1tcYLT3RuC9G0 IANg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1678790715; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version:from :to:cc:subject:date:message-id:reply-to; bh=PNi8XBgB11oxFM9fhF0ZzrFY4LZlvdStqItSV/FMluo=; b=heqXtSJH6ypTpzLTjjfOqrpgrXtjFfEPFwLyzx/uNENQArsbc1Q3wG6zvrrkX4lsb0 Ir9tMaPzWMYiPhe0OzIPNd3hSjAXbDsfa6DszY4C/uqp2UWDjb36IMeGSif0ANAIaH48 UWSDGVgHIFaGdtblXg6WtT+pJecYV7jglW5VLgKxQzpIOMM5nkZwUSBfgo4SAwL4uqXa mzwNHzSY2Meh41t3GPAckrVlHAN4ALC3CuJrxYDCQynMkjRsLFt06C3YouqCLt5pf6Bt /4UC6uFCa5MMbYRAyYD2dq3QFs23sdFCDcRgxksOkXLaubuHCa9JB+of/GKJ93uL1eGM Csww== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1678790715; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:to:subject :message-id:date:from:mime-version:x-gm-message-state:sender:from:to :cc:subject:date:message-id:reply-to; bh=PNi8XBgB11oxFM9fhF0ZzrFY4LZlvdStqItSV/FMluo=; b=lQ7uow5SVbS355FVQQfgaRyyz6ZLurXXiAip4O+nlp95/8u0RezFfgjThOIw7gC3fT LjRPB//JvP4hepruPc3yKfKzDVOoweIkQZdEy5SrnJ6+DN5SW2Q36AXj8MsnE58swSIs C9cDlm63j1UgcfreoQLUSm01VGw2wyEQPtswqgxbsINMwsrags3zOROXjzEBN5cnOEDp 20cLHlo+8JOg0aXmuSm0oUwcEcgJpLF1PTTqYvTObUAY7nTwbJHS5olDuyvptwJOOkp2 V4+/aNthng8v0METug3dVyPBM/P7J6TGmiQAoyWvKwSBBGmDN0LGUTNqW2Twdh12nUVt q4sA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AO0yUKVrs9ZmAwq5g5Ov9k5YVxYBpeSF+tBVqCuXYA5+ql6qwQlff5h7 2PjpBgtEW87deEwF/aCvWXQ= X-Google-Smtp-Source: AK7set9SHobcdWa5DDl/FwyIjahZbdFIZwNbOGRleVp47ntGung3nojC/kbaed8k3d5BD2Fk4o66FQ== X-Received: by 2002:a17:90a:cb94:b0:23c:fd83:1bbb with SMTP id a20-20020a17090acb9400b0023cfd831bbbmr2439417pju.8.1678790715102; Tue, 14 Mar 2023 03:45:15 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:90a:7ac8:b0:23d:3f08:4703 with SMTP id b8-20020a17090a7ac800b0023d3f084703ls905168pjl.1.-pod-canary-gmail; Tue, 14 Mar 2023 03:45:13 -0700 (PDT) X-Received: by 2002:a17:90b:2318:b0:23b:3662:11ef with SMTP id mt24-20020a17090b231800b0023b366211efmr10724914pjb.36.1678790713270; Tue, 14 Mar 2023 03:45:13 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1678790713; cv=none; d=google.com; s=arc-20160816; b=C2G48oVJisQsAVM44bD71Ky9tDVKRJh/0cBcRDgsYrYWHqRnoNabSbGygr1/OfCIhu K/2lgGfmZHHb8KJKMb5z6WuJHkcQ+F+IW/rKtwTvHBPCkYJkG4o9VFR+BYVI1YJngevZ LsZXDtBzJyTgKv4PsbdRMxkdmtG3bpEPfTqE//tkYLPt2byUxgsEzWXsaPUJp6/swQVq Rld6RfDgBGQid0i8wd9yZCHqQ4ZMESZlDKpqKDhlDuCycW6ObwYNvH5btCMDiQDjwdXh zdpqOubmV20eQ3vzHOXd7lTq9Vzbv3fGjBuKy755km4IgGS+9fBlYnOl5hskr3KY/7SG ovEw== 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=++flvt5/qDnQuQqh3dEHaUPMMKcaoMeuM13MQ3HeKUg=; b=RjmI3VOmbj0r+LsXZvDia3nXDjP4ln7V/ZOhHu2Vuq87knNWWGTl+zvuntynBtLj/M B7Xm8D6usbnkZ2OcqDMGy/4z/JwangMUID20Gq9QWSCKjbLFMVDxJfAfvkrClKYoeVWI 5kbrvQzrAbScIo8iMGy/YyhWPxwLzue4MqDKN9ThGo6LkuFmuI+6NIUBsu6koUMuAyzT O5/XSUFTTgacEhPZnn9bRhvr6xEMoWot3KO8WSK3XDu9idmS6RdnmcTiPPvH1crXnrLf bmty1yXjxGeNYiXD7F0Wpy0Hu121nf+MQQW0SzAlF/SmHSDcYrHdEiU2GDr1Ca0EzfvT dqoQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=B2SLakl4; spf=pass (google.com: domain of anstenklev@gmail.com designates 2001:4860:4864:20::2d as permitted sender) smtp.mailfrom=anstenklev@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-oa1-x2d.google.com (mail-oa1-x2d.google.com. [2001:4860:4864:20::2d]) by gmr-mx.google.com with ESMTPS id pw13-20020a17090b278d00b0023d1e5feec0si85564pjb.0.2023.03.14.03.45.13 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 14 Mar 2023 03:45:13 -0700 (PDT) Received-SPF: pass (google.com: domain of anstenklev@gmail.com designates 2001:4860:4864:20::2d as permitted sender) client-ip=2001:4860:4864:20::2d; Received: by mail-oa1-x2d.google.com with SMTP id 586e51a60fabf-1755e639b65so16819649fac.3 for ; Tue, 14 Mar 2023 03:45:13 -0700 (PDT) X-Received: by 2002:a05:6870:4949:b0:177:cead:945c with SMTP id fl9-20020a056870494900b00177cead945cmr1694445oab.6.1678790712660; Tue, 14 Mar 2023 03:45:12 -0700 (PDT) MIME-Version: 1.0 From: =?UTF-8?Q?Ansten_M=C3=B8rch_Klev?= Date: Tue, 14 Mar 2023 11:44:46 +0100 Message-ID: Subject: [HoTT] Postdoc positions in Prague To: homotopytypetheory@googlegroups.com Content-Type: multipart/alternative; boundary="0000000000001497e505f6d9ec05" X-Original-Sender: anstenklev@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=B2SLakl4; spf=pass (google.com: domain of anstenklev@gmail.com designates 2001:4860:4864:20::2d 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: , List-Unsubscribe: , --0000000000001497e505f6d9ec05 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 July 2023. Given the aims of the project, the candidate should have an interest in exploring philosophical aspects of Martin-L=C3=B6f type theory. Previous familiarity with this or a related system, such as homotopy type theory or the calculus of constructions, is an advantage, but not a prerequisite for applying. A 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 April 16. Applications should be sent to Kate=C5=99ina Krusov=C3=A1, krusova@flu.cas.cz, including a copy to Ansten = Klev at the above address. The application should consist of a CV and a brief (1-2 pages) description of the research the applicant plans to carry out while in Prague. The monthly gross salary of CZK 43 200 is well above the current Czech average. Year-end bonus and meal vouchers come in addition. The project also provides money for travel and for inviting guest speakers. The Czech Academy of Sciences is a research institution organized into institutes. The Institute of Philosophy is in turn organized into departments. The postdocs will be affiliated with the Department of Logic. --=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/CAJHZuqYSx_Zp4KF1TShj8CZ4%2BNUyO%3DsiG8f%2BU7P0sSoAyamo1= g%40mail.gmail.com. --0000000000001497e505f6d9ec05 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 tha= t in some way contribute to this overall aim.=C2=A0

Both positions last for 30 months and will start in July 2023.
=
Given the aims of the project, the candidate should have an = interest in exploring philosophical aspects of Martin-L=C3=B6f type theory.= Previous familiarity with this or a related system, such as homotopy type = theory or the calculus of constructions, is an advantage, but not a prerequ= isite for applying.=C2=A0

A detailed descript= ion of the project is available upon request from Ansten Klev, who will als= o attend to any questions applicants may have:=C2=A0klev@flu.cas.cz.

The deadline for applying is April 16. Applications should be sent t= o Kate=C5=99ina Krusov=C3=A1,=C2=A0krusova@flu.cas.cz, including a copy to Ansten Klev at = the above address.=C2=A0The application should consist of a CV and a brief = (1-2 pages) description of the research the applicant plans to carry out wh= ile in Prague.=C2=A0

The monthly gross salary = of CZK 43 200 is well above the current Czech average. Year-end bonus and m= eal vouchers come in addition. The project also provides money for travel a= nd for inviting guest speakers.=C2=A0=C2=A0

The Cz= ech Academy of Sciences is a research institution organized into institutes= . The Institute of Philosophy is in turn organized into departments. The po= stdocs will be affiliated with the Department of Logic.=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= ://groups.google.com/d/msgid/HomotopyTypeTheory/CAJHZuqYSx_Zp4KF1TShj8CZ4%2= BNUyO%3DsiG8f%2BU7P0sSoAyamo1g%40mail.gmail.com.
--0000000000001497e505f6d9ec05--