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 24090 invoked from network); 27 Jan 2022 11:51:38 -0000 Received: from mail-yb1-xb3f.google.com (2607:f8b0:4864:20::b3f) by inbox.vuxu.org with ESMTPUTF8; 27 Jan 2022 11:51:38 -0000 Received: by mail-yb1-xb3f.google.com with SMTP id y4-20020a5b0f44000000b00611862e546dsf5590029ybr.7 for ; Thu, 27 Jan 2022 03:51:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; 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-subscribe:list-unsubscribe; bh=cVDJ1bO7q6znWODRBFVNSUKP8huCgOlYpKulef6TiZ0=; b=rDwpszXshbq2QPidx4R4RJHzgm6kpSWJWjd7XJlVGOqErReJRzAg8c80fsm+Ut/txf 8iYQXNDJc5ztytwRcTcO7ECs4W2U/U2F+PddQKSCx6yyTSJKrVL1IyxswfNaYknEQ+pi sZbzNks+gFczw4zLnJjP9PheCbnLX4wePoYaSNkkqg/A4ZkNwHlAoj7UfaABPYhiuHrN 31QBdKLxqa9F/4IPILnFlpLmH0pZCEw643zGhY7OL7TB992MtBG9Uf2YWYKcJMmMhlm+ QWHyfDJVaTvT/63JtBna4cqNuqyqUi4ubntfPgPYGGDPjV2KWhpjxM0UXJBYXtLiD74W VEyg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=date:from:to:message-id:subject:mime-version:x-original-sender :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=cVDJ1bO7q6znWODRBFVNSUKP8huCgOlYpKulef6TiZ0=; b=okXhZKusKih83Hw+X7SaKTQp9qZmjIitI6woWOlFJ7OzTOXf49DZX0tkSLmSGYbrDh EtOnx5535Azf7Y9KZ7LcAu9NiLzkb/ffrwHoH9Vshhr5KfS1T1Ow4wP/LDxyCZZdGj6A qxMIBaqV1/48h331k2cy+nBEg5gg7cwKtYqQuigwjrxUNwiNp7YD2xh8eja/TJ6CyFaZ ksom7GGe7JP1rZQ+nndIPl/oGGVDcsTYKOH6DQNVZbeWEiruACq8BkodNfaxDjmmMc3G bILKuW6v7w83w0OYBmi1z6uOK6lM2UCQGwoCY0/Wmpy9iF2RwOVsR2wk1KKAkHJDSlQI jtmQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; 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-subscribe:list-unsubscribe; bh=cVDJ1bO7q6znWODRBFVNSUKP8huCgOlYpKulef6TiZ0=; b=AQoJPu0+meyppdnWpxNxalhvCEOJMFQPuNh9lOMYvz8NmrbfG6SK524Xmkwt3Qs6uk 0+kEMEKba4IK6jFqVQ9y+zDBY+prmVE7TP6C/p3uvtBrbuSPQREybo4rn0Z8s0hCRbgx ugGC73EmTSE28d1vK0Yiw/D+/YzkT/XGqfQOhV+/OEASOQJ5lB1rZHuZjf54ldgu3znx taYdwGjMyQh1KCfpVVrkpvuufDaMeQpDcRJjbPU3zhQkR8yIrCQyrfVrNWu4XopUklHZ ys3Y2BxFUU5mkIkA1EWuPd3/CEjmw/ZogkgqmIJ4EuzIoQ0mPHyUUc6KqpHGkUHbuoDV XE2g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533eRIS7JGvjZ2XLydaH3G5Q5eGXIWo2UVY8QNsufOTQDkL0yyKS EPuWX/pClPXvfgcg1B7IXGE= X-Google-Smtp-Source: ABdhPJweNBr2yq7WwuzioQQ4lzK+caOWhO5KPYaH9uclEjnQwSd8fxb35671EjH66tRfTYjwbzfkmA== X-Received: by 2002:a5b:4c3:: with SMTP id u3mr5206302ybp.662.1643284296722; Thu, 27 Jan 2022 03:51:36 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:e790:: with SMTP id e138ls5253406ybh.0.gmail; Thu, 27 Jan 2022 03:51:35 -0800 (PST) X-Received: by 2002:a05:6902:120c:: with SMTP id s12mr5319502ybu.100.1643284295627; Thu, 27 Jan 2022 03:51:35 -0800 (PST) Date: Thu, 27 Jan 2022 03:51:34 -0800 (PST) From: Benno van den Berg To: Homotopy Type Theory Message-Id: <32f1a802-22f6-4b94-831e-df624d1efe2fn@googlegroups.com> Subject: [HoTT] Multiple faculty positions in Theoretical Computer Science at the University of Amsterdam MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_810_1106499533.1643284294924" 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: , List-Unsubscribe: , ------=_Part_810_1106499533.1643284294924 Content-Type: multipart/alternative; boundary="----=_Part_811_1083064163.1643284294924" ------=_Part_811_1083064163.1643284294924 Content-Type: text/plain; charset="UTF-8" Dear all, The University of Amsterdam has advertised multiple faculty positions in Theoretical Computer Science. Please find the advert below. Best wishes, Benno ============================ Deadline: Monday 7 February 2022 Are you working at the forefront of theoretical computer science and are you equally passionate about research and teaching in this field? Are you looking forward to taking the next step in your career and are you excited about joining a renowned interdisciplinary research institute with a strong international orientation? The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam (UvA) is seeking to significantly strengthen its profile in the domain of theoretical computer science by appointing two new faculty members in this area. One appointment will be made at either the Full Professor or the Associate Professor level, and another at either the Associate Professor or the Assistant Professor level. We are looking for outstanding academics, with a strong track record in research (relative to the level of seniority of the applicant) and a true dedication to first-class teaching. We offer a temporary employment contract for a period of two years, with the intention of converting it into a permanent contract after a positive assessment. For more information, see http://www.illc.uva.nl/ NewsandEvents/News/Positions/newsitem/13249/Multiple-Faculty-Positions-in- Theoretical-Computer-Science or at https://vacatures.uva.nl/UvA/job/Faculty-Positions-in- Theoretical-Computer-Science/737826402/ or contact Prof. dr. Ulle Endriss at U.Endriss at uva.nl. -- 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/32f1a802-22f6-4b94-831e-df624d1efe2fn%40googlegroups.com. ------=_Part_811_1083064163.1643284294924 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

The University of Amsterdam has=20 advertised multiple faculty positions in Theoretical Computer Science.=20 Please find the advert below.

Best wishes,

Benno

=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Deadline: Monday 7 February 2022

Are you working at the forefront of theoretical computer science and=20 are you equally passionate about research and teaching in this field?=20 Are you looking forward to taking the next step in your career and are=20 you excited about joining a renowned interdisciplinary research institute with a strong international orientation?

The Institute for Logic, Language and Computation (ILLC) at the=20 University of Amsterdam (UvA) is seeking to significantly strengthen its profile in the domain of theoretical computer science by appointing two new faculty members in this area. One appointment will be made at either the Full Professor or the Associate Professor=20 level, and another at either the Associate Professor or the Assistant=20 Professor level.

We are looking for outstanding academics, with a strong track record=20 in research (relative to the level of seniority of the applicant) and a=20 true dedication to first-class teaching. We offer a temporary employment contract for a period of two years, with the intention of converting it into a permanent contract after a=20 positive assessment.

--
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/32f1a802-22f6-4b94-831e-df624d1efe2fn%40googl= egroups.com.
------=_Part_811_1083064163.1643284294924-- ------=_Part_810_1106499533.1643284294924--