From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 19408 invoked from network); 28 Oct 2020 15:44:17 -0000 Received: from mail-yb1-xb39.google.com (2607:f8b0:4864:20::b39) by inbox.vuxu.org with ESMTPUTF8; 28 Oct 2020 15:44:17 -0000 Received: by mail-yb1-xb39.google.com with SMTP id h64sf5451288ybc.1 for ; Wed, 28 Oct 2020 08:44:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=407TCtbX/sqp6uOdnW4ipJq1OwTlBIxN6AJDvBnOHFI=; b=U4iIPR6XkJys1vcVmf85pYzJ9eJ94RtSzLvWpuNoHAQvhroOlrTW5TpXWEjbYeEztW VtsbiyAhpJLClUGf7LASVGB3Ct/jRDCbmJwOh+pGfUdkPcS2tlCUJkMVjIO8Wi8fRPsJ pRs3GdSJqjS0lc9TqJsMOXUdsAs4ugJwwy5FZTprTA9k6erdv3YZ532u1H/Etu2eLH3t 4O5izWfphfHti/jVnBCt51iXphuUzbgR0Egcpq2WGLya/fNHiHiwulWgO8IhlxeZ+X5+ VcuY1LIXOJ7RfOtuV3gSIikqZ3M0maL7lX6P/dyhrx00KZJUa9ZBbWS4n0K+wnCEVygV HGYQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:subject:mime-version:x-original-sender :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=407TCtbX/sqp6uOdnW4ipJq1OwTlBIxN6AJDvBnOHFI=; b=vEzAJj/uu3apQWJqx5mFusEzFaubxcQ+rWGRfqfXAPGbMEsm3/4XZLJG31LAiP1yWm 2XYQrfiksK7JTakKN/mi5oCGGQA0N1X2gDnkCcObhHmb8ev5KxG5rTMlHB5YgM4CIwSm 9nsLwDdyH65uYvR7wSj+p5p7ho10SWM/L7tJ9N8aarg7JmhRcNXkemlk8aH4okOqGfgl COGM1n67DnUo8VzxIK2/fLaZYMpZ8MgKwHnoATWlnGeev7jLMu06Qbe9ZEDo6q8YBLat 2n/6e4+PrbyeSK+0o+EOvXfunHnsoLbum5wVappW46RwPg69ElDgC8Cer7CO2WEIOVKE HXDw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:date:from:to:message-id:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=407TCtbX/sqp6uOdnW4ipJq1OwTlBIxN6AJDvBnOHFI=; b=MDv+yvXnPqZpFPhieZazAUxv5RHA2ehhzEqlUwg4u8+72mvJaw9v5OL0xsAWYAwWQo 8cJgtmdany87VA2W89xmxRyyXHHE+6qyftXR1obqRL2PeQRe/As5QG5NYRfzJXIlWQi1 UaRotOpNiLKfRoG+tWFLQMX7uZg/S7IX+uhDKNi+kArWal4k6M/Kjbp6BCD0hvqtplm2 tA3So2OkdLDKVKYk7lXKMLJRRum6Oj3Op/AJtNiaM9TEm1NoE2maSuGnPg+vX763j3Hk M6+UKNGANvd8+QNEcBa+xivuVSNh45hqDqibRmzFXOsBI8SjfmQXKWvoZbF0EAx3Lhve hIEg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM5304+jb+H30jPtPQc5MWtHbk9F+xeZvpxSawBWC/gFIWVgFCMbAj 7HxeUFPTr0DtAaUZMLIpsWk= X-Google-Smtp-Source: ABdhPJyKExZQaiO7hTc/CBuG5ybmAPEdtc82kfZVG4pnhYY5VRlvlWrHLmXSXQtKGjDBBBaes4yHVA== X-Received: by 2002:a25:7411:: with SMTP id p17mr11521988ybc.118.1603899854327; Wed, 28 Oct 2020 08:44:14 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:2c04:: with SMTP id s4ls2674009ybs.0.gmail; Wed, 28 Oct 2020 08:44:13 -0700 (PDT) X-Received: by 2002:a25:6dc6:: with SMTP id i189mr11081634ybc.299.1603899853624; Wed, 28 Oct 2020 08:44:13 -0700 (PDT) Date: Wed, 28 Oct 2020 08:44:12 -0700 (PDT) From: Benno van den Berg To: Homotopy Type Theory Message-Id: Subject: [HoTT] Assistant professor position in Theoretical Computer Science at the ILLC MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_194_293703134.1603899852749" X-Original-Sender: bennovdberg@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: , ------=_Part_194_293703134.1603899852749 Content-Type: multipart/alternative; boundary="----=_Part_195_672597700.1603899852749" ------=_Part_195_672597700.1603899852749 Content-Type: text/plain; charset="UTF-8" Dear all, The Institute for Logic, Language and Computation (part of the University of Amsterdam) will be hiring an assistant professor in Theoretical Computer Science. The official add is available here: https://ivi.uva.nl/shared/uva/en/vacancies/2020/10/20-647-assistant-professor-theoretical-computer-science.html?origin=dXb5vvhxSni9fe05dSz4fA Best wishes, Benno -- 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/fd89dad4-f27f-4d87-93a0-a85d4713ea92n%40googlegroups.com. ------=_Part_195_672597700.1603899852749 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

The Institute for Logic, Language a= nd Computation (part of the University of Amsterdam) will be hiring an assi= stant professor in Theoretical Computer Science. The official add is availa= ble here:

https://ivi.uva.nl/shared/uva/en/vacanci= es/2020/10/20-647-assistant-professor-theoretical-computer-science.html?ori= gin=3DdXb5vvhxSni9fe05dSz4fA

Best wishes,

Benno

--
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.c= om/d/msgid/HomotopyTypeTheory/fd89dad4-f27f-4d87-93a0-a85d4713ea92n%40googl= egroups.com.
------=_Part_195_672597700.1603899852749-- ------=_Part_194_293703134.1603899852749--