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 A32FE5D5 for ; Fri, 22 Feb 2019 13:29:41 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,399,1544482800"; d="scan'208,217";a="370501466" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Feb 2019 14:29:40 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0C1C2825FB; Fri, 22 Feb 2019 14:29:40 +0100 (CET) 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 711D47F61F for ; Fri, 22 Feb 2019 14:29:28 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=S.J.Thompson@kent.ac.uk; spf=Pass smtp.mailfrom=S.J.Thompson@kent.ac.uk; spf=None smtp.helo=postmaster@mx4.kent.ac.uk IronPort-PHdr: =?us-ascii?q?9a23=3A2oUuiRNULQN/ZdFAPwMl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/rzrarrMEGX3/hxlliBBdydt6oUzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlLiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiC?= =?us-ascii?q?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZXsheSyNODJ6/?= =?us-ascii?q?YYsBEeQPM+FWopLnqFcSqBuzHwmsCP/txzJOm3T43bc60+MkEQzewQIgHtcOsH?= =?us-ascii?q?PSrN7oKawcT+C1zK7NzTXbdPNW3jH945XPfx48u/2CWah8f9TRyUkoEgPFlk6Q?= =?us-ascii?q?qYvjPz6O1eQCrW6b7/Z6We21l2ErsRxxoju2y8oql4LHiIUVylXe+iV4xoY4Pc?= =?us-ascii?q?G3SFVhYdG+FptQtCCaN415QsM5WW1ovzw6yrIetZGnZicKy4ooxxvba/CddIiI?= =?us-ascii?q?+B3jWP6SIThmgnJlZKiziAyu/kS61+38Vc+520tJoCpditTAq24B2hjJ5sSaVP?= =?us-ascii?q?dx5Fmt1SuV2w3d6uxIOUM5mbTBJ5I8zLM8iIAfvVrdEiL1gkn6ka6be0si9+O1?= =?us-ascii?q?8eroeK/mqYWZN4JsigHxLKAumsunDOQ9PQkDUHKX+eei273l4U31Wq9FgeEsnq?= =?us-ascii?q?nEs5DWPcUbpqinDA9Jyosv9gizAjO83NgFg3ULNkxJdA+dg4XnO1zCOPX4Au2+?= =?us-ascii?q?g1Sonjdr3ffGPrj5D5vQNHTNlK3tc6h9605bzQoz1ctf55VSCrwaI/L8REnxtM?= =?us-ascii?q?DCAhAjLwO42fvnCNZl2oMERW2PGrOZML/VsVKQ+u0gOeyMZIsMtDb5Kvgl/OLu?= =?us-ascii?q?gGQimV4deKmpxYEYZGq5HvRgOUWZYGDjjs0PEWcQ7UICS7nqgUaBXDpXL327Ua?= =?us-ascii?q?90sjEyE4GrCYOGTYmjjZSB1Ty4E5lSIGdcBQbIWT3lbYGNXfhJcT+fOdNglTof?= =?us-ascii?q?fbW7T4Yn2leprgCwg+5qNO7d/CJdrI/uz8R04OvIvRwo8TVyAIKayW7bCyl/l2?= =?us-ascii?q?YMD2s91aV75Eh80Uur0K5igvUeG8YFtN1TVQJvDp/ZyOoyQ+zyXQfZZdCPAAKd?= =?us-ascii?q?BPfgPTE2S8oqxNkmYEt7B5OrhVbe3Hz5UPcui7WXCclsoern1H/rKpM4ki6ejf?= =?us-ascii?q?hzvxwdWsJKcFaeqOt6/gnXCZTOlhzDxaWnc7ha1SWL6WTRlDPS7nEdaxZ5VOD+?= =?us-ascii?q?ZV5aflHf9I6r5U7EU/mnAvI6MVkZkJPQGu5xctTsyG5+arLjNdDZOjzjnnfsQx?= =?us-ascii?q?WFwK/KZYGsZmZPhCg=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B2BwAx+G9cmCMVDIFlFgcBAQUBBwUBg?= =?us-ascii?q?VAVgVqBEQOBACeEB5QWgT+DLZcPAgEMJYFSgi+ERhoHAQQ0EgEDAQECAQEBAQE?= =?us-ascii?q?TAQEBAQEICwsGKSMMgjopAYJnBiMmHwMeLxsDAgJGEQYBEhSCQ0kBgXIEC6s4g?= =?us-ascii?q?S+FRIJ3IYFSilOBdXqBHIERJwwTgWA8g04DAYE8gywxgiYCiXgYhj+TCgcCgXe?= =?us-ascii?q?FR4siGYFxWIUDiCWDHopOhVCDOYYZgxOBXoF3TTRpAYJBCTWBeIhogmaCWj8yA?= =?us-ascii?q?QGQCQEB?= X-IPAS-Result: =?us-ascii?q?A0B2BwAx+G9cmCMVDIFlFgcBAQUBBwUBgVAVgVqBEQOBACe?= =?us-ascii?q?EB5QWgT+DLZcPAgEMJYFSgi+ERhoHAQQ0EgEDAQECAQEBAQETAQEBAQEICwsGK?= =?us-ascii?q?SMMgjopAYJnBiMmHwMeLxsDAgJGEQYBEhSCQ0kBgXIEC6s4gS+FRIJ3IYFSilO?= =?us-ascii?q?BdXqBHIERJwwTgWA8g04DAYE8gywxgiYCiXgYhj+TCgcCgXeFR4siGYFxWIUDi?= =?us-ascii?q?CWDHopOhVCDOYYZgxOBXoF3TTRpAYJBCTWBeIhogmaCWj8yAQGQCQEB?= X-IronPort-AV: E=Sophos;i="5.58,399,1544482800"; d="scan'208,217";a="297013421" Received: from mx4.kent.ac.uk ([129.12.21.35]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 Feb 2019 14:29:27 +0100 Received: from mx5.kent.ac.uk ([129.12.21.36]) by mx4.kent.ac.uk with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.91) (envelope-from ) id 1gxAtJ-000VcW-3P; Fri, 22 Feb 2019 13:29:25 +0000 Received: from 82-132-228-163.dab.02.net ([82.132.228.163] helo=[172.20.10.3]) by mx5.kent.ac.uk with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.91) (envelope-from ) id 1gxAtI-000Fm1-9z; Fri, 22 Feb 2019 13:29:25 +0000 From: Simon Thompson Content-Type: multipart/alternative; boundary="Apple-Mail=_F4E427FF-80D7-48B0-933E-F8F5ACB068E4" Mime-Version: 1.0 (Mac OS X Mail 12.2 \(3445.102.3\)) Message-Id: <2919037E-4611-43C2-9070-BE2D4417A985@kent.ac.uk> References: <00651c1c-539d-a15a-9390-d7698e89b334@kent.ac.uk> To: haskell cafe , "erlang-questions@erlang.org" , caml Date: Fri, 22 Feb 2019 14:29:18 +0100 X-Mailer: Apple Mail (2.3445.102.3) X-Kent-Spam-Score: 0.5 X-Kent-Spam-Bar: / X-Kent-Spam-Report: No, tests=ALL_TRUSTED=-1,ENGLISH_UCE_SUBJECT=1.542,HTML_MESSAGE=0.001,LOTS_OF_MONEY=0.001,TVD_RCVD_IP=0.001 Subject: [Caml-list] Advert for: 12 fully-funded 3-year PhD scholarships at Kent Reply-To: Simon Thompson X-Loop: caml-list@inria.fr X-Sequence: 17363 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: --Apple-Mail=_F4E427FF-80D7-48B0-933E-F8F5ACB068E4 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 The Programming Languages and Systems (PLAS) group at the University of = Kent's School of Computing invites applications for 12 fully-funded = 3-year PhD scholarships (for UK/EU students). Applications are due by the 26th April 2019. The PLAS group is one of the largest programming languages research = groups in Europe. It is currently ranked 17th worldwide by the = independent CSrankings website: = http://csrankings.org/#/index?plan&world. We provide a supportive environment for research and we have a vibrant = postgraduate population. We encourage our students to engage with the = wider research community through attending conferences and taking = internships with leading industrial companies. We are located in = Canterbury, a lively and cosmopolitan historic town with convenient = travel links to London and Europe. You can apply to study for a PhD in any topic that falls within our = range of expertise. We have studentships up to a value of =C2=A319,945 = per annum that are available by competition. Application process: Select a potential supervisor (see below) and send them an informal = project proposal as well as a brief CV (preferably by the first week of = April 2019). Staff contact details can be found on their web pages. Submit your formal applications through the university admission system = by the 26th April 2019. Your application should include a completed = online admission form; the name and contact details of two referees; an = original document providing confirmation of your degree (or a transcript = if the degree is not yet awarded). For non-native English speakers, a = certificate of competence in English is required at IELTS 6.5 or higher, = with no element less than 6.0 (or equivalent). Programming Languages and Systems Group: https://www.cs.kent.ac.uk/research/groups/plas/index.html Topics suggested by our group https://www.cs.kent.ac.uk/research/groups/plas/pgprojects.html Applications process: https://www.cs.kent.ac.uk/research/studyingforaphd/howtoapply.html For general inquiries about the process, please e-mail: = cs-phd-plas@kent.ac.uk. PLAS is a large research group with potential supervisors who work = across the breadth of programming languages and systems research. *Dr Mark Batty* (Additional scholarship: = https://www.cs.kent.ac.uk/people/staff/mjb211/studentship/studentship.htm)= Concurrency; software verification; systems; relaxed memory; programming = language semantics; GPU concurrency. *Dr Laura Bocchi* Foundations and engineering of API with complex behaviour, verification = of distributed concurrent systems; behavioural types; real-time systems; = transactions and transaction protocols. *Dr Olaf Chitil* Tracing, semantics, algorithmic debugging, type error debugging, = compilation and functional programming. *Dr Radu Grigore* Program analysis; runtime verification; probabilistic models of = computation. *Dr Rogerio de Lemos* Software engineering for self-adaptive systems: assurances and = resilience evaluation; architecting resilient systems. *Prof. Richard Jones* Language implementation; memory management; garbage collection; object = demographics; program analysis for improved memory management; program = visualisation, rigorous performance evaluation. *Dr Stefan Kahrs* Expressiveness of programming languages, type systems, term rewriting, = infinitary rewriting. *Dr Stephen Kell* Language implementation, tools, interoperability, runtimes and operating = systems. *Prof. Andy King* Abstract interpretation, logic programming, decompilation and reverse = engineering *Dr Julien Lange* Process calculi, automata theory, behavioural types, model checking and = their application to the implementation and verification of concurrent = and distributed systems. *Dr Stefan Marr* Language implementation techniques, concurrency, parallel programming, = optimizations, tooling, debugging, virtual machines, interpreters, = compilation. *Dr Matteo Migliavacca* On-line data processing, distributed publish-subscribe, and = high-performance event processing in large scale and cloud scenarios. *Dr Dominic Orchard* Mathematical structure of programs; logical foundations of programming; = categorical semantics; behavioural type theories; programming language = design; program verification for computational science. *Dr Scott Owens* Semantics of shared memory concurrency; design of programming languages; = formal verification for software and interactive theorem proving, = especially for CakeML (https://cakeml.org). *Dr Tomas Petricek* Programming languages and tools, especially for data science, studying = interactions of programming, bridging the gap between data and types; = foundations of programming in a broad sense, including design and human = experience; philosophy and history of computing and programming. *Prof. Simon Thompson* Functional programming in Haskell, Erlang and OCaml; refactoring = functional programs: tool building. theory and practice: = dependently-typed functional programming; DLT: languages for smart = contracts on blockchains, including Marlowe on Cardano. Simon Thompson | Professor of Logic and Computation=20 School of Computing | University of Kent | Canterbury, CT2 7NF, UK s.j.thompson@kent.ac.uk | M +44 7986 = 085754 | W www.cs.kent.ac.uk/~sjt --Apple-Mail=_F4E427FF-80D7-48B0-933E-F8F5ACB068E4 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8


