From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10719 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: PhD positions in Stockholm, deadline this Friday, 22 April Date: Tue, 19 Apr 2022 11:55:36 +0200 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============7863123100722815876==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="11514"; mail-complaints-to="usenet@ciao.gmane.io" To: constructivenews-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org, "HomotopyTypeTheory-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org" , Categories list , types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Tue Apr 19 14:07:16 2022 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0b-00390e01.pphosted.com ([148.163.137.158]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1ngmdX-0002ho-SX for gcst-types-announce@m.gmane-mx.org; Tue, 19 Apr 2022 14:07:16 +0200 Original-Received: from pps.filterd (m0172794.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.16.1.2/8.16.1.2) with ESMTP id 23J81D60012872; Tue, 19 Apr 2022 08:06:40 -0400 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0b-00390e01.pphosted.com (PPS) with ESMTP id 3fgb7mbn5f-1; Tue, 19 Apr 2022 08:06:39 -0400 Original-Received: from RHIZOME.seas.upenn.edu (RHIZOME.SEAS.UPENN.EDU [158.130.69.24]) by leopard.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 23JC6Yoq008062; Tue, 19 Apr 2022 08:06:34 -0400 Original-Received: from rhizome.seas.upenn.edu (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 23JC6Yb7113556; Tue, 19 Apr 2022 08:06:34 -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.15.2/8.15.2) with ESMTP id 23J9toXt103998 for ; Tue, 19 Apr 2022 05:55:51 -0400 Original-Received: from pps.filterd (m0172791.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.16.1.2/8.16.1.2) with ESMTP id 23J7K3st028706 for ; Tue, 19 Apr 2022 05:55:50 -0400 Original-Received: from mail-wr1-f42.google.com (mail-wr1-f42.google.com [209.85.221.42]) by mx0a-00390e01.pphosted.com (PPS) with ESMTPS id 3fgb05jcat-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Tue, 19 Apr 2022 05:55:50 -0400 Original-Received: by mail-wr1-f42.google.com with SMTP id p18so20850282wru.5 for ; Tue, 19 Apr 2022 02:55:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to; bh=HZRVtm2/xcwVgdnCsOn5zfgSWwgqFeFGhNzov2x1zQ8=; b=b37iVEFHZ08WBrNJpOg53whCH3VZSnN4pR5Oukcmpnvsw/IT1qQXTaVmitK/JzYOpT fb5GirJUa6E097ikzBZZCM3K7Ox2+TGuJPTJ6iV9jvujeDESoK3x74suBEoTvKAwVx5E S8Kii3h7r0P0l8/Lnz4QOEwDmMEhDzbOmMe9q7kpgyKL4pDwdtAPUuc58rePuLjNhWxi Ob++yF0hFeNFMyGKiu+dHdEkSGYCmhnHv0IBpw4iES/ESLOogKdbbdmVKKPZTXYfJso4 A0U2hC+xVeU0uTeu3kNeKqpx6z3Coj9vd16+02vML6HgqujmvfVUy0fg/I3QImWgGAEy I5Dg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=HZRVtm2/xcwVgdnCsOn5zfgSWwgqFeFGhNzov2x1zQ8=; b=HliC7JTI6rsRMG3GP6/C6ck3eifaIXz1YxSn+847uLZ1EP/ac4GHsc8B2wKzAPtWKW O2AvvCY5TwcbfkVyYBqtGf4hFpMW5kD1FY0gy0h6AbQgq0PKmAkK/Lxyb3J3kUm8cNC3 GnKqxieCiRcZBqip7jnFUUuHBXpsP0VUbTWfF+LUJhuy4TQVSr3viiHkkVZNCcnwQgeu sJLsY99tKE2w85bc6JsZM/pgQEPmUZPXB7MqTfpaOox974R7IgsVA6WiGQDMllYADbIH Rv2GkkJBUbfwzwxGwxJ7jGWfQH19E1vKX8iSzX4PISo+szVMSmbCmAwBKs5cKUy9O9Hr aOCg== X-Gm-Message-State: AOAM532bVrX/HXKNSrditl+A27X7Z5b2KrJzJu9FcFYMqkBF7MpeemqK LhP6dxuDDprMsCjykAQ6eldFAhutFyq6ntpaF2hkp1FXby0= X-Google-Smtp-Source: ABdhPJy6B6ZIN/1SKZUddSFX9SwDXYxkm4FtMRJaKaHLpv1kKqQAcJ4noUMqfaLBRsKL7qjI1S/O1kwbKsRk+ghe8YM= X-Received: by 2002:adf:eaca:0:b0:207:b2d1:6487 with SMTP id o10-20020adfeaca000000b00207b2d16487mr11287102wrn.444.1650362148176; Tue, 19 Apr 2022 02:55:48 -0700 (PDT) X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.858,Hydra:6.0.486,FMLib:17.11.64.514 definitions=2022-04-19_04,2022-04-15_01,2022-02-23_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 malwarescore=0 suspectscore=0 bulkscore=0 clxscore=187 priorityscore=360 spamscore=0 adultscore=0 impostorscore=0 mlxscore=0 phishscore=0 lowpriorityscore=0 mlxlogscore=761 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2202240000 definitions=main-2204190055 domainage_hfrom=9746 X-Mailman-Approved-At: Tue, 19 Apr 2022 08:06:33 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.35 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: vyEu62FMGy7VyW7rQyda-82j9x2gIMvN X-Proofpoint-ORIG-GUID: vyEu62FMGy7VyW7rQyda-82j9x2gIMvN X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.858,Hydra:6.0.486,FMLib:17.11.64.514 definitions=2022-04-19_05,2022-04-15_01,2022-02-23_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 lowpriorityscore=0 impostorscore=0 suspectscore=0 bulkscore=0 mlxlogscore=999 malwarescore=0 mlxscore=0 spamscore=0 adultscore=0 clxscore=1034 phishscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2202240000 definitions=main-2204190068 Xref: news.gmane.io gmane.comp.science.types.announce:10257 gmane.science.mathematics.categories:10719 Archived-At: --===============7863123100722815876== 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 ] --===============7863123100722815876== Content-Type: multipart/alternative; boundary="00000000000097c62d05dcfee1c0" --00000000000097c62d05dcfee1c0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: Quoted-printable Dear all, A reminder for all interested in the PhD openings here that the deadline is *this Friday*, 22 April (full information repeated below). (Note: if you=E2=80=99ve contacted me about this before last week and I hav= en=E2=80=99t replied yet, please write again =E2=80=94 at least a couple of inquiries go= t caught in my spam filter, so it=E2=80=99s possible there are more I missed, for wh= ich my apologies! If you wrote last week, expect a reply today.) Best, =E2=80=93Peter. Dear all, We are recruiting for PhD students in HoTT (and other topics) at the Stockholm University Department of Mathematics, starting Autumn 2022. The deadline for applications is Friday, April 22. Full details and application are through the university website: https://urldefense.com/v3/__https://www.su.se/english/about-the-university/= work-at-su/available-jobs/phd-student-positions-1.507588?rmpage=3Djob&rmjob= =3D17395&rmlang=3DUK__;!!IBzWLUs!AZmFWVrBxolcx8HvniMCF972CP4GIijk4IINObI2Nv= ehuDX_mwjTAXw2mAnrjQ33ChKB54K_PRAYJA$=20 Please contact me if you have any questions about the position! And (for advisors) please pass this on to any interested masters-level students. Answers to a few common questions: - PhD positions in Sweden are fully funded, with a livable salary. - The position includes up to 20% teaching. - Swedish speaking isn=E2=80=99t required, either formally or practically (= though learning it during the PhD is encouraged) =E2=80=94 all higher-level teachi= ng is done in English, and most administrative business (including all necessities) can be. Best wishes, =E2=80=93Peter. --00000000000097c62d05dcfee1c0 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: Quoted-printable
Dear all,

