From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-ot1-x33e.google.com (mail-ot1-x33e.google.com [IPv6:2607:f8b0:4864:20::33e]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 850bb7a2 for ; Wed, 23 Oct 2019 10:49:11 +0000 (UTC) Received: by mail-ot1-x33e.google.com with SMTP id f11sf4002465otf.9 for ; Wed, 23 Oct 2019 03:49:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=j1cJ1tqsauUKoTSVDcKZdTGCmpJmD64+x3yhmoVFqgA=; b=DfrN/gOfQYTWxRX23TkHLStc8BCWf3b53xJCoXX83ePoDUbdji3Ifz3nA5fTki+hmE Rpcnt3BzjA0gzI5Ma8nEUqi6iKerYYSgAtCQFGSxTBIaqbffb93yjH+SBEKK72KkYhWV S4761yIlgFdiFmp+CrJ5jx7DgaWJpHsN33a1mCqWKUHr5FOt3nHJODekQ4jruwuP5fUl RRJUGbXvqYN1CVy570QLZFsDG5beQ29yY3APCY37Hyce4UxXoD98oFSMXl7SdH6CzfYw TIX36X0ELICK5o+eGH0Hr88+F1YxdIS8O53OwS8qrZCGjbwyhqlrrFLE2fjCnj59t7M4 vL8Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:subject:mime-version:x-original-sender :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=j1cJ1tqsauUKoTSVDcKZdTGCmpJmD64+x3yhmoVFqgA=; b=ikmV8ZNuZHvB4803QlF+xPjm4cUf433solmFpALwogt8cEavA+cXngaiLEeC3pOxjC ml5jcmbMdJmPc/PPFRohF1OifM7uyqwX4qh0nJec+SkpVfwnx+zFDNA15htqh9jIkB2i e2OXlbYRdxYfJblStMTrVq4fP2OFgr6U7eXU5G7LhbZcSYacPkmOmjtL8I0xXFtPN3KT W4dw8v+NTb7F0NxN1lgk6hxveuik79UGhiY7IoAK41XYTvzfwJ2XABkUu+BzvkojsThC 5AXLn7jivJKgR9KDIWssk875bqwMaf/U2D6m7Fms0BAFIHK3g54obseA708ApayCiXfB LnKA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:date:from:to:message-id:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=j1cJ1tqsauUKoTSVDcKZdTGCmpJmD64+x3yhmoVFqgA=; b=Y7tmeEOEA6H5QmznacO//lXYWPN1FajOzHnEWc5A0sTiG+Ie1IZb52E5Gt/CWpwzQp L8NPXUii7hQzY+28qkkz2d/KmCMYOPyUs82udjfbmvovEoYyYc0vD4/leMeo7mhF1Lmi rEEm9cmB5v8A9cEMtgzxWyQ87wbbQ6es+tE/+DmocWz4GoK/sPM76qw/0Dkv5D4UDCgd Wj/pVpqBeIHWyEHMdaPZ8rnZ/17eTp99pHu9nXNsD1qYHUGQgCF7vE5wQGj6m3vxCkXp KT1pUfA+iy6vrdUBnsNY5jHVG9Cw2CDcHWKNCnZe6KXkl3rR+q2t9ju/d082Ztj6JPyv KdMw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAXzWth1lRgF8K5URHVBAeZmRH0dISgtCCo/Kr9u8g7wfF/QSzSZ jW7aX1NTwar+D6zzu9dcEis= X-Google-Smtp-Source: APXvYqwOAJKxJJWEgz51bsP1BVhXACjCdD9qeLhkaluefmpinsE8EAUfYWh7bl6QFqgfPtkaphVHBA== X-Received: by 2002:aca:2208:: with SMTP id b8mr7305132oic.177.1571827750890; Wed, 23 Oct 2019 03:49:10 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:126:: with SMTP id 35ls602561otu.15.gmail; Wed, 23 Oct 2019 03:49:10 -0700 (PDT) X-Received: by 2002:a9d:39a1:: with SMTP id y30mr6788402otb.144.1571827750301; Wed, 23 Oct 2019 03:49:10 -0700 (PDT) Date: Wed, 23 Oct 2019 03:49:09 -0700 (PDT) From: Benno van den Berg To: Homotopy Type Theory Message-Id: <246b0f8b-518c-42c2-80d3-9ccdd1dc176a@googlegroups.com> Subject: [HoTT] Two tenure track positions at the math department in Utrecht MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_3180_1745205724.1571827749259" X-Original-Sender: bennovdberg@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: , ------=_Part_3180_1745205724.1571827749259 Content-Type: multipart/alternative; boundary="----=_Part_3181_586296048.1571827749259" ------=_Part_3181_586296048.1571827749259 Content-Type: text/plain; charset="UTF-8" Dear all, I forward this message from Jaap van Oosten. Best, Benno ========================= Dear colleagues, The mathematics department of Utrecht University invites applications for two (tenure track) assistant professorships. Although the ad stresses algebraic and differential geometry, candidates from research areas in logic with clear connections to geometry (in particular model theory, category/topos theory, infinity categories, HoTT) will also be considered. For job description and application form, see https://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/Vacancy.cfm?PortalID=4124&VacatureID=1066478&Vacancy=Tenure%20Track%20Assistant%20Professor%20in%20Pure%20Mathematics%20%280%2E8%20%2D%201%2E0%20FTE%29#top Jaap van Oosten -- 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/246b0f8b-518c-42c2-80d3-9ccdd1dc176a%40googlegroups.com. ------=_Part_3181_586296048.1571827749259 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

I forward this mes= sage from Jaap van Oosten.

Best,

Benno

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

= Dear colleagues,

The mathematics department of Utrecht University invites applications for <= br> two (tenure track) assistant professorships.

Although the ad stresses algebraic and differential geometry, candidates from research areas in logic with clear connections to geometry (in
particular model theory, category/topos theory, infinity categories, HoTT) =
will also be considered.

For job description and application form, see

https://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogi= n/Vacancy.cfm?PortalID=3D4124&VacatureID=3D1066478&Vacanc= y=3DTenure%20Track%20Assistant%20Professor%20in%20Pure%20Mathemat= ics%20%280%2E8%20%2D%201%2E0%20FTE%29#top


Jaap van Oosten

--
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.co= m/d/msgid/HomotopyTypeTheory/246b0f8b-518c-42c2-80d3-9ccdd1dc176a%40googleg= roups.com.
------=_Part_3181_586296048.1571827749259-- ------=_Part_3180_1745205724.1571827749259--