The Programming Languages and Systems (PLAS) = group at the University of Kent's School of Computing invites = applications for 12 fully-funded 3-year PhD scholarships (for UK/EU = students).

Applications are due by the 26th = April 2019.

The PLAS group is one of the = largest programming languages research groups in Europe. It is currently = ranked 17th worldwide by the independent CSrankings website: http://csrankings.org/#/index?plan&world.

We provide a supportive environment for = research and we have a vibrant postgraduate population. We encourage our = students to engage with the wider research community through attending = conferences and taking internships with leading industrial companies. We = are located in Canterbury, a lively and cosmopolitan historic town with = convenient travel links to London and Europe.

You can apply to study for a PhD in any topic that falls = within our range of expertise. We have studentships up to a value of = =C2=A319,945 per annum that are available by competition.

Application process:
Select a = potential supervisor (see below) and send them an informal project = proposal as well as a brief CV (preferably by the first week of April = 2019). Staff contact details can be found on their web pages.
Submit your formal applications through the university = admission system by the 26th April 2019. Your application should include = a completed online admission form; the name and contact details of two = referees; an original document providing confirmation of your degree (or = a transcript if the degree is not yet awarded). For non-native English = speakers, a certificate of competence in English is required at IELTS = 6.5 or higher, with no element less than 6.0 (or equivalent).

