From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id C690A800FD for ; Tue, 28 Mar 2017 13:40:53 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=matija.pretnar@fmf.uni-lj.si; spf=Pass smtp.mailfrom=matija.pretnar@fmf.uni-lj.si; spf=None smtp.helo=postmaster@mail.fmf.uni-lj.si Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of matija.pretnar@fmf.uni-lj.si) identity=pra; client-ip=193.2.67.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="matija.pretnar@fmf.uni-lj.si"; x-sender="matija.pretnar@fmf.uni-lj.si"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of matija.pretnar@fmf.uni-lj.si designates 193.2.67.45 as permitted sender) identity=mailfrom; client-ip=193.2.67.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="matija.pretnar@fmf.uni-lj.si"; x-sender="matija.pretnar@fmf.uni-lj.si"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.fmf.uni-lj.si) identity=helo; client-ip=193.2.67.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="matija.pretnar@fmf.uni-lj.si"; x-sender="postmaster@mail.fmf.uni-lj.si"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AL/8johCNEN9dzpmf9iDlUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT6osbcNUDSrc9gkEXOFd2CrakV16yO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMizexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykC?= =?us-ascii?q?oJNyI2/m7KhMJzgqxVvh2uqRtkzo7IYoyVMeZyfqPBcd8EQ2dKQ8ZfVzZGAoO5?= =?us-ascii?q?d4YBCPAOPfpZr4n/vVQFsAGwBROyC+PzzD9HnGX21rA93uQkCw7GwA0gH9AUv3?= =?us-ascii?q?jOtNX1LrkdUfyzzKbS1zXOdP1W2TLz6ITSbxAhp/CMUat0ccrT00UvDALFg0yW?= =?us-ascii?q?pIf4PD2VzvwAv3Wf4uduT+6jlXQrpgBzrzS1ycohipHFi4EWx1ze6yl13Jo5Kc?= =?us-ascii?q?e6RUN5e9KoDZpdui+cOoBrWM0tWXtotzw/yrAeuZ60YiwKyJM/yh7acfOHcoyI?= =?us-ascii?q?7gjtVOaULzd0nm9leLS+hxqr9UigyPfwVtK10FpSrypFlMfDtmwV2hDO7sWKRO?= =?us-ascii?q?Fx8lm71TuO1Q3f8O5JLEAsmareMZEhw7owlpQJsUTEGy/7gED2g7WKdkUl+Oin?= =?us-ascii?q?8f7rYq38ppCCK490jBvxMr41l8yxBOQ4PBICX3Wd+eS9zbHj+U/5TK9Rjv03iq?= =?us-ascii?q?XZqozVJdwHpq6lBA9Yypos5Ay6DzeiydgYmXgHLElZeB+clIjoO1TOIOjiAvul?= =?us-ascii?q?glSsli1rx/HcMbH7DJXNNCuLrLC0Yadl5lUZwQw1ys1Z7J98DrAaPOm1QUL4r5?= =?us-ascii?q?rFFhI/NUq5z/ujQNV0zYATXWbKCaaXPYvSuESL6+YrZe6Wa8tdsz/4L70h5uXy?= =?us-ascii?q?pX4/g14UO6ezjrUNb3XtO/16IkeQKUL2j8sHGH1C6g83UO3ogRuaSzNPYX+od6?= =?us-ascii?q?w56HcmDoPjCYWFXYH70+/J5zuyApADPjMOMVuLC3q9L4g=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AtBwC8StpY/y1DAsFdDhAGDBkGDIMpF?= =?us-ascii?q?YFXnyKXeYlEQxQBAQEBAQEBAQEBAWoogjMggwMGAQE4gT4SigurUYExXIEBgwg?= =?us-ascii?q?BAQWHSwEBARwIhk6CBQiCMoFshkyCMZxlggaSRYUqig2PMIQ4AjYhgQQkFoEGA?= =?us-ascii?q?YI1ggIND4E2P3MBiWwBAQE?= X-IPAS-Result: =?us-ascii?q?A0AtBwC8StpY/y1DAsFdDhAGDBkGDIMpFYFXnyKXeYlEQxQ?= =?us-ascii?q?BAQEBAQEBAQEBAWoogjMggwMGAQE4gT4SigurUYExXIEBgwgBAQWHSwEBARwIh?= =?us-ascii?q?k6CBQiCMoFshkyCMZxlggaSRYUqig2PMIQ4AjYhgQQkFoEGAYI1ggIND4E2P3M?= =?us-ascii?q?BiWwBAQE?= X-IronPort-AV: E=Sophos;i="5.36,236,1486422000"; d="scan'208";a="266544846" Received: from mail.fmf.uni-lj.si ([193.2.67.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 28 Mar 2017 13:40:52 +0200 Received: from localhost (localhost [127.0.0.1]) by mail.fmf.uni-lj.si (Postfix) with ESMTP id F246E4143674; Tue, 28 Mar 2017 13:40:51 +0200 (CEST) X-DKIM: Sendmail DKIM Filter v2.5.4 mail.fmf.uni-lj.si F246E4143674 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=fmf.uni-lj.si; s=mail; t=1490701251; bh=OKAChb+Bd+gZ7e4WawCQRV2+xpEWm10uoFWDLcf96xQ=; h=From:Content-Type:Content-Transfer-Encoding:Subject:Message-Id: Date:To:Mime-Version; b=faPxo09GHsWa+4HZd28wl1y5+pWJ35UF6THMP9hrvt OjrmA8aJ3zXzyjc9gSPQp2obMRHyI87Jp/dzk+k2BH4A8yeSeiCR3h9//ejcJ3RtBJz fPG8mhrti133kr3mgA4nH4iorRi6jnJWT5uJhZ4vWJZeASjKIutNVWJV3XL6N8= Received: from mail.fmf.uni-lj.si ([127.0.0.1]) by localhost (p1.fmf.uni-lj.si [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id KRWPgQaNw3dm; Tue, 28 Mar 2017 13:40:48 +0200 (CEST) Received: from batageljpren.fmf.uni-lj.si (unknown [88.200.77.163]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) (Authenticated sender: pretnar@fmf.uni-lj.si) by mail.fmf.uni-lj.si (Postfix) with ESMTPSA id 2708A414367B; Tue, 28 Mar 2017 13:40:30 +0200 (CEST) X-DKIM: Sendmail DKIM Filter v2.5.4 mail.fmf.uni-lj.si 2708A414367B DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=fmf.uni-lj.si; s=mail; t=1490701230; bh=OKAChb+Bd+gZ7e4WawCQRV2+xpEWm10uoFWDLcf96xQ=; h=From:Content-Type:Content-Transfer-Encoding:Subject:Message-Id: Date:To:Mime-Version; b=Vnv3SimLMP8nvzvbvjBqWcsVBYz1OJ2b2AQcoP+xbj ZFczznirZR0F0ncYjoMfyb1qMUwVyCXfwLEdPu0v/fbPqPhSEAgsS/+D5ttk/3RE58l gVjLIWll9SWNtddCUEDOpQgXTWyi01Ya6vpEqB5aIDkkv33VbKjdK11lCXMWk8= From: Matija Pretnar Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <0ECB1D3C-D41B-4879-A8DE-77BBECC01CA7@fmf.uni-lj.si> Date: Tue, 28 Mar 2017 13:40:29 +0200 To: types-announce@lists.seas.upenn.edu, haskell-cafe@haskell.org, caml-list@inria.fr Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) Subject: [Caml-list] Two PhD positions in Ljubljana starting October 2017 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