From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 6791F5D5 for ; Tue, 10 Apr 2018 14:53:08 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,432,1517871600"; d="scan'208";a="322153229" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Apr 2018 16:53:07 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id EC45882445; Tue, 10 Apr 2018 16:53:06 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 4F2078240C for ; Tue, 10 Apr 2018 16:53:00 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=thiemann@informatik.uni-freiburg.de; spf=None smtp.mailfrom=thiemann@informatik.uni-freiburg.de; spf=None smtp.helo=postmaster@mx1.informatik.uni-freiburg.de IronPort-PHdr: =?us-ascii?q?9a23=3AzZ0zKxGxGY2UJ1fgwG0Qfp1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zocmwAkXT6L1XgUPTWs2DsrQY07GQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDSwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOT4l/2/YhcN+kaFVrhy/qRJ4xI7Ze52VNON7fq/BfdMWWWhMU8BMXCJBGIO8?= =?us-ascii?q?aI4PAvIbM+lGs4nyuUEOpgagCwmsBePg1DpIiWXw3a08zu8sFh3G3AwhH90QtX?= =?us-ascii?q?TbttP1NKEJXOC0yqnIwzLDb+lT2Tjn9IjIcxMhreuRXbJ2cMrd0EcvFxnbgVWR?= =?us-ascii?q?soPlIimV1usXv2eG8eVtTOSigHMppQF2pzig3MYsio/Ri40I0F/E+j55wJooJd?= =?us-ascii?q?24TE53e8OrH4VIuyGHMYt2Q9ouQ29yuCkky70JooO7fDIFyJg92hHQdfqKeJWL?= =?us-ascii?q?7BL7TOudPDl1iGx/dL6hiRu+7VKsxvD8W8WoylpHoSxImcTWuH8XzRzc8M2HR+?= =?us-ascii?q?N9/ki/3TaP0Bje6uRLIEwpj6bbKpghwrA3lpoJtETMBDP2mET1jKOMa0Uk/Omo?= =?us-ascii?q?5/3pYrX8uJCcNpR7ihzkMqQhgMCwHPo3PhAPX2id5+u8yKXu8VD3TblUlPE6jK?= =?us-ascii?q?fUvIzAKcgGpqO1HxVZ34k75xa6FTim0dAYnXcdLFJCfRKKl5TpO1HPIP/mCPew?= =?us-ascii?q?mVKskDFwyvDHOL3hDJLNLmLGkLj7YbZ96k1cxBAuzdBZ5pJYE78BIOjtVU/wr9?= =?us-ascii?q?PYEwU5MwOuz+n6FtpxzpkeVn6XAq+FLKPStkeF6f41LOmJYI8ZoTL9K/k+5/7y?= =?us-ascii?q?lnI5gl8cfayx3ZQNcny4H/JmI1+YYXX2mNsBH30K7UICS7nhgViGFDpSfGqaXq?= =?us-ascii?q?Qm5zh9Bpj1I53EQ9WVjaCMxm+HHpxbY2lADBjYDXfpeoCNXfEkaSScJdVkmyAF?= =?us-ascii?q?Vv68TY5k2wujtQXn0bUhIueCqX5Qjo7qyNUgv76brho17zEhV53MgVHIdHl9my?= =?us-ascii?q?YzfxFz2al+pUJnzVLZgfp5hfJfD9la+/JKFBo8NNvS1eF7Ac3oVUTNc4XREQr0?= =?us-ascii?q?cpCdGTg0C+kJ7ZoWeU8nS4ejiB7ExS+jH74W0aGNBdk66K/d1WXrKIBxxiSejf?= =?us-ascii?q?RzvxwdWsJKcFaeqOt/+gzUXNSbllXA0aese6MG2SfR9WTF0GyP+U9CXQ96TL/K?= =?us-ascii?q?G3wSNBPb?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D9AQAXz8xaYQSW5oRbHQEBBQELAYMTB?= =?us-ascii?q?CthbyiDYIhfjDSDA5F5eYFmCyOHKBkGBjQUAQIBAQEBAQEBAQEGGhQGTQyCNSK?= =?us-ascii?q?CdR0BATg0AiYChX8PpUdtghyCbgEBBYFig3CCFwiBCYRIghqCE4EMIoVogTYBE?= =?us-ascii?q?gFrgjQwggQgl1IIdIRiik6FUgWEf4kfhB6CUYElM4ECcU0kFGQBghgJNYFWgR0?= =?us-ascii?q?BB4J2iiE9MAGMZoI2AQE?= X-IPAS-Result: =?us-ascii?q?A0D9AQAXz8xaYQSW5oRbHQEBBQELAYMTBCthbyiDYIhfjDS?= =?us-ascii?q?DA5F5eYFmCyOHKBkGBjQUAQIBAQEBAQEBAQEGGhQGTQyCNSKCdR0BATg0AiYCh?= =?us-ascii?q?X8PpUdtghyCbgEBBYFig3CCFwiBCYRIghqCE4EMIoVogTYBEgFrgjQwggQgl1I?= =?us-ascii?q?IdIRiik6FUgWEf4kfhB6CUYElM4ECcU0kFGQBghgJNYFWgR0BB4J2iiE9MAGMZ?= =?us-ascii?q?oI2AQE?= X-IronPort-AV: E=Sophos;i="5.48,432,1517871600"; d="scan'208";a="261546436" Received: from mx1.informatik.uni-freiburg.de ([132.230.150.4]) by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Apr 2018 16:52:59 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=informatik.uni-freiburg.de; s=mx1602; h=To:Date:Message-Id:Subject: Mime-Version:Content-Transfer-Encoding:Content-Type:From:Sender:Reply-To:Cc: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:In-Reply-To:References:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=HqXq+PcGH8PWLmswvgLHXC6dB0Ch7WwryC5CA5UdmtM=; b=s4QdpBMuS3zU7vnoRIGC5+glF VAduoBzebzp8e1e00wXCLYVa+8V1yqNsoS1SByun3Rd2LhXyfIvosWLEmHfpftX+dt8gAkRXb2pYC ozvw/9QoY9tFoLGuV2zOAxSTyTcIgjAE913jE9xLmiR7N005Kh552ELMZoLc11g38q6MU=; Received: from [10.126.132.101] by smtp1.informatik.uni-freiburg.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.87) (envelope-from ) id 1f5udl-0003Hw-Uf for caml-list@inria.fr; Tue, 10 Apr 2018 16:52:58 +0200 From: Peter Thiemann Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 11.3 \(3445.6.18\)) Message-Id: <960CBD34-4A2B-49D0-8C7B-0B1ACBFA659F@informatik.uni-freiburg.de> Date: Tue, 10 Apr 2018 16:52:58 +0200 To: caml-list@inria.fr X-Mailer: Apple Mail (2.3445.6.18) Organization: Universitaet Freiburg, Institut f. Informatik Subject: [Caml-list] Phd/PostDoc position on linear types and session types Reply-To: Peter Thiemann X-Loop: caml-list@inria.fr X-Sequence: 16795 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: The programming languages group at University of Freiburg, Germany, has an = opening for a research assistant to work on a DFG-funded project to create = a version of OCaml with linear types and session types to start on July 1, = 2018. The project entails work on the theory and on an implementation with = the weighting adjusted according to the candidate=E2=80=99s profile, which = would ideally complement the current group members. The position can be fil= led with a PhD student or with a PostDoc and we welcome applications of eit= her kind. I am looking for strong candidates with PL background, preferably with demo= nstrated experience in functional programming and types. Background with OC= aml and/or proof assistants (Coq, Agda) is an additional bonus.=20 JOB DETAILS AND APPLICATION The salary is according to the TV-L E13 scale of German public service. The university of Freiburg aims at increasing the number of female employee= s and thus especially welcomes applications of female candidates. Applications of disabled candidates will be given priority, depending on th= eir suitability. Applications in PDF format or informal enquiries by email are welcome. Appl= ications will be considered until the position is filled. The starting date= is negotiable. Check our research webpage http://proglang.informatik.uni-freiburg.de/resea= rch/ or the DBLP publication profile http://dblp.dagstuhl.de/pers/hd/t/Thie= mann:Peter for more information. Best regards -Peter Thiemann --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs=