And now for a word from our sponsors...
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 programming
- 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.
Applicants should have a good honors degree or equivalent in computer science, or a related discipline, and ideally familiarity with foundations of programming languages, security, or databases and interests in applications of these foundations to real systems.
Other PhD studentships are also available, including on
topics related to types and programming languages. Please contact me (jcheney@inf.ed.ac.uk) or others in LFCS to discuss alternative project ideas.
Read more »Labels: advertising, databases, functional programming, provenance