Programming Languages and Systems Group:
https://www.cs.kent.ac.uk/research/groups/plas/index.html
Topics suggested by our group
https://www.cs.kent.ac.uk/research/groups/plas/pgprojects.html<= br class=3D"">
Applications process:
https://www.cs.kent.ac.uk/research/studyingforaphd/howtoapply.h= tml

For general inquiries about the = process, please e-mail: cs-phd-plas@kent.ac.uk.

PLAS is a large research group with potential supervisors who = work across the breadth of programming languages and systems = research.

*Dr Mark Batty*
(Additional scholarship: = https://www.cs.kent.ac.uk/people/staff/mjb211/studentship/studentship.htm)=
Concurrency; software verification; systems; relaxed = memory; programming language semantics; GPU concurrency.
*Dr Laura Bocchi*
Foundations and engineering = of API with complex behaviour, verification of distributed concurrent = systems; behavioural types; real-time systems; transactions and = transaction protocols.

*Dr Olaf Chitil*
Tracing, semantics, algorithmic debugging, type error = debugging, compilation and functional programming.

*Dr Radu Grigore*
Program analysis; runtime = verification; probabilistic models of computation.

*Dr Rogerio de Lemos*
Software engineering for = self-adaptive systems: assurances and resilience evaluation; = architecting resilient systems.

*Prof. = Richard Jones*
Language implementation; memory management; = garbage collection; object demographics; program analysis for improved = memory management; program visualisation, rigorous performance = evaluation.

*Dr Stefan Kahrs*
Expressiveness of programming languages, type systems, term = rewriting, infinitary rewriting.

*Dr = Stephen Kell*
Language implementation, tools, = interoperability, runtimes and operating systems.

*Prof. Andy King*
Abstract interpretation, = logic programming, decompilation and reverse engineering
*Dr Julien Lange*
Process calculi, automata = theory, behavioural types, model checking and their application to the = implementation and verification of concurrent and distributed = systems.

*Dr Stefan Marr*
Language implementation techniques, concurrency, parallel = programming, optimizations, tooling, debugging, virtual machines, = interpreters, compilation.

*Dr Matteo = Migliavacca*
On-line data processing, distributed = publish-subscribe, and high-performance event processing in large scale = and cloud scenarios.

*Dr Dominic = Orchard*
Mathematical structure of programs; logical = foundations of programming; categorical semantics; behavioural type = theories; programming language design; program verification for = computational science.

*Dr Scott Owens*
Semantics of shared memory concurrency; design of programming = languages; formal verification for software and interactive theorem = proving, especially for CakeML (https://cakeml.org).

*Dr Tomas Petricek*
Programming languages and = tools, especially for data science, studying interactions of = programming, bridging the gap between data and types; foundations of = programming in a broad sense, including design and human experience; = philosophy and history of computing and programming.

*Prof. Simon Thompson*
Functional programming = in Haskell, Erlang and OCaml; refactoring functional programs: tool = building. theory and practice: dependently-typed functional programming; = DLT: languages for smart contracts on blockchains, including Marlowe on = Cardano.




Simon Thompson | Professor of Logic and = Computation 
School = of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thompson@kent.ac.uk | M +44 7986 = 085754 | W www.cs.kent.ac.uk/~sjt

= --Apple-Mail=_F4E427FF-80D7-48B0-933E-F8F5ACB068E4--