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.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, MIME_HTML_ONLY,MIME_HTML_ONLY_MULTI,MPART_ALT_DIFF,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-pj1-x103c.google.com (mail-pj1-x103c.google.com [IPv6:2607:f8b0:4864:20::103c]) by inbox.vuxu.org (Postfix) with ESMTP id 651A127CDD for ; Mon, 1 Jul 2024 18:29:29 +0200 (CEST) Received: by mail-pj1-x103c.google.com with SMTP id 98e67ed59e1d1-2c7316658ccsf2159730a91.3 for ; Mon, 01 Jul 2024 09:29:29 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1719851367; cv=pass; d=google.com; s=arc-20160816; b=0XO/ZFaGb8sf4DV9+B+OKYF3CzC9KA00heuem9/3VyP8mIUnk/EqJjkuQJI+z/l5PS qRYxPAgzcG/aJpCTaeQrvepL5pTz+YN2MSdzwviVb9E7AgMOrR6GPIxKDscwkX16VQS1 RQakE5NJjNbqB/Z3BjJOKdLotuA7IOsXgMBuRhJHGGvRvNxNIz/UJb5ECzOuWTsaOEEu v1iyP9falc3ehtAxRGqQyMbOnVLPPUnomwiHj+d8HcPBQDankh3x3QYnTlWETSF916Jy R1u5MhtUBUF4sqClNZVe4tTC4HPGlA8qsH9deAVA/TPMRKaOO0swgLakyxVXsmcG+mfm Nv0A== 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:to:references:message-id:subject:date :mime-version:from:content-transfer-encoding:sender:dkim-signature :dkim-signature; bh=iAEbAfYaMLDyLQ5FutzYtMhRObApkJNYrQeVXDLcaVI=; fh=WTlGn0uGgxYpHTPO7tbMtUrYcQDb+7EUoZ6ujhxKCvc=; b=kE17n1+y0kKdGBfeyknLmhoYB+QmmZ7LE6asphSO4lKGr5dbGXmrcbrw7AfTiRh8QY Rh0QRfcX5tk9n42xsniPf2NNTu8IZjZu76wPk0Q/MXLSl3q6H2VccDj03zXNE30KofhZ rR/9eKjYRG9xJe0iheLt0xTL+sNrFzWzrImN+IxF2RkBbHIicuqnTJNUt+PR0TP3LhZZ tMgkGaJtbcwWVbbUlca9kDpWe85eUVDUcDp+KqZurd+zceKWn7w08N1e40lWGJFaL1/J 6fTRcxmza9GsY4D8t12W5+kl1tUQLzqSh31WdzPbc+lTzdMO7C35v6dBM8DkYlzZaG2q Vzlg==; darn=inbox.vuxu.org ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=TTH2Sh3K; spf=pass (google.com: domain of steveawodey@gmail.com designates 2607:f8b0:4864:20::72a as permitted sender) smtp.mailfrom=steveawodey@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=20230601; t=1719851367; x=1720456167; 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:to:references:message-id:subject:date :mime-version:from:content-transfer-encoding:sender:from:to:cc :subject:date:message-id:reply-to; bh=iAEbAfYaMLDyLQ5FutzYtMhRObApkJNYrQeVXDLcaVI=; b=q20/HfT3mcsRp1CmNmnTkcnCrBmkJljrx7lP2I3q9VB5moXNQ9JWV6+l6YPamJ4pc6 5Vxs0SSpuJg7btc29tozqspsIrkxZO5CO+MZOKPbtwjBLH5nZFjDDNFmSBAyLyLWNN9S Dy+0WLWHj3IBwagQTOi8jSwxrjUJzxO9+Q3SD0jRYQJHOcl4/4Onc/+qiWGRadmvsc/w RloIKqyo5ysio/u4gv5AtIj3Us6PXDRvUKPR2TXstM3Hq0uZHBEuuY4GPsr0RFjVNVb5 GKLN0m9MID/X8aFaif7UQIoas91y8nZQAqwS4LPXSWnhl7bYUXH3xdESkD0+WR1Frs8B VlEg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1719851367; x=1720456167; 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:to:references:message-id:subject:date :mime-version:from:content-transfer-encoding:from:to:cc:subject:date :message-id:reply-to; bh=iAEbAfYaMLDyLQ5FutzYtMhRObApkJNYrQeVXDLcaVI=; b=Ly1I9oVylG/ormMAjz0M7TULB4hAtZiTYGSdvfIgbPL8kIwRSBwGZIlqNWvUeQ7IdQ TgYo3Izdr3YXnsGK70VPSgM2EnDie0pO7YdESXgiCXg6AO40Un22EykYqPTRVq5HwoSA K2I4Z7zyZYOdS/6wDhjKAVwR0all3icwXChEdpO0Zj/Z/d3XFP3ud724CfJ7TsgsfYuJ lcayeuvl+p+pMRKTvCvIHGcZs3+/mbXrw+zFHbyHFMepPliTUvJRM1aoJgqEbtNLBJjx eraObomInCijRxW7bVEYsyn7iHqhBeX6WANbCoCKOmHVHYtwSV6dazBjg30peeNSPYr9 uXXw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1719851367; x=1720456167; 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:to:references :message-id:subject:date:mime-version:from:content-transfer-encoding :x-beenthere:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=iAEbAfYaMLDyLQ5FutzYtMhRObApkJNYrQeVXDLcaVI=; b=TnFt9IYqaurIR44MYfP67zpzy4BNI0RR8RFGaEKVcbKw0kGxfEeem39fYfj8ZoOFjA I78sdDAECXkCXHfUAiRHEYcoyA7J1lXCS/8uQFOqUa6Ca31lLSzS15ElLWAtHcGNgeGT Q++nt7F8NRHyjk3r/TpBDWJ2ioGoVVAOdu4x7VJ+j44FjQ31rlmfMRBpOLuAY20L9bEu fZYkwb3Y6xIiTH4NwS01slSuZURbLxmiIyDA8YkIq96qhnoEXBTsPkUC3WOUZG0M3G6v LCjDXcgrKlTcX6YrFpq/N1x0gLIJe8neEYDnzUzz4BhKMrfMxdyh8z9CoCl6FUekfhW6 xQOg== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=2; AJvYcCVlpCTvg5B3ydFL/R8TtooBSpNf9zV1ldpeiqDJ/Q9aQ6D8UaUcn0P/RcFRf5/BFXfnsQMkkherimQ5ziTZbujv2g== X-Gm-Message-State: AOJu0Yw4wIpVVZ8MxRiJnlYq7kp+FkV/TL4IHN5laxk9rx/Mov/2zVej NxOLp2frs0EjoszJVGCeo4sFeziB68zV96t443tTobSB/C9WpS0t X-Google-Smtp-Source: AGHT+IEapV0LkeUIt8eFt8adQMXrNCmweHiTpaIu5cQRFx8CGpLLFNLxLsKa6qAYtDZytqu/PgqMGA== X-Received: by 2002:a17:90b:8cf:b0:2c2:8a67:96e4 with SMTP id 98e67ed59e1d1-2c93d6ea804mr3048873a91.7.1719851367437; Mon, 01 Jul 2024 09:29:27 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:90a:8c0e:b0:2c7:cfc9:aaff with SMTP id 98e67ed59e1d1-2c924b74a07ls1288197a91.2.-pod-prod-07-us; Mon, 01 Jul 2024 09:29:24 -0700 (PDT) X-Received: by 2002:a17:90b:198f:b0:2c2:dee2:ed41 with SMTP id 98e67ed59e1d1-2c93d709308mr3010560a91.19.1719851363756; Mon, 01 Jul 2024 09:29:23 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1719851363; cv=none; d=google.com; s=arc-20160816; b=w7x56+Jd3P5P81M8OcQdU2ZWJFHjk+6zVwrk+zxc/lWv2qUe6cYuX5W5hrjXMXdqOk 37lgSmJ2XcGCN39ePZh0YSdKI1SYkyde8u859dvlOBG644th+31Po68HGkZ7Gz6S0SnM mqQNSEFQqxNHNFxl0vG+xQTZDBWUtYhzfIuCmVWMuyf/MReQzOSeD7YsahJgMfPJEciw x0nyxnfwycApm/0hUwBVDPyVHZI9/H3SY85v6FQv2HjXL9HX+SoKxEjuqv61h+OMtER7 k29NbzP2h0TkXAU7afYX5oJI0JzsEgoJEsbECcVSZc/PebHXz/oJWbd0+RqUHwFOmYvf hvEQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:references:message-id:subject:date:mime-version:from :content-transfer-encoding:dkim-signature; bh=vI9IEiSUMzBR7meGOlX3f+kIfMo4iNiXPnTUqwSR7T4=; fh=3sIP6N/TEjoc1Uq37Y498r2kAtX4ApZak0DpOSnwMFI=; b=ciGz2ZnCYlHZWlCjA44mPRxVbYyvLKoir0k8AV+r8v2mCyIpA8plPU1JxZUVi2zUdR eJGk9q2Kcr+ig5LIh6FFxHZY061hcNYKP67XvE2YPADkx5SRUJ3uFwP6IGzzlMT6QR9o 7JF+1MsUEg0R+9wxRlSKTRCubDbATBlcMyxDwgrsXj9gPQnvYDj1rF6sP4nzLk7NwZ4H +LJSXIfxEjt8bzD9s9sY/HjSoa9we1ZrcBBG673ywP2mi2BYaqc86x5tjU6+eYm50npr 5OZ3FWiyDL60WueHAdkLfnb41VNIZndhv9g7TeVVR1XdNpd2DDysUQ5zgyKxXp9OS5nW beZA==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=TTH2Sh3K; spf=pass (google.com: domain of steveawodey@gmail.com designates 2607:f8b0:4864:20::72a as permitted sender) smtp.mailfrom=steveawodey@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-qk1-x72a.google.com (mail-qk1-x72a.google.com. [2607:f8b0:4864:20::72a]) by gmr-mx.google.com with ESMTPS id 98e67ed59e1d1-2c93bb01c1bsi499213a91.1.2024.07.01.09.29.23 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 01 Jul 2024 09:29:23 -0700 (PDT) Received-SPF: pass (google.com: domain of steveawodey@gmail.com designates 2607:f8b0:4864:20::72a as permitted sender) client-ip=2607:f8b0:4864:20::72a; Received: by mail-qk1-x72a.google.com with SMTP id af79cd13be357-79c084476bdso297372585a.3 for ; Mon, 01 Jul 2024 09:29:23 -0700 (PDT) X-Received: by 2002:ad4:576e:0:b0:6b5:1f3e:a92c with SMTP id 6a1803df08f44-6b5b71b6f32mr89496686d6.58.1719851362438; Mon, 01 Jul 2024 09:29:22 -0700 (PDT) Received: from smtpclient.apple (pool-98-111-212-113.pitbpa.fios.verizon.net. [98.111.212.113]) by smtp.gmail.com with ESMTPSA id 6a1803df08f44-6b59e5f5b12sm34474746d6.94.2024.07.01.09.29.21 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 01 Jul 2024 09:29:22 -0700 (PDT) Content-Type: multipart/alternative; boundary=Apple-Mail-EF43D242-B012-414D-A0E5-1878309627CA Content-Transfer-Encoding: 7bit From: Steve Awodey Mime-Version: 1.0 (1.0) Date: Mon, 1 Jul 2024 12:28:57 -0400 Subject: [HoTT] CfA: Associate Senior Lecturer in Logic, Gothenburg (Sweden) Message-Id: <9743BD12-D7CE-4B5C-91D5-28F2EE98A3D6@gmail.com> References: To: homotopytypetheory@googlegroups.com X-Mailer: iPhone Mail (21E236) X-Original-Sender: steveawodey@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=TTH2Sh3K; spf=pass (google.com: domain of steveawodey@gmail.com designates 2607:f8b0:4864:20::72a as permitted sender) smtp.mailfrom=steveawodey@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: , --Apple-Mail-EF43D242-B012-414D-A0E5-1878309627CA Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable



