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.0 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE, URIBL_SBL_A autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 21989 invoked from network); 26 May 2021 18:45:58 -0000 Received: from mail-lj1-x240.google.com (2a00:1450:4864:20::240) by inbox.vuxu.org with ESMTPUTF8; 26 May 2021 18:45:58 -0000 Received: by mail-lj1-x240.google.com with SMTP id x26-20020a2e9c9a0000b02900eaf62d380esf924646lji.2 for ; Wed, 26 May 2021 11:45:58 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1622054757; cv=pass; d=google.com; s=arc-20160816; b=T+rGX80hvAUn5XbO8IaF+MSRwK+lNyGSw3FyTRmZ4Z8tCt7Fi+0ionDzF7BzLncTA4 bPpnJwSPmb0XenY/I3oR85TTSw7NJw2JWLvKzlAyC8rNfTbSFcsznTfTuyIQrvrBzYPo Fmmo5q7ZCRflnxAVAOdEGDfq9Fhv5uAp9JdIiUweYJDQH5xrJ8Zk7duF7CSSC52iegS8 aKYwVaiKjTWNd329QifrsD0WGULihsVKJhrRUIK7fOL+0rXXpB4lFUWGFR5yM2fOgEu0 Tk+xzmCSgRxZUHpf7bCsmHAuUBDUo0Uhs8RCnuR3jXsnIVuovFryEC2ZxDBfBzQDrVO1 An2g== 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:content-language:mime-version:user-agent :date:message-id:to:subject:from:sender:dkim-signature :dkim-signature; bh=N57a37sirq9y/dpJXo7G1N4Plk/eELGU8LLufWSC+TE=; b=RRQ09oF1NMhyPgXnvxSVbdIA8W+hNTD43IS8XhNJamB5Zg8wLBJbkTF8QuBHVqybQU Lb9hfqQgpPksZTmB9RChClFK1tfsdrSUc2AKlGI78JirHO1tvlwcMFIPLVLnycBbFX49 Gqz7Skypvv1DpAlXM3XEH1uyg8AceLoj1N/T0UlN6W0zhC5uuboFr84whTL/dZBCj7no dMF3pNl88aMt08SL/Dl7qzMhbg57NAPvpbEnyiFRPV3XGR3yhXIYSsw54UkTm5RKjfvS Wgsa0cLqMrEo9EpifxC6NcJcp8Nmge6949YztnMMrhpYvSLzm2vEDJJUwUHv71WlC9Oc 7YRA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="c/Az/Sd9"; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::62d as permitted sender) smtp.mailfrom=benedikt.ahrens@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:from:subject:to:message-id:date:user-agent:mime-version :content-language:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=N57a37sirq9y/dpJXo7G1N4Plk/eELGU8LLufWSC+TE=; b=px5PO//emSZb+WSeGtdAURMb8uO9oLoYMwR1V+/x750Pk4wTrJY26++beyYT8ZEAHk 23NKoXhwGlkcyrjqDgsWVZWOgoFitCszQFfEz1G5knlNlhJYGsnKahpVWY7Ek4ByzwJR fz+lWb2Jrac8z2Wr3bUj5DDIOabLtuYR68HWwcd3XZRqG15pv+WsmlsefgZKNUJLwzdN XZSQlPVEMVXYZpbTA7BnSeveXex3gvKZ0gkt5BjB9pnA++YqKI9Bf39OPf8VKNM2LCDR ccO7FAmQ+4R6zYwtXKsUX+ZD9fYqmyLk4x/4XQJXbTq/tN+GzFLATF1Z4diC1deBnldY 1z2Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:subject:to:message-id:date:user-agent:mime-version :content-language:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=N57a37sirq9y/dpJXo7G1N4Plk/eELGU8LLufWSC+TE=; b=GMfa1nlrdhKZMXpbLiWl4+C7ghtv2E5hEhOdB6jHS7CCqrw4VpntgRZep15ay81rzS 87RG3idjLNg8kkyHq+PhCn3YKSr510K72ooePCCBYrc57WPFMfRPtBEPINSk6L1i11Xf KZQDmiDuyxavIuHEmzat9/BKjVBVsvpEe3Nil8zxGcqvo923aobCuv1by7xL4maAwGlc km2kG6AybJBalfZcMFqmZSGdpyTIwn6iOS2Zz0Ed0gAOfDOYzifJYfalsaFUa0XjttbY q/DBfi0PQ7P+NAJ5TNVZLhp6wafMwjTMNX+i6w37oG36C8kQGkpqQ5XKAkw0AJLGAmm5 rlUA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:subject:to:message-id:date :user-agent:mime-version:content-language: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=N57a37sirq9y/dpJXo7G1N4Plk/eELGU8LLufWSC+TE=; b=g6xFNFHCbzzUth+wFQXQ9q8PTQ5EMakGgtcnP5L5p6uRZd5paJmImdIW567+c1uh/8 IMGNMHVWW6lnqfnycAWESK1ShDqAwYqEK0yTKI4xDfYfzeDukTv0f8EIynZU04Iww13z L2pDmLq/uY5QHYwUsIWREonvMY6iHQrTGc9Qt6ERv51ZBhTdNt2OHsi5UOuWObU9FgSe 0novczHlCaILZqkzowEnX4NuupgdP9BRCX5EOLI3ji2rQiIQdGtNe/fjYeMjoHBw7Tt9 30RudBF/Qwes9vkulL+5O8APKNw0Hx7NVmwok0H66u191IFypeb7ubqgPs5KrvpYT/kD xH9g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM532nCQ5HyPbTpSJBPljGagUz20PLnEDUz5neTH1cd0mMSgDFONoe vTJ/ENmTuZX+3tF8O8jxd6k= X-Google-Smtp-Source: ABdhPJytZEO7BgPOTXBAkywb2wNs2IdLegt1JNt5BRzW6yorTnTY9YERTGifVFRYkRpJDyvh71ZRdQ== X-Received: by 2002:a2e:390a:: with SMTP id g10mr3360164lja.80.1622054756928; Wed, 26 May 2021 11:45:56 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a2e:9806:: with SMTP id a6ls120194ljj.10.gmail; Wed, 26 May 2021 11:45:55 -0700 (PDT) X-Received: by 2002:a2e:7f16:: with SMTP id a22mr3406882ljd.360.1622054755487; Wed, 26 May 2021 11:45:55 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1622054755; cv=none; d=google.com; s=arc-20160816; b=MQ1oagOtNDrTOcNq3RN0aKE0IVLA9TKf47x1d3QRanTVlrXSfzDwRxwNw9Df1xnxnR gUj0X2RoNrGbougKxALYXBcUY+GbXbvt/fCpYZfSmLEiUusHULBm7VCChg85lsvNI1RP h5gOlGAQxQBcfXHXzfqxp/OskGDllz5Gjl8d/NqMlgoBgh9+2j8jttnJxoi/GASCcQaB yGBFa5POGuOMZfJURYaNJJGCd35Dk3rpaJ16UPhrT2VziGO/q/v063LCqbzz8TRdDD1V e9jAnnECwzSbqOXMO/5j9s8HW6Hk/BlQXc61qfd1ChRsOn4teS3d/dhPph51xZ2slFr8 w6lA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:content-language:mime-version:user-agent :date:message-id:to:subject:from:dkim-signature; bh=coUQjHIr4qCI+MDqdiNMA4G2pkuVnfkQxtutv4/S9CQ=; b=eVLP11YvHg1jKf3/e/XAB8pTDdmGn5mVuT548dFGfeWLnVxZZy0jbjmlZDLWSVQIAR 1Gx+Z6o9KLR2jYugOuzel0GTwVrvMZ0s/qt/VrkppvWOJ8vHWuhr1gAIradmv7RnHwWc z3H+Jf6ABlH5eqTgkEKhN3rK2JGT+sWU/T1E8bh0l6Xnq0jcZuaGavZNUbGoQIcjkgZ5 Poc00dOATAYlCGLsizuq+mTNfLmiGY3Hjd7+xj9+YQqC0WAJlZdFOwXPb7P2Ks+cbejw dSjmzaKh+Lzp8ehQ+B2o9csYvSBscM7Y8W2WRuZXg5Tf6lQKTfokWEqHawl5UpH41KdY XYmg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="c/Az/Sd9"; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::62d as permitted sender) smtp.mailfrom=benedikt.ahrens@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ej1-x62d.google.com (mail-ej1-x62d.google.com. [2a00:1450:4864:20::62d]) by gmr-mx.google.com with ESMTPS id c17si3284lfv.9.2021.05.26.11.45.55 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 26 May 2021 11:45:55 -0700 (PDT) Received-SPF: pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::62d as permitted sender) client-ip=2a00:1450:4864:20::62d; Received: by mail-ej1-x62d.google.com with SMTP id h20so2640866ejg.1 for ; Wed, 26 May 2021 11:45:55 -0700 (PDT) X-Received: by 2002:a17:906:158c:: with SMTP id k12mr35058390ejd.274.1622054755226; Wed, 26 May 2021 11:45:55 -0700 (PDT) Received: from ?IPv6:2001:a62:4b6:9701:f7c1:efb9:8b27:5fc1? ([2001:a62:4b6:9701:f7c1:efb9:8b27:5fc1]) by smtp.gmail.com with ESMTPSA id gt5sm31502ejb.49.2021.05.26.11.45.54 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 26 May 2021 11:45:54 -0700 (PDT) From: Benedikt Ahrens Subject: [HoTT] PhD position in HoTT/UF at TU Delft To: homotopytypetheory Message-ID: <8e3de31d-1bd7-0fd3-2192-53de73fedb25@gmail.com> Date: Wed, 26 May 2021 20:45:53 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.10.0 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Language: en-US X-Original-Sender: benedikt.ahrens@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="c/Az/Sd9"; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::62d as permitted sender) smtp.mailfrom=benedikt.ahrens@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: , A PhD position [1] is open in the Programming Languages group [2] at TU Delft, in the area of HoTT/UF. The student will be supervised by Benedikt Ahrens [3]. Information about the position is available on the dedicated website [1]. If you have any questions or consider applying, please get in touch with Benedikt (benedikt.ahrens@gmail.com). [1] https://pl.ewi.tudelft.nl/hiring/2021/phd-student-hottuf/ [2] https://pl.ewi.tudelft.nl/ [3] https://benediktahrens.gitlab.io/ -- 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/8e3de31d-1bd7-0fd3-2192-53de73fedb25%40gmail.com.