[TYPES/announce] PhD opportunities in data-centric programming at LFCS, University of Edinburgh

James Cheney james.cheney at gmail.com
Tue Nov 5 07:03:50 EST 2013


I would like to recruit 1-2 PhD students, working on any of the following
topics (with further details given at the associated links).

* Language-based provenance security: Provenance-based security and audit;
applications to slicing, failure analysis for system configuration
languages; information-flow and provenance-tracking for multi-tier
programs; designing new [functional/declarative] languages or dynamic
information flow analyses for secure, high-reliability datacenter

* Data-centric programming and provenance: Types and language design for
integrating multiple data-centric programming models; language-integrated
query; extending bidirectional programming for synchronizing data across
data models;  language-based techniques for data curation and preservation,
provenance tracking, or archiving; query and update techniques for
longitudinal or provenance-aware queries.

One position is funded by a Microsoft Research PhD studentship, joint with
Paul Anderson and Dimitrios Vytiniotis (MSR-Cambridge).  The funding
includes a laptop for the student and there may be additional opportunities
for collaboration or internships (at the discretion of MSR).  A second
funded position may be available.

Other PhD studentships are also available, including on topics related to
types and programming languages.  Please contact me (jcheney at inf.ed.ac.uk)
or others in LFCS to discuss alternative project ideas.

== Application instructions ==

The first-round application deadline is December 13, 2013.  Applications
received after this deadline may be considered subject to available
funding. Applicants from outside the UK/EU must apply by December 13, 2013
in order be considered for full funding.  Please get in touch early in case
of questions about the application process, project ideas or study in the
UK or Edinburgh.

To apply, please follow the instructions at:


and apply to the LFCS PhD program (or just jump directly to

== About the University of Edinburgh and LFCS ==

The University of Edinburgh School of Informatics brings together
world-class research groups in theoretical computer science, artificial
intelligence and cognitive science. The School led the UK 2008 RAE rankings
in volume of internationally recognised or internationally excellent

The Laboratory for Foundations of Computer Science was established by
Burstall, Milner and Plotkin in 1986, and is recognized worldwide for
groundbreaking research on topics in programming languages, semantics, type
theory, proof theory, algorithms and complexity, databases, security, and
systems biology.  Programming Languages and Foundations is one of the
largest research activities in LFCS, including 15 academic staff, 9
postdoctoral researchers and 6 current PhD students. We participate in a
thriving PL research community across Scotland, with Scottish Programming
Languages Seminars hosted every 3-4 months by PL groups at Glasgow,
Strathclyde, Heriot-Watt, St. Andrews, Dundee and Edinburgh.

For more information about Edinburgh and studying here, see these pages:

* Explore Edinburgh
* Overview for prospective postgraduates
* Programming Languages and Foundations at LFCS
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20131105/5b5c9b3b/attachment.html>

More information about the Types-announce mailing list