From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.7 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, RCVD_IN_DNSWL_NONE,T_KAM_HTML_FONT_INVALID autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-pl1-x639.google.com (mail-pl1-x639.google.com [IPv6:2607:f8b0:4864:20::639]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id fe5db7eb for ; Fri, 27 Sep 2019 12:28:25 +0000 (UTC) Received: by mail-pl1-x639.google.com with SMTP id 70sf1558568ple.1 for ; Fri, 27 Sep 2019 05:28:25 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1569587303; cv=pass; d=google.com; s=arc-20160816; b=zfwFxp1QhGdg8OMQeg2JdBfep1yVqCy920L/T4nQpXRruq5b0Co34JseSNT0+jCvS7 y3pzE8kQMvyURyplQq4m3Wtc45g4axrex2QIxwZhomCBQuNjmoBZ/RuDlmUrr7qleGuS R0Ldd+S9s/k2vHfhAFiKM2AlwOwNNz38ZzN8YXyaSd8Oy/Y2SAPzpz9j/NHR8m1D2p/6 2Ym8/T2lApIqy9qdlPYOd/Y35GaqCcpS463MSmiVrO/up8OjIwP7R2dikTw4pDkLqdvb oYCmfgs2VXKtlcECyVwVmDlKGkboB4wbhdjlyEYzDjTCaFqbZOOyPn/tphLYzfpjR4lp C9BQ== 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:subject:message-id:date:from:in-reply-to :references:mime-version:sender:dkim-signature:dkim-signature; bh=caCuydK5Jyq5n81WEzPqTTgIQakYxuGfHsr4ex0rHb0=; b=oXDo4jDnMTx6oiUA8Q9gnFlYKl5+a+MYu/8e+jJ2aDYjBbLzyNJCVW50A91fK2yKbt WujfaI7+NySFdcBRs2sjLOTdeeIaZdSY+9qT9doLQVZGoN/j/WF4MR744ZY/eh546NHt VNtjXKenWFHQYWCGdUaukb+4rAV0iwxCjy5qi8crAc1e1+9TeFVUPLKGJgBowMIeWSl/ pCSzUjyDyfVWgvGTy6Em0c2ioSR4+AG62NU4lHD/j4sVOOLHeKEi/cIyIgy4PGpqOBZh uzogNrB9htyeQVadNufmnj9wustK4kZWF6SgaYnx5u3eAarTF3rLo8xIJur+MUE2LS/W dbRQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Q+VyOJGg; spf=pass (google.com: domain of b.a.w.spitters@gmail.com designates 2607:f8b0:4864:20::c2d as permitted sender) smtp.mailfrom=b.a.w.spitters@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=20161025; h=sender:mime-version:references:in-reply-to:from:date:message-id :subject:to:x-original-sender:x-original-authentication-results :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=caCuydK5Jyq5n81WEzPqTTgIQakYxuGfHsr4ex0rHb0=; b=DJo7z9/w7/aFA5Iv9upO6n/qXRzshdsZLrh05BNcrKNlGXx9Dx0MPjoD5nVCh4einV uCroNN8dMKEBQFA9P3oEkLfh36xAAqX4hkVOle/w7LtWl2LEtks6O+v2nT4sikiE0brO 40OL9E3ibicDpRxI9Vg8r1qwm9Ohi0ayW52bi3LcprgevhBIFXUu4p9iPSsLJ2gI+MNp F03RyhT3NrNhgr68or3x7J1mym1OduVYlrVcC0cfcKkI+Tix8QbMOXzzf7RTzScdcIJs G0Z8mDS+ObIwlhkZG/gj0RENyZEZ5eAkjh0ndFcVMt1D8YW1EqXEsS0FwD5ia1hJYe78 1L1g== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=caCuydK5Jyq5n81WEzPqTTgIQakYxuGfHsr4ex0rHb0=; b=S6zkfzJ8CBK1rYUxEQ9F/lx0FcAd8DYhRWx4JwzCVTJEhxG0OSYB5n95JGqt8eqNlU 4iyDjV+SYSZlTEaoia7FgLgfYLW5oV9u1Qn2cCg8r97AvomBPVPhx3/LJFXJJCjMS1EU 2nTWogi/3k0gDFSuMwBkzmcFUrossrLnUR0vcstRfz/QZd7K9T+Vb+Ts4z7VtMZzY9KQ lZ6vhJCLDQPo3g3dkaoP5Z8N1q2FUS5+V/Z0lt/iRHgITTCzH/I3KoqcUdnVH79BMbiO bGJ838Id67JeGHLnuBVYgOIr9AsSGc1HcpPjwlO7N2PW603YW5J1xKHwULZs8iV32JsZ r28Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:references:in-reply-to:from :date:message-id:subject:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=caCuydK5Jyq5n81WEzPqTTgIQakYxuGfHsr4ex0rHb0=; b=RsNiMriW750XcL6rLcsg7n6MKC7z/sbhXprgnjyL7pVg1z/rmDX5AE+UQ6LJSC/exk b4PfTykcgpIItMhab2wNrnlQFCSc96iyEYWEMsIWDloydiBMGfG6B8G246HsBChHM2NL FOhn6kKkD5mpmqnqybUUymDTZkZJFMCaficBTwdOKBI/UXPZm4UMmHHW/MyOnI1jt+qh Y6eVrnf4Vj4GWO76q0YHtiMPqgJh8EnFyWZ2l94vSzF7stRbSdjTITQVg4w6o1iXUVm8 i9ZMPnsrPvHIc23I6elUyzsfoW+1kl/7cfX0fPg251r9ZAibRsl8xl/RRD6RcXu9mVLZ ds0g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAViIoEFLeQXQvKYKjyccK6XBZVL1P7EUVvs+R272IKAc9Mczaho H8XE8JCUZ5R/gVEtD3dPFiQ= X-Google-Smtp-Source: APXvYqzgCLgQVw78onC5uspADEfQpzYw6u1Q0Uhr33Eu5L3RGIhNys7a2eKh81ZatqlHvgsPvYEALg== X-Received: by 2002:a63:285:: with SMTP id 127mr8963781pgc.56.1569587302852; Fri, 27 Sep 2019 05:28:22 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a62:8309:: with SMTP id h9ls701971pfe.13.gmail; Fri, 27 Sep 2019 05:28:22 -0700 (PDT) X-Received: by 2002:a63:6c89:: with SMTP id h131mr9167554pgc.322.1569587302348; Fri, 27 Sep 2019 05:28:22 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1569587302; cv=none; d=google.com; s=arc-20160816; b=aiEMaMdcoJFeABUwsLixiHwqwVol8vQsXd525wF8fFbYi5eRdwx2ERcQ+C4KR5TKR0 bePQAypioL6Olkz67UkjF9P3LQkWeXOF+afvE6+Xgo3FPF+Oz4TmuQpOl8DnAWmaE1E2 EiaQjNlEMmSgBxYdN8K3lPcTKoY/uv94+nGlkPyxYLvdb+N0flDgjNyg2wSU2GI5FRF9 1xe3ph49EhBkZ1CL2OTMH8ZJ9NNwdM3vtgepoaA51Uqe91HMC17EkmCPWPeVSk7UMWDi RY/xbFyiTIY4HIsVybHooTP5+826xpOgs5bBpfOaCCdA+KAJDulTL+G0Y/nposNb4Dds ZijQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :dkim-signature; bh=mhREXiTQnneQfHFOTiMYvDUxjV1errMIsrlRelq3gbc=; b=oltYghqsr/Zo10w31UKtxbq9NdJkDuaoEQ4BZ7/SRLWJ3laiKm/XDvv9rBMm7mbP/f Ou0nNintGXw/ilVm/A3uI7VURu1kizWOcbx/xDPtsgArUpJ9v9qisJO36MAofwZy1Hhy 5LL7O9Na2Z0y9EVe68TV0QEVzFFheYCsUpfkCxpfl++xdMF+mrCd/+K49V2dZaTPLaB3 WJ2fodB182VXTeFzzoOl5YMotKXO1YDYujI1LUuHdmgcImxQ/XP/bDYAExXb8rTdw528 W6r1jirdX1xEUsp4mHCjNNByy09aVY4sEUX6iRR2ycOT2gG0UNXvReOdh/bJamcS+nFf 2KDA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Q+VyOJGg; spf=pass (google.com: domain of b.a.w.spitters@gmail.com designates 2607:f8b0:4864:20::c2d as permitted sender) smtp.mailfrom=b.a.w.spitters@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-yw1-xc2d.google.com (mail-yw1-xc2d.google.com. [2607:f8b0:4864:20::c2d]) by gmr-mx.google.com with ESMTPS id p9si223928pjo.0.2019.09.27.05.28.22 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 27 Sep 2019 05:28:22 -0700 (PDT) Received-SPF: pass (google.com: domain of b.a.w.spitters@gmail.com designates 2607:f8b0:4864:20::c2d as permitted sender) client-ip=2607:f8b0:4864:20::c2d; Received: by mail-yw1-xc2d.google.com with SMTP id r134so831748ywg.2 for ; Fri, 27 Sep 2019 05:28:22 -0700 (PDT) X-Received: by 2002:a81:497:: with SMTP id 145mr2505708ywe.195.1569587301250; Fri, 27 Sep 2019 05:28:21 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Bas Spitters Date: Fri, 27 Sep 2019 14:28:09 +0200 Message-ID: Subject: [HoTT] PhD and Postdoc positions in Aarhus (DK) To: homotopytypetheory Content-Type: multipart/alternative; boundary="00000000000088f98d059388057f" X-Original-Sender: b.a.w.spitters@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Q+VyOJGg; spf=pass (google.com: domain of b.a.w.spitters@gmail.com designates 2607:f8b0:4864:20::c2d as permitted sender) smtp.mailfrom=b.a.w.spitters@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: , --00000000000088f98d059388057f Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *The Department of Computer Science at Aarhus University, Denmark, offers a considerable number of PhD and PostDoc positions in the areas of Logic, Semantics and Programming Languages. Our research spans a wide spectrum of topics concerning models and logics for programming languages and type theories, language-based security, blockchains, theoretical foundations and practical tools for program analysis, formal verification and model checking.* *Aarhus University admits PhD students on the basis of a bachelor's degree (for 5 year PhDs) or a master's degree (for 3 year PhDs). If admitted, all tuition is covered, and a generous stipend is provided . Postdoc positions can be for 1 or 2 years, and with the possibility of renewal (depending on the individual projects and sources of funding). Interested applicants at all levels are encouraged to contact the respective faculty for details, enclosing a CV and a short description of interests.Logic and Semantics group: http://cs.au.dk/research/logic-and-semantics/ Aslan Askarov (language-based security, web security, type systems, program analysis)Lars Birkedal (higher-order concurrent separation logic , type theory , program verification)Bas Spitters (computer aided proofs in cryptography, homotopy type theory, formal verification of blockchains )Jaco van de Pol (parallel & symbolic model checking, synthesis, graph games)Programming Languages group: https://cs.au.dk/research/programming-languages/ Magnus Madsen (programming language design, functional and logic programming, type systems)Anders M=C3=B8ller (static & dynamic program analysis, program analysis and automated testing for web and mobile software)Andreas Pavlogiannis (algorithmic & computational foundations of model checking, quantitative verification, static & dynamic analysis, concurrency)Aarhus University is realizing an ambitious multi-phase digitalization initiative which will help prepare researchers, students and the labour force for the digital transition of the future. The initiative aims at significant expansion of the Department of Computer Science for faculty and students.Next deadline: November 1st, 2019Information about the PhD program: http://phd.scitech.au.dk/for-applicants/application-guide/ * --=20 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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CAOoPQuTYceMKNrymyWeyg%2B6aV99HaEPZ9dJiGrraVv0PPcnq-w%40= mail.gmail.com. --00000000000088f98d059388057f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

The Department of Com= puter Science at Aarhus University, Denmark, offers a considerable number o= f PhD and PostDoc positions in the areas of Logic, Semantics and Programmin= g Languages. Our research spans a wide spectrum of topics concerning models= and logics for programming languages and type theories, language-based sec= urity, blockchains, theoretical foundations and practical tools for program= analysis, formal verification and model checking.


A= arhus University admits PhD students on the basis of a bachelor's degre= e (for 5 year PhDs) or a master's degree (for 3 year PhDs). If admitted= , all tuition is covered, and a generous stipend is provided. Postdoc positions can = be for 1 or 2 years, and with the possibility of renewal (depending on the = individual projects and sources of funding).=C2=A0


Interested applicant= s at all levels are encouraged to contact the respective faculty for detail= s, enclosing a CV and a short description of interests.


Logic and Seman= tics group: http://cs.au.dk/research/= logic-and-semantics/

Aslan Askarov (language-based secu= rity, web security, type systems, program analysis)

Lar= s Birkedal (higher-order concurrent separation logic, type theory, program verification)

=

= Bas Spitters (computer aided proofs in cryptography, homo= topy type theory, formal verification = of blockchains)

Jaco van de Pol (parallel & sy= mbolic model checking, synthesis, graph games)


Programming Languages gr= oup: https://cs.au.dk/research/pro= gramming-languages/

Magnus Madsen (programming la= nguage design, functional and logic programming, type systems)

Anders M=C3=B8ller (static & dynamic program analysis, prog= ram analysis and automated testing for web and mobile software)

<= p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><= a href=3D"https://tildeweb.au.dk/au648021/" style=3D"text-decoration:none" = target=3D"_blank">Andreas Pavlogiannis (algorithmic & computational fou= ndations of model checking, quantitative verification, static & dynamic= analysis, concurrency)


Aarhus University is realizing an ambitious mul= ti-phase digitalization initiative which will help prep= are researchers, students and the labour force for the digital transition o= f the future. The initiative aims at <= span style=3D"font-size:11pt;font-family:Arial;color:rgb(17,85,204);backgro= und-color:transparent;font-weight:400;font-style:normal;font-variant:normal= ;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">si= gnificant expansion of the Department of Computer Science for faculty and = students.


Next deadline: November 1st, 2019

Information about the PhD p= rogram: http://phd.scite= ch.au.dk/for-applicants/application-guide/


--
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://g= roups.google.com/d/msgid/HomotopyTypeTheory/CAOoPQuTYceMKNrymyWeyg%2B6aV99H= aEPZ9dJiGrraVv0PPcnq-w%40mail.gmail.com.
--00000000000088f98d059388057f--