From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-pl1-x640.google.com (mail-pl1-x640.google.com [IPv6:2607:f8b0:4864:20::640]) by inbox.vuxu.org (Postfix) with ESMTP id 82E8322E1B for ; Mon, 4 Mar 2024 11:57:20 +0100 (CET) Received: by mail-pl1-x640.google.com with SMTP id d9443c01a7336-1dbbd6112d1sf6761385ad.0 for ; Mon, 04 Mar 2024 02:57:20 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1709549839; cv=pass; d=google.com; s=arc-20160816; b=SazC2kk1qTnqPCOfQ3+vFgMkqXzpKdgbxVJ1XVceydlHan+XyylSSd6fmkgSFGqVTM T6rNP8BCkjZdPE2ogISkDHD5fy/kgb3uu0uBiLjGas4gq9liAe41JLKp2IxrqES9DMIn /OFpFFwCLdv2whIHXnjyPSn1lsZp1eQ/AWcujqcWaTmpvfYx2qS0pGpsDVbuI5y+3I30 DwC1Svhkz22r9AkyQznrh8kL0RC7F8CMfMvZmpZDIv3aF5274xF74Ee2D2/MXqTtOACn gag6Uov8FZ2bpO8Q2OhqDdhYd3zfZgNghhHXVxhz5/NuplECT/Hg83cBSrQ++gIUlmaI 39Zw== ARC-Message-Signature: i=3; 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:mime-version:subject:from:to :content-language:user-agent:date:message-id:sender:dkim-signature; bh=Hr2OScSpLxxMDT1uk35rL9N0YhYOErYghmDC910wDhw=; fh=aUtQhtqphxZW53HCoTBv/Z4Lc188fXMVkkda8k5zFBI=; b=aa1WvGMRN0/sT1D81zvmMC+bFuZBRGTNBJGHIi6mfmXsT6GU75Fwvu/B0PbMvtNkFv BPUkYYKnpJKxE8GXbbxs6p9Dk2Jb5up33zkRnJ5c8HEeuPuqxwBdm9bL66OB6XcEkjjl Z0KCXHxycBhmk2kHU9UqmStUYMDM1xkfvQq/qPaGdG7a3ijmPdLYi4xUYpMfZdxpPWG7 ezfkvh1PgSxFdHMiotD6ze3vrMX3i89TcohCinG3XZEsixoZbgIc7QCtP3MpB8A5vqEp XnfP+hBkm0idYZTjgNsrSoPRIPOmdxyKcIXKOAfTs/uTWMKcPq8xmtw1/PAv5i8RxRwO mvJQ==; darn=inbox.vuxu.org ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@cse.gu.se header.s=selector1 header.b=RcsP8h+u; arc=pass (i=1 spf=pass spfdomain=cse.gu.se dkim=pass dkdomain=cse.gu.se dmarc=pass fromdomain=cse.gu.se); spf=pass (google.com: domain of nad@cse.gu.se designates 2a01:111:f403:c203:: as permitted sender) smtp.mailfrom=nad@cse.gu.se; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gu.se DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1709549839; x=1710154639; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:mime-version:subject:from:to:content-language :user-agent:date:message-id:sender:from:to:cc:subject:date :message-id:reply-to; bh=Hr2OScSpLxxMDT1uk35rL9N0YhYOErYghmDC910wDhw=; b=Eq8UZds5C2KGa4HZZnKeSP0tfxeZuTUocJau9k/JK2ERmd/JPDb40HMzqpqUuXzTDA udtf/QQPzzZI/HNkML78OEixS1XyZYtk8J2QcGKmvS8frlK0C2QF371fq1Jq7qI/B7DH nO7pHPiDpcdCTQ6y+WFjYkyMcLjKn90uq5c/5jOJVJFIqQYftasHiyv+OsthwP9giUXt CHH195hTtCYoEAKjVRXHaNHNRfcRUmKyxyyTImC99gnELPSAEel/E/B17WZlQm1AoKin 5KWmpYgESdh+GgtpWyE5Kwk8SSDnZTxLM1rhcm/1QOujrMrhcFRR9IOxl+/8MNQ88WN1 lYxQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1709549839; x=1710154639; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:mime-version :subject:from:to:content-language:user-agent:date:message-id :x-beenthere:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=Hr2OScSpLxxMDT1uk35rL9N0YhYOErYghmDC910wDhw=; b=F4SM6ECtvOIISLLQ+9x6t+Jc7VToBOpvKp7DRuH8BmGSVajg9JeituFXD542eaFQh/ IvnCFuUXIwEJNaWzMbeQnU6qEYhenaQ8uhtmYetJWp3BzAi/ZHxGzKze6tgCzrzRmlkn b/NSbIlJNvRGaqTyfU8nTFQaNzBJiaFbHHy8zJjYS7aGn5mADP4IuOBzTSfTM7gd7h/E 21+NaErz5CnpAJQsZwQaBz7pRYHU+i+B9ECYgody06myqW13/+tB3gVhiIcOTQKfvtun UW/Wjrgiv4eZ13fbs1baD8pZ7hfh5s1BJasrtXW6BffKV3tHRo7Qwt56l0EN27QXrMDB XrvA== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=3; AJvYcCXXegTQv1XLwEQ7XvMqA4dzh6c/W3DP4rPXzh3Ek5zSCRwAii/7BxLTisfNLrSonAfanE9ks6s2ZytfaskK1UTiGg== X-Gm-Message-State: AOJu0YzEQNChxohg9GcYoXIap4HKZg5+FEIfEwbyt7jGNBus6b5KS+dx 8nCBzZ8FG4vpLG0bqW4RhjPgKiJhgHoK6y3A9y3seVRAH/ghShgZ X-Google-Smtp-Source: AGHT+IHFq2knH/DvBuywHlEXM6gN9IlxBvIqSpxM68ov28YOHOjcfemitTZOjn/qThI09KyXplZq3Q== X-Received: by 2002:a17:902:ecc5:b0:1dd:7db:69d0 with SMTP id a5-20020a170902ecc500b001dd07db69d0mr181635plh.11.1709549839322; Mon, 04 Mar 2024 02:57:19 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:90a:cf05:b0:29b:26e9:449d with SMTP id h5-20020a17090acf0500b0029b26e9449dls1440097pju.0.-pod-prod-00-us; Mon, 04 Mar 2024 02:57:17 -0800 (PST) X-Received: by 2002:a17:90a:6b08:b0:29b:52ec:ec0c with SMTP id v8-20020a17090a6b0800b0029b52ecec0cmr2137191pjj.0.1709549837128; Mon, 04 Mar 2024 02:57:17 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1709549837; cv=pass; d=google.com; s=arc-20160816; b=a2LzragoiQGVgpJVYOWRZHpO72URkvr1iDTvEC5JvIH4qccyv4Q4HNHsuPg6SHfQ57 KCOc15w23IZMBfklsZcm0zwkKbt552Rfw6djwiIrJwYn1cGUDk0nGnGkBUTtW+TQ8sLr gpYuZPKd6N64CZL39/54C+YGzkDx6ngHGxG2gzJONCKUyZHnEHs6bKuYchczlJRX2w0s 3X6pSoUviqKdmc3vH2bS+bLaO8vwg+P81a1RsRVFyxQ31SLYsI8imnklKYQB+v4uSHuO QDcQMuFEWOT/4sJSTUx7GS1AZUrUFGMNuzHakeFwfnRAKwvhlqdzr5zVWOzcTsQMcEPB Otng== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:subject:from:to :content-language:user-agent:date:message-id:dkim-signature; bh=qq6urhm+cLW2If7ybc2uHTHy/Sm5UmShENbqjGnn7EI=; fh=3sIP6N/TEjoc1Uq37Y498r2kAtX4ApZak0DpOSnwMFI=; b=utrCcAADoMjPncuSlFILQbya3pc2pbK2zJooe/CjTVIyNlbIpU4STOpBSFIdxWFaqY WvekW/060VuitMHRgXMBl8mEL2gbKHSGqLaYcphId8qy+/icrr/sfbWo7KIyToZzaPlO L1VFdHk+2TkPQ9fY1ZxGPVHHAp3ZD4NZn6wz4f7QbMVVSNZHTFT3CpPX1Zdap7rOyTwX e942PRZ1qv/E2imTkeDppgU+UPUCiWfk6VNZvFY9My+9F0lkQLswN0pR3rGK12D7MLxZ vH1BIM4idmNqCLIoPG6EdD9CioVZFsOrSg1erDuCQiXmCNf9oTjDZ+vEBBzc3nrCh7T+ o4wg==; dara=google.com ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cse.gu.se header.s=selector1 header.b=RcsP8h+u; arc=pass (i=1 spf=pass spfdomain=cse.gu.se dkim=pass dkdomain=cse.gu.se dmarc=pass fromdomain=cse.gu.se); spf=pass (google.com: domain of nad@cse.gu.se designates 2a01:111:f403:c203:: as permitted sender) smtp.mailfrom=nad@cse.gu.se; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gu.se Received: from MM0P280CU005.outbound.protection.outlook.com (mail-swedensouthazlp170100000.outbound.protection.outlook.com. [2a01:111:f403:c203::]) by gmr-mx.google.com with ESMTPS id w1-20020a17090aad4100b0029a4cae3e4bsi843088pjv.0.2024.03.04.02.57.16 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 04 Mar 2024 02:57:16 -0800 (PST) Received-SPF: pass (google.com: domain of nad@cse.gu.se designates 2a01:111:f403:c203:: as permitted sender) client-ip=2a01:111:f403:c203::; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=TbTIv1HAfWwg6etIkNfENPq3/C2Vmd/rJfB32c6zJwGREjxeUAfuNH76sojT8um/5+0gxiqnHSuXKPwbRBGxPhJumSjH18r2P+y4v2gyPNgHHl9Wi/EX3Vxze4gmdTqGz4LxV/42wDjzyaBdkNWZoDGSkY/5GWKNnVHM2zbK9eexWaBoKc2no8/xuXBtXeVzaLlkQ+UPPxr2WUiaU6btbBaCSIvZPebzxVWuPTbIfjgi53t0kSC6ikPno94VX3LYE0XTT5E0h6ZVZInCAnRSSKC9UoiS11BGkCub4zQvlxYNMvigp1WmKOFt72FtNEFSwY7YSa+fa/bBecMDCQZ3SA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=qq6urhm+cLW2If7ybc2uHTHy/Sm5UmShENbqjGnn7EI=; b=DZUCP9+opzt4iVwAB6V7bYYr2kxKgAV6w3oRxpEwNycqt4Ud1U/J6Mdev7WXjXjLaMpFby2Qg8EeaTyscUWcc1KEqiRsgXSQDZMTFW6Z+4Xw/+W94w/eqytXsDbRWVqe+cZNkq8x8oqd9HDw/tM1rnGZc8tBMSym7FOKFsGrVal+d785TvvJavrMgFjjMEfvb9b/DgLFuq+A573SgrWJ79/zGghKIZgf9WcfXXxVYzLuJ734ZgpcjFyUAVEss4tJftkEpRxKHnBbRNh7pbuLfVR4YRKaydD1jkSJ/jWh8B6VMw4/wJXY4yA3gxQiADVIrX5uSfK74FEFZ1OYEhYehw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cse.gu.se; dmarc=pass action=none header.from=cse.gu.se; dkim=pass header.d=cse.gu.se; arc=none Received: from GV3PPFF38315A22.SWEP280.PROD.OUTLOOK.COM (2603:10a6:144::1:0:7) by MM0P280MB0118.SWEP280.PROD.OUTLOOK.COM (2603:10a6:190:d::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.41; Mon, 4 Mar 2024 10:57:14 +0000 Received: from GV3PPFF38315A22.SWEP280.PROD.OUTLOOK.COM ([fe80::ef54:2c52:d97:ca20]) by GV3PPFF38315A22.SWEP280.PROD.OUTLOOK.COM ([fe80::ef54:2c52:d97:ca20%3]) with mapi id 15.20.7339.033; Mon, 4 Mar 2024 10:57:14 +0000 Message-ID: <6bc4ac9e-352e-4a93-a6f4-46d790d336fe@cse.gu.se> Date: Mon, 4 Mar 2024 11:57:13 +0100 User-Agent: Mozilla Thunderbird Content-Language: en-US To: homotopytypetheory@googlegroups.com From: Nils Anders Danielsson Subject: [HoTT] PhD positions at Chalmers Content-Type: text/plain; charset="UTF-8" X-ClientProxiedBy: MM0P280CA0085.SWEP280.PROD.OUTLOOK.COM (2603:10a6:190:8::7) To GV3PPFF38315A22.SWEP280.PROD.OUTLOOK.COM (2603:10a6:144::1:0:7) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: GV3PPFF38315A22:EE_|MM0P280MB0118:EE_ X-MS-Office365-Filtering-Correlation-Id: b733837e-48a3-4a59-d7a1-08dc3c39d9a1 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: eWVdlH0qVzO877aFNC80nKOfLuc7YIlkR4XS4UUYEQDK0dX/0OsTlqtGedIGpKZL/Vfy3PaTfORaELsCjdfnD938IQ3Jt0UkiCIuKyV4FJWPd6fQ3r6uw/lHvPZH8R7WqelpaNRX0M481VBlYeRtVcr0ZRdmaXgNOvzr7OsapohRGkx024T/yyh60QLg12NZwNyvmVz6j9swvOAj0ade+8itT1LiPB2lI4HGkNT7iUVyBrnvHbVxUfyEMmjjcoTbORRPshCR0GUXDEUeDKtwwQTSLHMMm5i6k3PoFBh/JuDwZFKwqvTFQqivtguM6ReDbwRRvxjxdL9IAl0bgWKICgDnLgBKSqUR8fYPrTomy6YOmMog9USXdrSYy8YO71llAoxL1RZ3rtjMgMclv02Nzqe0kc3nM7okkGpwO0EOtUW19JM1PIGW5FVAeMOlTJiN4fny0GO9ppPyjuA3grF8IBcrbsP5Hkp4t1sEGaSMbA6owB/1IQQevUbpGq1htwwWUimytVPQmgMT7O/pjy/jEdoCwUgrtP8AOg0q6BZKdcY+hINzTN5jIY6fWE7U9DwuKvQ7q9BSEmtH2Eci9IaZ8uTiCVynb8I/DNAaIgFQnVA= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:GV3PPFF38315A22.SWEP280.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(376005);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?SHIxK0xxQnFlc01NSnYxdUZUTGEwUTNpYktEZ08yRm1Kd2VNTlptU0I5RXZX?= =?utf-8?B?TVJvcTIxRDcvREhYdU9SdXd3aG1BRmpYRm5hZER5eTNjSjJiZFV3ME9zVXk5?= =?utf-8?B?WGhZMWs4VjBQTUpmekV3YStJRk5QY0lEZGtZVitRaVl0UmwxSkUzcU56WWZa?= =?utf-8?B?RHYxaDdneTh5Z1Y3WE5ONndxaFVDbGdtTjJTdHFtSnhWUlB3Ums4a1RrdHJ6?= =?utf-8?B?UzRqM2prN2lmcjB4aE14RkdJcGRSVUFHWjI5R2drQ1ZObk94cUxQQjRhbUpM?= =?utf-8?B?M3J5NUt5MkFqOFFwNGhSSzI5dGJubi9BNHJsa3QwSlFYZGdpOFZqdkptaXFM?= =?utf-8?B?bHdHd2pFZ2RMWjNYVGMvb2R6VFhNb0xuNk1mbjhIQ2dsZzdKdVpHNVg4a3lW?= =?utf-8?B?RWE5RG4zbnhMeHRMM3psSTdqaUtZYzh5Nm82cy84Ly9PUWNvcmgycjhIZDF3?= =?utf-8?B?YXozYmpwTEk4NE1Gak1mNDl4ekp4YU5ZT3dHWDlSN0RPYURFY3Z1Nnp1MW1j?= =?utf-8?B?S0V4eE1HWmRKaWNxUHd1ZVZwK3BYNjYwajF2Rm1Oc016NG10R1JLV0VXSkI0?= =?utf-8?B?RjVYVzFCREZPbWdaOVN0SE10VXUrZGJJZlhuTGVLTTZkVWtZMEFwYXZNcW5I?= =?utf-8?B?VDVqQUNKSVQzMmRJTzVwZlBVaXhiU3J1bUh4SWpyNzV0aHBoN3Z5eTlBQk03?= =?utf-8?B?TGVvakFTdUprOTVqTURnOERuU2lySTVvRWFCb2JzZkFNWUVJTy9ROE9BTXQx?= =?utf-8?B?YnV4aXBMZU1xdklCcldESGJVQ2pKdyt2MXNMZU5xUEZaNkhLakVna2Fybkkv?= =?utf-8?B?NEdNTnBkOG5LQzdzYTNvRUQxZEErbkc5bGRPd2ZGbHh5TEcxb3lGajNJMHhi?= =?utf-8?B?T3dYRnV0SDNRMzMwR1lPZmZ1QmVSbU1TWjNZaDh6eXRXWXhHaDBNTEs5Um5N?= =?utf-8?B?TituQ1d6OVZGVnBpTzA3UWNSeHNJc0RPRCtZUlpFaEt4UmVhZ2s4dFZEbWor?= =?utf-8?B?VlVPYVowZ3RYUGZDU09WYWo5MVZOR05STG5yZ3RIeG9ueTBDMXdHcjQ4OS8x?= =?utf-8?B?Sk1oTEtEYVU0cUh1MUw3Tmtvb2NueTJ4T0hMOTFtYjI2Y0FFWXBuU3VXdy81?= =?utf-8?B?Q3lpa3dEZk1uQlo4UUFXcGdsdklxOVp3cDhjR3lkSU9BYU44d1BObjJ3Q3JG?= =?utf-8?B?ZkVwVEhYRlZQRmZwRnZFZ1NkU3Awb0hSWmRCTFo0ZmErSlBUNnluWmI4KzFJ?= =?utf-8?B?SlNESmdjZHJzRGdzUUJzSllXcVNiNVFMRE1mdXQ4WUdIc0I5R1BhKzFhRm56?= =?utf-8?B?YlZnd2Z0eWF1d2puVjlTakFDYm04Sm9MbDlJckdHRm9jdjJabEtFQjdUVlcw?= =?utf-8?B?YUVQSFZweGVrS25yQlcvMVpmMjZOSkJYM2tXV2ErWi8vdGpPUVVjall4WTFY?= =?utf-8?B?bVJPOHhoOXUwZEFJTzhNMjRhcEpPYXFIZXY2YmZrSExiRTZPMUo1WDZPdngz?= =?utf-8?B?Yno2VERLSHE0dGV6cmtoU0pGbUNubjc5RG9NNEt1RWhoN24vcFZiT2NBdFor?= =?utf-8?B?aUs4OVQ4VXZMUG4vZlZTQXZJbFRaK0xjbEZNaVZPMW9lOUJ4QzBWL0ErU2Rw?= =?utf-8?B?SjdtSjYxbFdWS3h2VVB1eU5qMVNXSjJGdTkrMXBMSG5FZzl4Z3JZOTg2TjMv?= =?utf-8?B?VlN6MEg1TTJkWHhMczFMalFqQkxQZ1RMOXBJTFNVa0FLaE5SS0hnc3hnbzhy?= =?utf-8?B?Q2ZReXdlZlEzMjdWOEpHWjVBM0FWOTdZaHJ4YTJXcGIzM1BaVGp1QU9xWFkv?= =?utf-8?B?aklLZ0gzSVQ4SGl3WThNNmxyeTg4WG51YUxIaUlqTDhwT21oRHQxczVKMWRJ?= =?utf-8?B?VzZNRWZCcVJyNnd3aEROMU5iMFUxSHQvb3AydnN0Z09xWTdUb0ZlMkEzMGZr?= =?utf-8?B?d0svSVdQMDUvMXVxaXlvRGpFWVY5UytYb01LT3paS2UrcjgwVXBvb29JOUpl?= =?utf-8?B?VGlNV3dRc0xCTVZjTHhJcFRDcWF6Vno5emFqbk5CTjFqWXp3azhQcEpkYnhq?= =?utf-8?B?RlhqM3RPSEl0QzNtZWJrbEhJdnlTMjVnMEt2eFNwRzQxc3hrdXVLMDhjcTRl?= =?utf-8?B?YVluYnBVOThUcGhoMHJUUzZxWkROY3JGbWJmTlJoRUVXSmsyc21JaXNJZmJL?= =?utf-8?Q?UK5DQs6re/c5+20xxkqZP14=3D?= X-OriginatorOrg: cse.gu.se X-MS-Exchange-CrossTenant-Network-Message-Id: b733837e-48a3-4a59-d7a1-08dc3c39d9a1 X-MS-Exchange-CrossTenant-AuthSource: GV3PPFF38315A22.SWEP280.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 04 Mar 2024 10:57:14.3189 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 29147a65-536d-43f9-b802-e0a1b5cf9dbf X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: nuR+9/DPqYIq3TN1YCyODeN515gMRONCognFl7r2eYBfe6eYtkMSzgpT9KmwVTS7 X-MS-Exchange-Transport-CrossTenantHeadersStamped: MM0P280MB0118 X-Original-Sender: nad@cse.gu.se X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@cse.gu.se header.s=selector1 header.b=RcsP8h+u; arc=pass (i=1 spf=pass spfdomain=cse.gu.se dkim=pass dkdomain=cse.gu.se dmarc=pass fromdomain=cse.gu.se); spf=pass (google.com: domain of nad@cse.gu.se designates 2a01:111:f403:c203:: as permitted sender) smtp.mailfrom=nad@cse.gu.se; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gu.se 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: , Chalmers University of Technology in Gothenburg, Sweden is hiring up to five PhD students: https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=12588&rmlang=UK One of the proposed projects, "A compiler for cubical type theory", is related to homotopy type theory. As a PhD student working on this project you would be supervised by me and part of a group which currently includes Andreas Abel, Robin Adams, Jean-Philippe Bernardy, Ana Bove, Thierry Coquand, Peter Dybjer, Ulf Norell and Christian Sattler, as well as postdocs and PhD students. Note that this kind of position comes with a salary and benefits, and that there are no tuition fees. Application deadline: April 15. -- /NAD -- 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/6bc4ac9e-352e-4a93-a6f4-46d790d336fe%40cse.gu.se.