From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of S.J.Thompson@kent.ac.uk) identity=pra; client-ip=129.12.21.35; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="S.J.Thompson@kent.ac.uk"; x-sender="S.J.Thompson@kent.ac.uk"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of S.J.Thompson@kent.ac.uk designates 129.12.21.35 as permitted sender) identity=mailfrom; client-ip=129.12.21.35; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="S.J.Thompson@kent.ac.uk"; x-sender="S.J.Thompson@kent.ac.uk"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx4.kent.ac.uk) identity=helo; client-ip=129.12.21.35; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="S.J.Thompson@kent.ac.uk"; x-sender="postmaster@mx4.kent.ac.uk"; x-conformance=sidf_compatible 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 --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 Ken= t'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 CSranki= ngs website: http://csrankings.org/#/index?plan&world. We provide a supportive environment for research and we have a vibrant post= graduate population. We encourage our students to engage with the wider res= earch community through attending conferences and taking internships with l= eading industrial companies. We are located in Canterbury, a lively and cos= mopolitan 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 o= f expertise. We have studentships up to a value of =C2=A319,945 per annum t= hat 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 adm= ission form; the name and contact details of two referees; an original docu= ment providing confirmation of your degree (or a transcript if the degree i= s not yet awarded). For non-native English speakers, a certificate of compe= tence in English is required at IELTS 6.5 or higher, with no element less t= han 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 t= he breadth of programming languages and systems research. *Dr Mark Batty* (Additional scholarship: https://www.cs.kent.ac.uk/people/staff/mjb211/stud= entship/studentship.htm) Concurrency; software verification; systems; relaxed memory; programming la= nguage semantics; GPU concurrency. *Dr Laura Bocchi* Foundations and engineering of API with complex behaviour, verification of = distributed concurrent systems; behavioural types; real-time systems; trans= actions and transaction protocols. *Dr Olaf Chitil* Tracing, semantics, algorithmic debugging, type error debugging, compilatio= n 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 e= valuation; architecting resilient systems. *Prof. Richard Jones* Language implementation; memory management; garbage collection; object demo= graphics; program analysis for improved memory management; program visualis= ation, rigorous performance evaluation. *Dr Stefan Kahrs* Expressiveness of programming languages, type systems, term rewriting, infi= nitary rewriting. *Dr Stephen Kell* Language implementation, tools, interoperability, runtimes and operating sy= stems. *Prof. Andy King* Abstract interpretation, logic programming, decompilation and reverse engin= eering *Dr Julien Lange* Process calculi, automata theory, behavioural types, model checking and the= ir application to the implementation and verification of concurrent and dis= tributed systems. *Dr Stefan Marr* Language implementation techniques, concurrency, parallel programming, opti= mizations, tooling, debugging, virtual machines, interpreters, compilation. *Dr Matteo Migliavacca* On-line data processing, distributed publish-subscribe, and high-performanc= e event processing in large scale and cloud scenarios. *Dr Dominic Orchard* Mathematical structure of programs; logical foundations of programming; cat= egorical semantics; behavioural type theories; programming language design;= program verification for computational science. *Dr Scott Owens* Semantics of shared memory concurrency; design of programming languages; fo= rmal 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 inte= ractions of programming, bridging the gap between data and types; foundatio= ns 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 08575= 4 | 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).

Applica= tions are due by the 26th April 2019.

The PLAS= group is one of the largest programming languages research groups in Europ= e. It is currently ranked 17th worldwide by the independent CSrankings webs= ite: ht= tp://csrankings.org/#/index?plan&world.

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

You can apply to study for a PhD in any topi= c that falls within our range of expertise. We have studentships up to a va= lue 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 a= s a brief CV (preferably by the first week of April 2019). Staff contact de= tails can be found on their web pages.
Submit your formal app= lications through the university admission system by the 26th April 2019. Y= our application should include a completed online admission form; the name = and contact details of two referees; an original document providing confirm= ation of your degree (or a transcript if the degree is not yet awarded). Fo= r non-native English speakers, a certificate of competence in English is re= quired 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.ken= t.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 po= tential supervisors who work across the breadth of programming languages an= d systems research.

*Dr Mark Batty*
(Additional scholarship: https://www.cs.kent.ac.uk/people/staff/mjb21= 1/studentship/studentship.htm)
Concurrency; software verifica= tion; systems; relaxed memory; programming language semantics; GPU concurre= ncy.

*Dr Laura Bocchi*
Foundatio= ns and engineering of API with complex behaviour, verification of distribut= ed concurrent systems; behavioural types; real-time systems; transactions a= nd transaction protocols.

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

*Dr R= adu Grigore*
Program analysis; runtime verification; probabil= istic models of computation.

*Dr Rogerio de Le= mos*
Software engineering for self-adaptive systems: assuranc= es and resilience evaluation; architecting resilient systems.

*Prof. Richard Jones*
Language implementation= ; memory management; garbage collection; object demographics; program analy= sis for improved memory management; program visualisation, rigorous perform= ance evaluation.

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

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

*Prof. Andy King*
= Abstract interpretation, logic programming, decompilation and reverse engin= eering

*Dr Julien Lange*
Process= calculi, automata theory, behavioural types, model checking and their appl= ication to the implementation and verification of concurrent and distribute= d systems.

*Dr Stefan Marr*
Lang= uage implementation techniques, concurrency, parallel programming, optimiza= tions, tooling, debugging, virtual machines, interpreters, compilation.

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

*D= r Dominic Orchard*
Mathematical structure of programs; logica= l foundations of programming; categorical semantics; behavioural type theor= ies; programming language design; program verification for computational sc= ience.

*Dr Scott Owens*
Semantic= s of shared memory concurrency; design of programming languages; formal ver= ification for software and interactive theorem proving, especially for Cake= ML (https://cakeml.org).

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

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


=

Simon= Thompson | Professor of Logic and Computation 
School of Computing | University of Kent | Canterbury, CT2 7= NF, 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--