From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10442 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Peter LeFanu Lumsdaine Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: Reminder: 2-year position in HoTT at Stockholm, deadline this Friday Date: Mon, 5 Apr 2021 11:31:32 +0100 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============8300073059331799844==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="23511"; mail-complaints-to="usenet@ciao.gmane.io" To: "HomotopyTypeTheory-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org" , constructivenews-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org, Categories list , types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, logik-AtZWghHxK2bLoDKTGw+V6w@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Mon Apr 05 14:56:58 2021 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0a-000c2a01.pphosted.com ([148.163.151.92]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lTOmn-0005wI-Uk for gcst-types-announce@m.gmane-mx.org; Mon, 05 Apr 2021 14:56:58 +0200 Original-Received: from pps.filterd (m0128479.ppops.net [127.0.0.1]) by mx0a-000c2a01.pphosted.com (8.16.1.2/8.16.1.2) with SMTP id 135Cu133031454; Mon, 5 Apr 2021 08:56:01 -0400 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0a-000c2a01.pphosted.com with ESMTP id 37q2kg8ex3-1; Mon, 05 Apr 2021 08:56:01 -0400 Original-Received: from RHIZOME.seas.upenn.edu (RHIZOME.SEAS.UPENN.EDU [158.130.69.24]) by leopard.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 135CtraR039091; Mon, 5 Apr 2021 08:55:53 -0400 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 135CtrPV068516; Mon, 5 Apr 2021 08:55:53 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from mx0a-00390e01.pphosted.com (mx0a-00390e01.pphosted.com [148.163.133.158]) by RHIZOME.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 135AVjfn044930 for ; Mon, 5 Apr 2021 06:31:45 -0400 Original-Received: from pps.filterd (m0172791.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 135AUZCX024447 for ; Mon, 5 Apr 2021 06:31:45 -0400 Original-Received: from mail-lf1-f54.google.com (mail-lf1-f54.google.com [209.85.167.54]) by mx0a-00390e01.pphosted.com with ESMTP id 37q57c1dwg-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Mon, 05 Apr 2021 06:31:45 -0400 Original-Received: by mail-lf1-f54.google.com with SMTP id m12so16724874lfq.10 for ; Mon, 05 Apr 2021 03:31:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=mYOYxUncISh5WOAYHLk8lMWhIiKkSu2VezCRQu0cIFc=; b=boDrEM/A4+iNpMYVT0UtsNZNrOGfHCDqcmhRL50r2HxHJahkXoQSOXj7434/+wgZos vX6s3wbG2HhePVfOUY14af9jZ2lsp9IdyhOePCR1ObfDWx6B6CtCDSl8uFz1vPhIYbJ+ wXtvSuFDxiUC+CbyBb/0yfQm3K92ua2/+9tkmea82nSbxRfxPoiKY9ECPIxce8vsrw5P 9lMNc2b8HEcTgUsI8J0/jr3wA162p7vjoY/XYaPmGgEyxjFfg++fgme6j9sY732xW1dF qJaMC3TcyiWGVZV60xgEICUjSutAxpTDQ37j47N87/l4KZ3EBltHvc0vwpXt25BTAteX sOlw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=mYOYxUncISh5WOAYHLk8lMWhIiKkSu2VezCRQu0cIFc=; b=iV++dyfrMcD46Qbuqq9H4ZL/DHpLjizgMsLCdGHUg0C0IyJALWx1UuxNr9vYiKkBdM 8Z3lD9IzuCTnc5799ub5LbaXXpEOnwHGgXUn5SjtvQMSywdMNu5NPFCJ8PHVbhPu2py9 M09bCr5UIm6kItuduETBf6r65esZ5izmlAzSbyO05LW0Br0OK02SfjxcLEer0zh9tlr1 HJKL7GAqQEwtDgCr3vNW9B6r1nmfemPpkUPdyu9Y9YiaaiMlZrHTlk2ge1LZTdC+WAM6 VsCuQTsjdLm897D1/3AXytbzDH44B+68AudEZEz7irimrDoUJHZalVVXHGBIWX+aerdh 9wUA== X-Gm-Message-State: AOAM531AUy3NpfgtrOfEiND2FNcNbuQsWqkhZG3B9uUn5m9a5ac52LKC HJ3yKJArNl5rhI1P+YccIsCldtRyF54GO8DVTk4= X-Google-Smtp-Source: ABdhPJya3dXYqYNUhf8RbXHzoPObtR8B1IAUgtau2dPJxGm38R0aUk09RpZhVHnWnWgZlUHWTfAGUa56qGG42Z6F1Eo= X-Received: by 2002:a19:2258:: with SMTP id i85mr17232907lfi.516.1617618703013; Mon, 05 Apr 2021 03:31:43 -0700 (PDT) X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.369, 18.0.761 definitions=2021-04-05_08:2021-04-01, 2021-04-05 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 phishscore=0 mlxlogscore=766 mlxscore=0 suspectscore=0 malwarescore=0 adultscore=0 lowpriorityscore=0 priorityscore=351 impostorscore=0 spamscore=0 bulkscore=0 clxscore=211 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2104030000 definitions=main-2104050070 domainage_hfrom=9367 X-Mailman-Approved-At: Mon, 05 Apr 2021 08:55:52 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" X-Proofpoint-GUID: _gU_vtw1VrEfangZDyHnSedb9jkkbxi3 X-Proofpoint-ORIG-GUID: _gU_vtw1VrEfangZDyHnSedb9jkkbxi3 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.136,Aquarius:18.0.761,Hydra:6.0.369,FMLib:17.0.607.475 definitions=2021-04-05_11,2021-04-01_01,2020-04-07_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 malwarescore=0 suspectscore=0 adultscore=0 impostorscore=0 clxscore=1034 bulkscore=0 phishscore=0 mlxscore=0 mlxlogscore=999 spamscore=0 lowpriorityscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2104030000 definitions=main-2104050087 Xref: news.gmane.io gmane.comp.science.types.announce:9553 gmane.science.mathematics.categories:10442 Archived-At: --===============8300073059331799844== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============8300073059331799844== Content-Type: multipart/alternative; boundary="0000000000002cdca205bf373403" --0000000000002cdca205bf373403 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, A quick reminder of the researcher position in HoTT that I advertised a couple of weeks ago, with deadline this Friday (9 April). One point a couple of people asked about: Yes, this is effectively a postdoc =E2=80=94 it=E2=80=99s formally called a =E2=80=9Cresearcher=E2=80= =9D position here for administrative reasons. We are interested in applicants at any post-PhD stage (or expecting to complete their PhD before the position starts). Application link: https://www.su.se/english/about-the-university/work-at-su/available-jobs?rm= page=3Djob&rmjob=3D14506&rmlang=3DUK Once again, let me know if you have any questions! Best wishes, =E2=80=93Peter. On Mon, Mar 22, 2021 at 12:31 PM Peter LeFanu Lumsdaine < p.l.lumsdaine-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote: > > Dear all, > > I=E2=80=99m pleased to announce that we=E2=80=99re hiring for a researche= r position in Homotopy Type Theory at Stockholm University. It=E2=80=99s a 2 year positi= on, provisionally starting this August, in the logic group of the Mathematics Department, supported by the Wallenberg Foundation project grant =E2=80=9CT= ype Theory for Mathematics and Computer Science=E2=80=9D (PI Thierry Coquand). = The application deadline is 9 April. > > We welcome all applicants interested in working on homotopy type theory and related topics =E2=80=94 either with previous background in HoTT, or wi= th background in related fields but interested in moving into HoTT. > > Full details and application at > https://www.su.se/english/about-the-university/work-at-su/available-jobs?rm= page=3Djob&rmjob=3D14506&rmlang=3DUK > Departmental webpage: https://www.math.su.se > > Please get in touch with me if you have any questions about the position! > > Best, > =E2=80=93Peter. --0000000000002cdca205bf373403 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

A quick reminder of the researcher positi= on in HoTT that I advertised a couple of weeks ago, with deadline this Frid= ay (9 April).

One point a couple of people asked about: Yes, this is= effectively a postdoc =E2=80=94 it=E2=80=99s formally called a =E2=80=9Cre= searcher=E2=80=9D position here for administrative reasons.=C2=A0 We are in= terested in applicants at any post-PhD stage (or expecting to complete thei= r PhD before the position starts).

Application link: https://www.su.se/english/about-t= he-university/work-at-su/available-jobs?rmpage=3Djob&rmjob=3D14506&= rmlang=3DUK

Once again, let me know if you have any questions!<= br>
Best wishes,
=E2=80=93Peter.

On Mon, Mar 22, 2021 at 12:31= PM Peter LeFanu Lumsdaine <p= .l.lumsdaine-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:
>
> Dear all,
>
= > I=E2=80=99m pleased to announce that we=E2=80=99re hiring for a resear= cher position in Homotopy Type Theory at Stockholm University.=C2=A0 It=E2= =80=99s a 2 year position, provisionally starting this August, in the logic= group of the Mathematics Department, supported by the Wallenberg Foundatio= n project grant =E2=80=9CType Theory for Mathematics and Computer Science= =E2=80=9D (PI Thierry Coquand).=C2=A0 The application deadline is 9 April.<= br>>
> We welcome all applicants interested in working on homotopy= type theory and related topics =E2=80=94 either with previous background i= n HoTT, or with background in related fields but interested in moving into = HoTT.
>
> Full details and application at
> https://www.su.se/english/about= -the-university/work-at-su/available-jobs?rmpage=3Djob&rmjob=3D14506&am= p;rmlang=3DUK
> Departmental webpage: https://www.math.su.se
>
> Please get in touch with= me if you have any questions about the position!
>
> Best,
= > =E2=80=93Peter.
--0000000000002cdca205bf373403-- --===============8300073059331799844==--