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 2FFE95D4 for ; Sun, 6 Oct 2019 11:07:05 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.67,263,1566856800"; d="scan'208";a="404917960" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Oct 2019 13:07:04 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 45F3B7F26E; Sun, 6 Oct 2019 13:07:04 +0200 (CEST) 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 3D9687EC77 for ; Sun, 6 Oct 2019 13:06:57 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=j.endrullis@vu.nl; spf=Pass smtp.mailfrom=j.endrullis@vu.nl; spf=Pass smtp.helo=postmaster@mailin.vu.nl IronPort-PHdr: =?us-ascii?q?9a23=3ALnogQBYJcmsVjjx7Jbla3EH/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMizbnLW6fgltlLVR4KTs6sC17ON9f29Ejdfqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba58IRmsrQjctsYajIVgJ60s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlS?= =?us-ascii?q?EKPCM7/m7KkMx9lKJVrg+/qRJ8zYDbbo6aO+ZxcKPcZt4aWWlMU9xNWyBdDI6x?= =?us-ascii?q?bY0CBPcBM+ZCqIn9okMDox+5BQayHuPvxSJDiHDw3aInyeQhDAXG3AghH9IVrX?= =?us-ascii?q?/Zq9f1OL0MXuCz0abI1yjDb/dS2Tf884jFaQ4hoeyWUbJ2dcrc0E8iHB7LgFWX?= =?us-ascii?q?rIzqJTKV1uIVvmeF6epvSPivi3MjqwF1oziv3d0ghZTXiY8T11vK9j15zZ4oKd?= =?us-ascii?q?C2VEJ3e9CpHZlKuy2HNoZ7TdkuT3xrtSoi17ELt4K3cDIExZkl3RLTdfyKfoaS?= =?us-ascii?q?7h/iUuuaPC12i2h/eL2lgha/6UigxfP4VsmzyFtKqzBKktjItnAM0Rzf8NaHSu?= =?us-ascii?q?Zn8ken3TaDzwHT6udaLkAojafXNpAszqIqmpcds0nPBDL6lUT5gaOMa0kp+fCk?= =?us-ascii?q?6+H9bbXnop+cOZV0igb7Mqk2mMyzG/o3Mg4TUGiB5OS80Lnj/UziQLhRkP02j7?= =?us-ascii?q?PVsJbeJcgDvK62HxdV0po/6xa4FzqpzM4XnXwDLF5cfBKHjpPpO03VLfDjDfa/?= =?us-ascii?q?hkysny1xy/DHOL3hGJTNIWLZnLfvZ7Yuo3JbnV44xNVbopZVEa0pIfTpW0a3us?= =?us-ascii?q?aOXTEjNAnh4eHqEto1+4USQ3+LBq6CePfQ91KO6vgyJ+2Nf6cLpXD7L652tLbV?= =?us-ascii?q?kXYllApFLuGS1pwNZSXgR6U0EwCieXPpx+w5PyIPtws6QvbtjQLQTyMVYXLgBv?= =?us-ascii?q?tgtAF+M5qvCML4fq7omKaIg3WlA9tQYjIeUw3eITLTb4yBHsw0RmeSL8tmy2BW?= =?us-ascii?q?ULGgT44nkw+z8gn+meNq?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A0BAAeypldhxKkJYJlHgEGEoRyA4EsC?= =?us-ascii?q?oQYjmCBaoQTi02KA4FnCQEDAQsBIwoCAQGHCRwGAQQ0EwIMAQEEAQEBAgECAwQ?= =?us-ascii?q?BEwEBAQoLCQgphTQMgjoignQlDwEFM0MCJgJJFg0GAgEBgx4BggoPnCWPAYEyh?= =?us-ascii?q?DgBgRSDMoFICQGBAiiMDoFYP4E4DIE9bQeDTQECgS0BEgFsgkCCWASMcRKCZoV?= =?us-ascii?q?Zl3oHgiWHCYUXiHIhgjpyhlyEBYsylk2REQIEAgQFAhWBaYEJcU0vRIJsCUcQF?= =?us-ascii?q?FaBE4QMiiJBMQGBKI5DgSIBgSIBAQ?= X-IPAS-Result: =?us-ascii?q?A0A0BAAeypldhxKkJYJlHgEGEoRyA4EsCoQYjmCBaoQTi02?= =?us-ascii?q?KA4FnCQEDAQsBIwoCAQGHCRwGAQQ0EwIMAQEEAQEBAgECAwQBEwEBAQoLCQgph?= =?us-ascii?q?TQMgjoignQlDwEFM0MCJgJJFg0GAgEBgx4BggoPnCWPAYEyhDgBgRSDMoFICQG?= =?us-ascii?q?BAiiMDoFYP4E4DIE9bQeDTQECgS0BEgFsgkCCWASMcRKCZoVZl3oHgiWHCYUXi?= =?us-ascii?q?HIhgjpyhlyEBYsylk2REQIEAgQFAhWBaYEJcU0vRIJsCUcQFFaBE4QMiiJBMQG?= =?us-ascii?q?BKI5DgSIBgSIBAQ?= X-IronPort-AV: E=Sophos;i="5.67,263,1566856800"; d="scan'208";a="404917949" X-MGA-submission: =?us-ascii?q?MDHVaE0FjXfjo6cTGKCLLG3kZ1sGnldknuMfi5?= =?us-ascii?q?mHwmRuQk23aHNko0OFhDYuzykj9DNb99BjSv6eTqWVFDRVGnHzYmS+x2?= =?us-ascii?q?vTO4hWm6l4/JdZB/PcVqo3bEyGVmndnWY7L8BfQ59rZ0XdHAM1iiiKtj?= =?us-ascii?q?6R0sgqh8zg0WuPhbED0DJZYw=3D=3D?= Received: from mailin.vu.nl ([130.37.164.18]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 06 Oct 2019 13:06:56 +0200 Received: from pexch011a.vu.local (130.37.237.88) by mailin.vu.nl (130.37.164.18) with Microsoft SMTP Server (TLS) id 14.3.468.0; Sun, 6 Oct 2019 13:06:54 +0200 Received: from [192.168.1.23] (130.37.253.6) by PEXCH011a.vu.local (130.37.237.105) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.1847.3; Sun, 6 Oct 2019 13:06:55 +0200 From: Joerg Endrullis To: Message-ID: Date: Sun, 6 Oct 2019 13:06:54 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit X-Originating-IP: [130.37.253.6] X-ClientProxiedBy: pexch016b.vu.local (130.37.237.93) To PEXCH011a.vu.local (130.37.237.105) Subject: [Caml-list] PhD position in Theoretical Computer Science at the VU Amsterdam Reply-To: Joerg Endrullis X-Loop: caml-list@inria.fr X-Sequence: 17838 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: ============================================ Vrije Universiteit Amsterdam PhD position in Theoretical Computer Science ============================================ We are seeking applications for a fully-funded, 4-year PhD position in the Section of Theoretical Computer Science of the Vrije Universiteit Amsterdam (VUA). The goal of the project is the development of techniques for reasoning about automata that transform finite and infinite words (also known as transducers). For more details about the project, please check out http://joerg.endrullis.de/vidi/vidi.pdf, and http://joerg.endrullis.de/research/finite-state-transducers. In this project, we will use and extend techniques from automata theory, combinatorics on words, logic, coalgebra and term rewriting. Embedding --------- The principal investigator of this project is Joerg Endrullis with a background in term rewriting and automata theory. We will collaborate with Helle Hansen from Delft University of Technology (TU Delft) having expertise in logic and coalgebra. At the Vrije Universiteit Amsterdam we will collaborate with Femke van Raamsdonk with a background in higher-order rewriting, and Jasmin Blanchette working on formal verification and theorem provers. Qualifications -------------- Applicants should have a masters degree in computer science, mathematics, logic, or a closely related area. Knowledge of automata theory, coalgebra, logic, term rewriting or lambda calculus is considered an advantage. Fluency in English is important. Dutch language proficiency is not required. Application ----------- Please send applications by email to  dr. Joerg Endrullis  j.endrullis@vu.nl  +31 (0)20 5989886 For more details on the salary and employment conditions, see the full vacancy text at http://joerg.endrullis.de/vacancy/2019/09/15/phd-vacancy.html. Feel free to contact us for further information about the project and the position. Formal applications must include: - A motivation letter - A curriculum vitae, including  a list of courses with grades - A copy of the master's thesis (if already available) - The name of at least one scientist able and willing to provide a reference Deadline -------- Review of applications will begin on December 1, 2019, and will continue until the position is filled.