Begin forwarded message:

From: Bahareh Afshari <bahareh1812@gmail.com&g= t;
Date: July 1, 2024 at 11:55:25 EDT
To: constructiven= ews@googlegroups.com
Subject: CfA: Associate Senior Lecturer i= n Logic, Gothenburg (Sweden)

=EF=BB=BF
Dear Colleagues,

We are pleased to announce that the Logic Group at the University = of Gothenburg is seeking an Associate Senior Lecturer in Logic. This tenure= track position offers an excellent opportunity to establish your independe= nce as both a teacher and researcher, with the potential for promotion to a= tenured Senior Lecturer position within five years. Furthermore, Senior Le= cturers at our university can apply for promotion to a full Professorship b= ased on their achievements. 

Primary consider= ation will be given to applicants who have been awarded a PhD within the pa= st five years from the application deadline.

Appli= cation Deadline: 27th August 2024
Information about the Logic Group: h= ttps://www.gu.se/en/flov/our-research/research-areas/research-in-logic<= /div>

Please feel free to share this with int= erested colleagues. Enquiries can be sent directly to me.

Best regards,
Bahareh

--
You received this message because you are subscribed to the Google Groups "= constructivenews" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to co= nstructivenews+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/m= sgid/constructivenews/F7BCD5CB-44C1-43C2-9A3F-022209B961FC%40gmail.com.=

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msg= id/HomotopyTypeTheory/9743BD12-D7CE-4B5C-91D5-28F2EE98A3D6%40gmail.com.=
--Apple-Mail-EF43D242-B012-414D-A0E5-1878309627CA--