A reminder for all interested= in the PhD openings here that the deadline is *this Friday*, 22 April (ful= l information repeated below).

(Note: if you=E2=80= =99ve contacted me about this before last week and I haven=E2=80=99t replie= d yet, please write again =E2=80=94 at least a couple of inquiries got caug= ht in my spam filter, so it=E2=80=99s possible there are more I missed, for= which my apologies!=C2=A0 If you wrote last week, expect a reply today.)

Best,
=E2=80=93Peter.


Dear all,

We are recruiting f= or=C2=A0PhD=C2=A0students in HoTT (and other topics) at the Stockholm University Department= of Mathematics, starting Autumn 2022.=C2=A0 The deadline for applications = is Friday, April 22.

Full details and application are through the un= iversity website: https://www.su.se/english/about-the-university/work-at-su/available-jobs/p= hd-student-positions-1.507588?rmpage=3Djob&rmjob=3D17395&rmlang=3DU= K
=C2=A0 Please contact me if you have any questions about the posit= ion!=C2=A0 And (for advisors) please pass this on to any interested masters= -level students.

Answers to a few common questions:
-=C2=A0PhD<= /span>=C2=A0positions in= Sweden are fully funded, with a livable salary.
- The position includes= up to 20% teaching.
- Swedish speaking isn=E2=80=99t required, either f= ormally or practically (though learning it during the=C2=A0PhD=C2=A0is encouraged) =E2=80= =94 all higher-level teaching is done in English, and most administrative b= usiness (including all necessities) can be.

Best wishes,=
=E2=80=93Peter.
--00000000000097c62d05dcfee1c0-- --===============7863123100722815876==--