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,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 20816 invoked from network); 17 May 2021 19:44:19 -0000 Received: from mail-pj1-x1039.google.com (2607:f8b0:4864:20::1039) by inbox.vuxu.org with ESMTPUTF8; 17 May 2021 19:44:19 -0000 Received: by mail-pj1-x1039.google.com with SMTP id b11-20020a17090a800bb029015d195273d9sf232490pjn.9 for ; Mon, 17 May 2021 12:44:18 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1621280657; cv=pass; d=google.com; s=arc-20160816; b=M94wp3WokMnbZQ8wDI9zre6zLVS3WJf53f+mQVC9cAazu4GM7wU/x9IwBJTXafgPy5 WKbEPIRY4hYKGlCBW/ZuCZmC881QaEie/huZhbs9dXke/AvA5IhxeZqL3OxRafQzkuNe NXQOhwGAiHobpdJrx3wJJKCMjWLm1Kegsm3n/cKHXit7rhyVidu+sS+V+SJOJwPBmuRp TmZWoTK85LeRfPFRQOEAm+CBEG4Q6z+ao9qBZTkDZi8TanNYZq3n2PVeDF6S5d48Vz9f bM9lxKn36MdR76ccD3p1kwgC7wU+ZAQmoaS+R+bTcqu3HW8i9oa3wwV/mLA55J4yf9KD gp6A== 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:subject:from:to:sender:dkim-signature :dkim-signature; bh=uj9NxgG/ZJAAUHdhd3o/thlnK7MlqRsKPHDJwy45qOc=; b=JFFhZ6vDi7jb/F26Ghk5f1L+a3crFc61Is1v56CXe9+cXNEJFd9LfpfBRjVNEh/JZQ OiMvY9Ag8ChWAYJBDqOGu6CddJPEyji+NNK/V7SKaQdo0Bt8cYDKeYecXoc1jOegIzJU 6ZbuKx8zFfWxQQgGpuutze5BAGmDuNMhX6voIl3FG9Y45L2YsKSXFJ/aDuxFQyAHpB1/ MV+RHHCYjIlD9XHeXyyr9fi7cwWD7HreOc+OFMZKqiBt71otx4YQTT8FWrs851HSNDfn KcDBnlBX6X3o9FJLPpQLUzJaJ/vhGcSdceGVVvC9IJAgUzoTtX+07JJxpP0WgyDNYLBe rpTw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=hMwro5a+; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2607:f8b0:4864:20::82b 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:to:from:subject: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=uj9NxgG/ZJAAUHdhd3o/thlnK7MlqRsKPHDJwy45qOc=; b=tH662TGW0BrVnF6dO77RZRPxIGp9Qs9/vKm7wtyYy8O7VkQrdpmivHOZsw/jMQ+0Lm a67FsWlc9yd11b7XoEadz2qZziba2bM9UpN02Wvv+kTLUNzwofn8a4CAoS0t8ok+hvbu Pic7ek7vjJenbzf6yGBRlWp5KMpsarKStPN3vmrPAvkSdjEBXK3f/NFsFrmYAkwGQxKA DME6m1qmyEsXaHLk0OLiyRUeCiWM47YZZNiJ8g5AqhgyOv9C9f78T2jAQlsLBSE1K89s ZPqPKC8T49HKmbwfMvZnuBDHLTKrnctzmYTYDhVdA2cYJ10rCAwHF8PEUqzCVmXCLYGw 111g== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:from:subject: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=uj9NxgG/ZJAAUHdhd3o/thlnK7MlqRsKPHDJwy45qOc=; b=soxhHJFiWzPru+fONm+mGNoQtLjuNIPA8qDlAmNeleaON2q6+67AuEDy082nuwRPp7 VYjiCYPLz//64xmwJGeoPWTTP48G3Jea6eAYZqQqU2azBvGcrAu4dewaC0wvM7T9gLCQ PHzMd2mhH8SSVks4srcXfsHHJoSojbNyBAEfYGi5mRby/ZpzyvkAKMBXeeb91fBXYPi+ lH6j1F5l1a1iO4bSrvm25XkbiPfVo+5MvBU2ZdOoDhxut7Tod+0X+xUd9mFRjbEFcuyh gfEioLOYF8s5DFnurMvfPww3w+1SqDmxejh1WdGnbokqQfWgvLqign06WXGNbK3ipbZR nfvw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:to:from:subject: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=uj9NxgG/ZJAAUHdhd3o/thlnK7MlqRsKPHDJwy45qOc=; b=XXLYpPP3wXeJi/0XfPu5IIvYP7ruw9zTXE6AQ5+r7vMZfJq6zJdCRJ22fanY3+NZRw p/tGAhd6iDZl/rOW5+QHmP/weQ4ExywHX9cTaWH5lAHJP5Q6qfR8IM4FBrsKYVUc74mY nSpm0WWAaXzwOfUz0fpNiKdoLGCMCg2x/DpmEmyrGrN+q8TuMALjVP/QQtKrcdJxQ7/c HDtIfp2yLCpGg71noPNFHdO7z1SbCs1uaiKOmKkg3Rj4PsbCSbUjwniIDn2CiBjciN3U Q7K6yfcQyJiN+KWG8GP3G4ACa0svJzXuWlE3T29L/R9qtYzyQM0j4ruKGJTMttjpjl3F XTTA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533kWOEZiKTYlm9la82Uj5FNsVXHXVuDVKXrLp/072Nf3tot7slJ Is6+tbNkHwTu37FlgIKCyPA= X-Google-Smtp-Source: ABdhPJyoib6do44Yh7S8T9bFAuKp80exEWKuXqLqKe5b1/bpWAXbEbI01xm8MWv7x5AzNiuzDHfVrg== X-Received: by 2002:a63:4a44:: with SMTP id j4mr1105978pgl.283.1621280656467; Mon, 17 May 2021 12:44:16 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6a00:24d5:: with SMTP id d21ls3630700pfv.1.gmail; Mon, 17 May 2021 12:44:15 -0700 (PDT) X-Received: by 2002:a63:1443:: with SMTP id 3mr1136599pgu.69.1621280655546; Mon, 17 May 2021 12:44:15 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1621280655; cv=none; d=google.com; s=arc-20160816; b=twqVT7QHY6Bv9Ghy3szoiSAojOt6t5FceKAC/tz8K3uwXBt0G2MLSzc6zO0JGwj8+G eI6/hltrESv7u8vRzYbpX58O1zxLePAJXuVskgZ3fa6FGohvtyFh7XnnY6zgdY+zLU2B 0BuERX+S5LS+G4XigHFnPrvDCa5NhHs6UwJ44vFacZD1IP1OXGxad3pPs6HbsU55Tr0h Fals7HY3pOK2A9CK3XHNm247N9CT9f+IF7B+ybGEDEFt4GLFCkn+jPP2cIQ1Xl2OrAph 3ccNK5vDIG3yn9JBbo/96E4Fp9YlAP7G8U1AR/HRJ+7IqdK2Fdec1b6i0tE2WKapYdrc Z3iQ== 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:subject:from:to:dkim-signature; bh=zMhvepawnWNn4wB/tCMF83v9AMXLy8x+ReZHahvNhso=; b=BidJRCk9Yz4WJm3geVZVCPjA2NYgTvzCR+u6t5ljnvzgdSghRpB/FL2RFrYz3li24y VPlY59T/OH1mPgMno0WfLf9+WHtTrIIAnCKkfQAj9LC4gGJtvmc53Gryr2yw9nsO/DnF QOpzIj0xzoff1JKMnkpEGCBP/9gXBPc57MevqW700o5UbHBYFHQGq/TJT6G+t20zLSG2 9sJzrr4qZ7o64dh4Pgy6X0F2exmL51LjYwMDrPTmu3aJ435svd2IZ4GhllIZCE73+cNo jZb6Df80Mgxwk4Wb28ZIgp4qo97/Rlo8h1mFgE6IEwrW4+RGotXMMF/UVeYzsUCeTP9V vUJQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=hMwro5a+; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2607:f8b0:4864:20::82b as permitted sender) smtp.mailfrom=benedikt.ahrens@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-qt1-x82b.google.com (mail-qt1-x82b.google.com. [2607:f8b0:4864:20::82b]) by gmr-mx.google.com with ESMTPS id q59si68076pjh.0.2021.05.17.12.44.15 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 17 May 2021 12:44:15 -0700 (PDT) Received-SPF: pass (google.com: domain of benedikt.ahrens@gmail.com designates 2607:f8b0:4864:20::82b as permitted sender) client-ip=2607:f8b0:4864:20::82b; Received: by mail-qt1-x82b.google.com with SMTP id i20so5513051qtx.4 for ; Mon, 17 May 2021 12:44:15 -0700 (PDT) X-Received: by 2002:ac8:7fc7:: with SMTP id b7mr1137600qtk.109.1621280654623; Mon, 17 May 2021 12:44:14 -0700 (PDT) Received: from [10.0.0.12] (pool-71-168-144-43.cmdnnj.fios.verizon.net. [71.168.144.43]) by smtp.gmail.com with ESMTPSA id l65sm11046019qke.7.2021.05.17.12.44.13 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 17 May 2021 12:44:14 -0700 (PDT) To: homotopytypetheory From: Benedikt Ahrens Subject: [HoTT] Postdoc position (7 months) on type theory, working remotely is possible Message-ID: <808c01ba-ee2e-d8eb-e57a-a60dfd38e922@gmail.com> Date: Mon, 17 May 2021 15:44:13 -0400 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=hMwro5a+; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2607:f8b0:4864:20::82b 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: , Dear All, I am advertising a short (7 months) postdoc position with me. The job is physically located in Birmingham, UK, but can be done remotely. The starting date is flexible, but the end date is fixed at 28 February 2022 (which is the end of the project that funds this position). Background: the current post holder, Jacopo Emmenegger, is moving on to a prestigious fellowship [1]. The official advertisement and application form are located at [2]. For any questions, please contact me at b.ahrens@cs.bham.ac.uk . Best, Benedikt [1] https://kaw.wallenberg.org/en/jacopo-emmenegger [2] https://bham.taleo.net/careersection/external/jobdetail.ftl?job=210000PQ -- 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/808c01ba-ee2e-d8eb-e57a-a60dfd38e922%40gmail.com.