From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a05:6902:52e:: with SMTP id y14mr38779217ybs.213.1588022628885; Mon, 27 Apr 2020 14:23:48 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:ae63:: with SMTP id g35ls7425517ybe.1.gmail; Mon, 27 Apr 2020 14:23:47 -0700 (PDT) X-Received: by 2002:a25:2:: with SMTP id 2mr38637675yba.466.1588022627299; Mon, 27 Apr 2020 14:23:47 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1588022627; cv=none; d=google.com; s=arc-20160816; b=ddiEzXjOQxApfnOBM3TBcDIts1xo5Qu2Vf3qPSXGaPd9vHpcyOofjX5Ns2jFDNTf8L lakUcpGD5elgg6cq7oatcINtgG8z6PpdPHkZao5keFgNAu2u/ORK+A3eohE22J+Mmtqa jF6OhEI06964qznMWuQyHA7zY2+Yy3pxCnMm4r5uGEvYRq3fQ3SQ/NguQatmb+01dcFG ClCD5QWml1Rh1HKFWF1yQxI66w1hyHAwwqd/l99zZvABkn0UcaLHqMGcRS1HxUfWbSQw 0qHmC837Ie/iBpwNZh3Bw9iNYg6+DAwaLaedE9wLKe5AjvQSzipAhwls5DrWIHJfIoRj 0R7w== 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=4JTQEeydfPHMrFCnFmyRox1rzciV1lOrvItD4xOHixY=; b=b7Igwh6N/CtRvQifkuJb0kI7T1uI88p+ssThf3eEwVyLtKAMOJj3z/IeIuuKFIuQo5 D2c+ZiQOmbZyQ6hf3pd5BvyQneWVcKRyetvUVcvSmNlbX58o3GYMOZs03hPvdzHUzPZ4 E8KEaSau/rbMZaIeuoJQqvTvh1PKlMg/HG44ZFCxf0HoBCHXyFbeoTZKhTIodQ86k8MS oDe24P46tK6mcAILsspzmHDXYMkEuH/JyJRMTs1i0LGvYsIn0xT1FXJxMC5l9LM9eXwJ WzjmtEDE0yZAhSpZYcFKWAxsn6eEYdWvgzC6xBAifd3oMlWkeEQKfcMSbhB4+FlTmLj7 X2Pw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=fgXVM0RD; spf=pass (google.com: domain of benedik...@gmail.com designates 2607:f8b0:4864:20::336 as permitted sender) smtp.mailfrom=benedik...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-ot1-x336.google.com (mail-ot1-x336.google.com. [2607:f8b0:4864:20::336]) by gmr-mx.google.com with ESMTPS id r206si1127069ybc.4.2020.04.27.14.23.47 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 27 Apr 2020 14:23:47 -0700 (PDT) Received-SPF: pass (google.com: domain of benedik...@gmail.com designates 2607:f8b0:4864:20::336 as permitted sender) client-ip=2607:f8b0:4864:20::336; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=fgXVM0RD; spf=pass (google.com: domain of benedik...@gmail.com designates 2607:f8b0:4864:20::336 as permitted sender) smtp.mailfrom=benedik...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: by mail-ot1-x336.google.com with SMTP id z25so28876886otq.13 for ; Mon, 27 Apr 2020 14:23:47 -0700 (PDT) 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:content-transfer-encoding; bh=4JTQEeydfPHMrFCnFmyRox1rzciV1lOrvItD4xOHixY=; b=fgXVM0RD6gmwACCnE1+WyazqCbAgAVIwX26kGPLjKZFsV+qP6cvihE9xgYQzamQvIl 5f4bCJALjB77slH84+sQDG4dFdl10037OxB4U5LqtWHiR3KQ3NZrStv7miG5Tx01trON EY+7AwjQD3KMbv79xb+nrEBSsKNJ+OeWYC1qx2aIqxkojeKcaBxsrQJN37tQPZQHHkiE D0sFnw8Jttquw32Xx7rzcc0fZdT6bI1VPv8C5qVPMfFwsUXocsmKS5cKjyvsKP6q5r6n BlFKIDMcnNJ6M8Ef2soxOnhKyS2A1OQO4NwG4uzJ5/9+xk/c8dxCgix2G0tfroGjG/Ww Hmdw== X-Gm-Message-State: AGi0PuZztye0amEjHjSAIpJOjmjlRcAzGvcZYbm9ou072oRLGCyQwJfW 4Xf+772yjW2alUt6fcPVxg0+4YMZ5KlfUg== X-Received: by 2002:aca:4243:: with SMTP id p64mr573450oia.21.1588022626550; Mon, 27 Apr 2020 14:23:46 -0700 (PDT) Return-Path: Received: from [192.168.1.67] (108-82-236-45.lightspeed.clmboh.sbcglobal.net. [108.82.236.45]) by smtp.gmail.com with ESMTPSA id x129sm4306486oia.50.2020.04.27.14.23.46 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 27 Apr 2020 14:23:46 -0700 (PDT) From: Benedikt Ahrens Subject: PhD position at University of Birmingham, UK To: homotopytypetheory Message-ID: <326833d3-4855-4aac-9d38-6073346c8a2b@gmail.com> Date: Mon, 27 Apr 2020 17:23:45 -0400 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit Dear All, I would like to invite applications for a fully-funded PhD position in the School of Computer Science at the University of Birmingham, UK. Topics of interest include: * Syntax and semantics of type theory * Formalisation of mathematics in univalent foundations * Directed type theory * Algebraic specification of programming languages Students broadly interested in one of these fields of research, or a related field, are strongly encouraged to apply. Applicants should hold, or be about to obtain, a Masters or Bachelor degree in Computer Science or Mathematics. The PhD position is fully funded, covering tuition fees and a tax-free scholarship. Healthcare is provided. For further details please send me an email (b.a...@cs.bham.ac.uk) and see my website (https://benediktahrens.net). The theory group at Birmingham's School of Computer Science is very active, organising regular seminars and informal meetings, such as the YaMCATS category theory seminar, Midlands Graduate School, and Workshops on Univalent Mathematics. For more information see http://www.cs.bham.ac.uk/research/groupings/theory/. Information on how to apply is given on http://www.cs.bham.ac.uk/admissions/postgraduate-research/. However, interested candidates should contact me in the first instance. All the best, Benedikt Ahrens