From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.223.130.50 with SMTP id 47mr925842wrb.13.1490700660149; Tue, 28 Mar 2017 04:31:00 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.25.67.14 with SMTP id q14ls1354448lfa.15.gmail; Tue, 28 Mar 2017 04:30:58 -0700 (PDT) X-Received: by 10.46.21.28 with SMTP id s28mr478712ljd.14.1490700658874; Tue, 28 Mar 2017 04:30:58 -0700 (PDT) Return-Path: Received: from mail-wr0-x234.google.com (mail-wr0-x234.google.com. [2a00:1450:400c:c0c::234]) by gmr-mx.google.com with ESMTPS id q207si171693wme.3.2017.03.28.04.30.58 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 28 Mar 2017 04:30:58 -0700 (PDT) Received-SPF: neutral (google.com: 2a00:1450:400c:c0c::234 is neither permitted nor denied by best guess record for domain of andrej...@andrej.com) client-ip=2a00:1450:400c:c0c::234; Authentication-Results: gmr-mx.google.com; dkim=pass head...@andrej-com.20150623.gappssmtp.com; spf=neutral (google.com: 2a00:1450:400c:c0c::234 is neither permitted nor denied by best guess record for domain of andrej...@andrej.com) smtp.mailfrom=andrej...@andrej.com Received: by mail-wr0-x234.google.com with SMTP id w11so81174064wrc.3 for ; Tue, 28 Mar 2017 04:30:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=andrej-com.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=OKAChb+Bd+gZ7e4WawCQRV2+xpEWm10uoFWDLcf96xQ=; b=Dx9JKWFAj2tMmQD8nfg8mBAY+FGVtYo7qOkaEGMDeuAHMnrrCQJWT1SN9ekQHdGKcw m9JN4uWmJd4B2KKHIsyue4xwRe8D8HCTM1wtK8PzzSjso+3+DjT/uHzUS526aR24XmDB 3oHNEtavZgWt7QquCed3KqTdVUspnZMsaIanKcT6SsgTE/+9lB9zSPISLpOLsFFfbXqh 0mAqOgNOgXWfSboNIQo6AdyRSLdSBoDb5JCpV0rPhptIDzcTBiL/MnVnHBWEG3pH5fu6 Qeah1n6awMFvZopBaXEqj8u8g7oUOzz0D8YVVt00VFjrqYUSl9AK6tSk9VKP0lGO+DTk H78A== X-Gm-Message-State: AFeK/H08AUtUM0LGfg0LMzDXBPHqh52/jzUB+DI87xXpKZfQ4SIBl5DvaxrlCDhYpnpnv/yPB94XsBWaBt7fBA== X-Received: by 10.223.139.154 with SMTP id o26mr23977869wra.56.1490700656579; Tue, 28 Mar 2017 04:30:56 -0700 (PDT) MIME-Version: 1.0 Received: by 10.28.208.200 with HTTP; Tue, 28 Mar 2017 04:30:56 -0700 (PDT) From: Andrej Bauer Date: Tue, 28 Mar 2017 13:30:56 +0200 Message-ID: Subject: Two PhD positions in Ljubljana starting October 2017 To: HoTT Cafe , "HomotopyT...@googlegroups.com" , eutypes , Coq Club , Agda list Content-Type: text/plain; charset=UTF-8 We are looking for two PhD students at the Faculty of Mathematics and Physics, University of Ljubljana. The programme starts in October 2017 and lasts three years. The positions will be fully funded (subject to approval by the funding agency). The candidates should have a Master's degree in mathematics or computer science. No knowledge of Slovene is required. The first PhD student will be advised by dr. Andrej Bauer. The topic of research is foundations of type theory. The candidate should have interest in mathematical aspects of type theory, and familiarity with proof assistants is desirable. The second PhD student will be advised by dr. Matija Pretnar. The topic of research is the theory of programming languages with a focus on computational effects. The candidate should have interest in both the mathematical foundations and practical implementation of programming languages. Candidates should send their applications as soon as possible, but no later than the end of April, to Andrej Bauer or Matija Pretnar , depending on their primary interest. Please include a short CV, academic record, and a statement of interest. Andrej Bauer and Matija Pretnar