Two PhD Studentships on Data-centric Programming and Provenance University of Edinburgh -Computer Science Do you have a strong background in foundations of computer science, programming languages, logic, or verification? Are you interested in applying these foundations to real-world problems in data-centric programming? Two PhD studentships in the intersection of databases and programming languages are available in the Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh. Both studentships are fully funded for three years, including UK/EU tuition fees and a stipend of approximately £13,700 per year. * One is funded by a Microsoft Research on the topic of Provenance-based security for configuration languages. The precise topic is subject to negotiation, but the project goal is to apply techniques developed for provenance management in databases to the challenging problem of auditing, or preventing, costly system failures where configurations are managed by declarative languages such as Puppet or Chef. This project is joint with Paul Anderson (Edinburgh) and Dimitrios Vytiniotis (Microsoft Research) and also includes funding of up to £1000 for a laptop for the student; it may also be possible for the student to participate in summer internships or other events at Microsoft Research. * The second is funded by a EU FP7 research project DIACHRON: Managing the Evolution and Preservation of the Data Web, and can be on any topic related to foundations of data preservation, including • foundations of data-centric programming; language-integrated query • bidirectional programming and data synchronization • language-based data curation and preservation techniques • query and update techniques for longitudinal or provenance-aware queries. • usable and efficient interfaces supporting collaboration/curation (e.g. wiki-like database interfaces) Students should normally have or expect at least an upper-2nd class Honours degree or Masters degree in Computer Science or a related discipline. More information is available here: wcms.inf.ed.ac.uk/lfcs/graduate%20study/language-based-provenance-security wcms.inf.ed.ac.uk/lfcs/graduate%20study/data-centric-programming-and-provenance Interested applicants should contact James Cheney ([email protected]) in the first instance to discuss their suitability for either project. The closing date for UK/EU applicants is 31 March 2014. Overseas applicants must apply by January 20 and should contact Dr. Cheney before this date to ensure full consideration for funding.
Posted on: Thu, 30 Jan 2014 10:58:34 +0000
Recently Viewed Topics
© 2015