Open PhD Positions

A number of PhD research projects have been selected for funding through the last call of the Microsoft PhD Scholarship Programme. For some of these projects, PhD supervisors are seeking suitable students. The research projects listed on this page are currently accepting applications from PhD students.

 

Why do people communicate?

Primary supervisor: Constantine Sandis, Oxford Brookes University
Microsoft Research supervisor: Richard Harper, Microsoft Research Cambridge
Application deadline: 17:00, 14 July 2014
Interview date: Interviews will be held in the week commencing 28 July 2014.
Expected start date: 15 September 2014

Summary: Oxford Brookes University, in association with Microsoft Cambridge, is pleased to offer a full PhD Studentship in Philosophy to work on communicative action and its reasons. This project seeks to better provision philosophical explanation of the variety of reasons for which people communicate and, consequently, to explore what insights this might have for new communications media. In particular, the project proposes a philosophical anthropology that understands communicative minds in terms of shared intentional behavior, rather than the other way round.

We are seeking an original PhD proposal that will do one or more of the following:

  1. Critically investigate the state of play in the philosophy of collective action.
  2. Explore the plurality of ways in which we do things together by investigating the relation of joint communicative behaviour to human psychology and social rules.
  3. Compare contemporary philosophical concerns about action explanation with the history of interaction analysis in sociology. These may (but need not) be integrated to propose a philosophical sociology of collective action.
  4. Sketch salients in a new program of philosophical anthropology on communication.
  5. Explore how a philosophically infused sociology of communicative action might have implications for Human-Computer Interaction.

Download the full advert for this position (PDF, 72 KB)

Application: To request an application pack and for additional application instructions, contact the research administrator, Charmian Hearne:

Posted 2 July 2014

The Generality and Mechanism of Bet-Hedging in Bacteria

Primary supervisor: James Locke, Sainsbury Laboratory
Microsoft Research supervisor: Andrew Phillips
Application deadline: Applications for this studentship will be considered as they are received, so please submit your application as soon as possible.
Expected start date: October 2014 or January 2015
Duration: This is a three-year PhD position.

Summary: Gene circuits exhibit fluctuations ('noise') in the level of key regulatory components. Increasingly, noise appears to play functional roles. For example, noise could enable a subpopulation of cells to enter a transient antibioticresistant state, enhancing their survival. By ensuring that cells do not all exist in the same transcriptional state, the colony can 'bet hedge' against future environmental changes.

We are seeking candidates for a fully funded three-year Microsoft Research PhD studentship. The candidate will use single-cell time-lapse microscopy to examine the generality of bet-hedging in B. subtilis. After screening for pathways that show variable gene expression, they will use a combination of synthetic biology and computational modelling to discover the mechanisms that allow cells to probabilistically enter these states. The work will lead to an understanding of how and why alternative transcriptional states are generated. Successful candidates will have a background in biochemistry/molecular biology or in computational modelling, with a willingness to learn the skills that they are lacking.

Download the full advert for this position (PDF, 156 KB)

Application: To apply, email James Locke with cover letter, CV, and contact details for two references. Please quote reference PH03479 on your application and in any correspondence about this vacancy.

Posted 16 June 2014

PhD Studentship in Privacy-Friendly Computation

Primary supervisor: George Danezis, University College London
Microsoft Research supervisor: Cedric Fournet
Application deadline: 27 June 2014
Expected start date: fall (northern hemisphere) 2014
Duration: This is a three-year position.

Summary: Applications are invited for a PhD position in the field of privacy enhancing technologies and cryptographic engineering at the Information Security Group of the UCL Department of Computer Science. We expect a candidate to have at least a strong 2:1 degree in Computer Science, Engineering, Mathematics or a related MSc course. A good engineering mathematics background and a willingness to become fluent with modern cryptographic constructions is necessary. A solid software engineering, compilers, or distributed systems background is desirable.

The successful applicant will study the engineering of tools and services to enable the wide deployment of privacy friendly computation techniques. A number of techniques in theoretical cryptography allow for computations to be performed on encrypted or otherwise obscured private data (including homomorphic encryption, secure multi-party computation and zero-knowledge proofs). The aim of this project is to make those techniques accessible by non-cryptographers, by integrating them into tools, libraries and services. Key challenges include a thorough understanding of the cryptographic primitives, but most importantly engineering innovation through the creation of both infrastructures (web services, trusted parties) and tools (compilers, libraries, languages) that implement the theoretical techniques, and provide a usable interface for non-experts to use them.

The studentship is open to all, but only fully covers UK/EU fees.

Application: To apply complete and submit the online application form by 27 June 2014. Mark the name of the studentship clearly on your personal statement

General enquiries about the application process should be directed to Melanie Johnson.
Questions regarding academic aspects of the project should be directed to George Danezis.

Posted: 22 May 2014

Computation During Development: Characterising the Molecular Programs that Underlie Pluripotency and Differentiation in Embryonic Stem Cells

Primary supervisor: Dr. Brian Hendrich, Cambridge Stem Cell Institute
Microsoft Research supervisor: Prof. Stephen Emmott
Application deadline: until the position is filled
Expected start date: Early applications should be eligible for October 2014 start. Later applications may only be eligible for January 2015 start.
Duration: This is a three-year PhD position.

Summary: Embryonic stem (ES) cells are a unique type of cell derived from the inner cell mass of the developing blastocyst, which possess the ability to self-renew indefinitely, and to differentiate into all somatic lineages; a characteristic known as pluripotency. Harnessing this potential makes them an attractive prospect for regenerative medicine, while understanding the decision-making procedures that determine differentiation is vital to our overall understanding of development. We aim to combine both state-of-the-art experimental and computational methods to uncover the processes that underlie cell fate determination. We are seeking an outstanding individual for award of a fully funded three year Microsoft PhD Scholarship. The candidate should have a strong background in biochemistry/developmental biology, knowledge of computational/mathematical methods, and the ability to contribute to both experimental work in the Hendrich lab and in computational development at Microsoft Research.

For more information about this work, please visit Computational Science Laboratory and Dr. Brian Hendrich's page at the Cambridge Stem Cell Institute.

Application: To apply, visit Microsoft Research Studentship to download an application form and submit your application.

Applications for this studentship will be considered as they are received, so please submit your application as soon as possible. It is your responsibility to ensure that your references are submitted as soon as possible after you apply.

If you have any questions, please contact cscr-phd@cscr.cam.ac.uk.

Posted 8 May 2014

Computational Algorithms as Biological Regulatory Networks

Primary supervisor: Attila Csikasz-Nagy, King's College London
Microsoft Research supervisor: Luca Cardelli
Expected start date: 1 October 2014

Summary: Evolution selected for biological network designs that are capable of fast and proper responses to inputs. Computing is also designed to handle tasks in a fast and precise way. The efficiency of biological systems is often copied when designing biologically inspired tools (evolutionary algorithms, machine learning, and so forth). The supervisor of this project, in collaboration with Luca Cardelli, investigated the similarities between a cell cycle regulatory switch and the Approximate Majority (AM) algorithm of distributed computing. The AM algorithm computes the majority of two finite populations and the cell cycle switch ensures that cells divide only after DNA replication is finished. The functions of the two switches differ but their dynamical behaviour is similar. The project goes further to investigate how biological regulatory systems can be converted to computational algorithms and how algorithms can provide us hints about non-clearly understood biological systems. Read a related publication: The Cell Cycle Switch Computes Approximate Majority

An MSc or in rare cases a BSc in Computer Science/ Bioinformatics/Biology/Physics/Applied Mathematics or related fields is required. For candidates coming from more computing or theory, an extensive knowledge of biology is required. For candidates coming from a biology background, we require excellent analytical and programming experience.

Details and application: For further details, contact: attila.csikasz-nagy@kcl.ac.uk or visit Microsoft Research PhD scholarship on Computational Algorithms as Biological Regulatory Network.

Also, see PhD studentship opportunities.

Posted: 9 April 2014

Verifying Concurrent Higher-Order Programs

Primary supervisor: Matthew Hague, Royal Holloway UoL
Microsoft Research supervisor: Andrey Rybalchenko
Application deadline: until the position is filled
Expected start date: The studentship will start in or after October 2014.

Summary: Higher-order programming features are increasingly supported by modern languages, such as F Sharp, Python, Scala, Haskell, OCaml, and C++. Thus, this forms an increasingly essential topic for verification for which there have been several important recent advances. Furthermore, it is clear that concurrency will become the dominant programming paradigm, due to both the ubiquity of multi- and many-core machines and the increasingly distributed nature of computation, especially in the processing of "Big Data."

Current verification tools for higher-order programs tend to focus on non-concurrent programs. During this PhD, you will survey the existing state of the art analysis techniques for higher-order programs and develop new techniques and tools based on one of these approaches for analyzing concurrent higher-order programs.

Application: To apply, please contact Matthew Hague directly.

Posted: 26 March 2014

Reasoning About Side Channels in Cryptographic Protocols

Primary supervisor: Boris Köpf, IMDEA Software Institute, Spain
Microsoft Research supervisor: Cédric Fournet
Application deadline:
until the position is filled
Expected start date: fall (northern hemisphere) 2014

Summary: Side-channel attacks break cryptosystems by exploiting signals that are unwittingly emitted by their implementations. Many defense mechanisms rely on the context in which a cryptographic primitive is used; that is, the protocol. In the course of this project, we will devise techniques that enable reasoning about side-channel leakage in cryptographic protocols. The promise of our approach is to achieve high degrees of security and performance at the same time. To this end, we will tackle two open challenges: first, how to do compositional reasoning about leakage and its aggregation; second, how to embed low-level binary analysis into this compositional context.

Application: To apply, please contact Boris Köpf or Cédric Fournet directly.

Posted: 26 March 2014

Sketching Algorithms for Massive Graphs and Matrices

Primary supervisor: Prof. Graham Cormode, University of Warwick, UK
Microsoft Research supervisor: Dr. Milan Vojnovic
Application deadline:
There is no final deadline, but applications received before the end of May 2014 will have the greatest chance of success.
Expected start date: The planned start date is October 2014, but January 2015 is also possible.

Summary: Increasingly, we are faced with larger and larger volumes of data from which to extract insights and intelligence. An important case surrounds data that can be represented as a graph or (adjacency) matrix. A promising approach is to look for ways to “sketch” such structures: to build a representation that is much more compact than the input, but which allows some function of interest on the original data to be approximated accurately by using the sketch. Such sketches are well known and widely used for data that can be represented as a vector (such as to identify the most frequent elements, or to count the number of distinct items). The goal of this scholarship project is to develop new algorithms for sketching massive graphs and matrices, and to demonstrate their usefulness via theoretical analysis and empirical evaluation.

Application: To apply, please contact Graham Cormode or Milan Vojnovic directly.

Posted: 12 March 2014

GeoGraph: Efficient geographically distributed graph infrastructure

Primary supervisor: Prof. Fernando Pedone, University of Lugano, Switzerland
Microsoft Research supervisor: Dr. Flavio Junqueira
Application deadline: until the position is filled
Expected start date: summer (northern hemisphere) 2014

Summary: Many current online services build on graph data structures. Services in this category, which include social networks, collaborative applications, and recommendation systems, share a number of common characteristics. They typically serve a large user base, possibly geographically distributed; the underlying graph structure has particular properties (such as power-law distributions); users can tolerate certain anomalies (for example, non-serializable behavior) but expect some guarantees from the system (such as preserving causal dependencies among requests and availability in the event of failures and disasters); and most requests are either small graph updates (for example, inserting an edge between two vertices) or relatively large queries (for example, computing a user’s timeline in the case of a social network application). The goal of this project is two-fold: first, we aim to propose consistency criteria well adapted to graph-dependent online services. In this sense, consistency must account for the typical operations performed on graphs by online services. Second, we intend to design, implement, and experimentally assess an infrastructure that implements this isolation level (or levels).

Application: To apply, send your CV and a research statement to Fernando Pedone (fernando.pedone at usi.ch) or Flavio Junqueira (fpj at microsoft.com), and arrange for two reference letters to be sent to the same email addresses. We’re happy to provide further information on request.

Posted: 6 March 2014

Approximate Bayesian Inference for Data Pipelines

Supervisors: Dr Iain Murray
Microsoft Research supervisor: Dr John Winn
Application deadline: until the position is filled
Expected start date: September 2014

Summary: Bayesian inference is rarely used coherently across all states of data processing in large-scale machine learning applications. Early stages of a pipeline are often seen as “pre-processing”, not part of a statistical model, and model criticism is usually also a separate manual stage. We aim to provide tools that allow more steps of processing to be routinely part of probabilistic analyses. Our plan is to develop new Monte Carlo fitting methods, resulting in more accurate and trustworthy results for a variety of data-processing tasks involving pipelines. Successful proof-of-concepts will be developed into general tools. Where appropriate, we will extend the Microsoft Research Infer.NET project, in collaboration with John Winn.

We are seeking to award a Microsoft PhD Scholarship on the topic of Approximate Bayesian inference for data pipelines.

The PhD scholarship is fully funded for three years. The project will be supervised by Dr Iain Murray of the School of Informatics at the University of Edinburgh, in collaboration with Dr John Winn at Microsoft Research Cambridge.

Posted: 10 February 2014 

Provenance for Configuration Language Security

Supervisors: James Cheney and Paul Anderson
Microsoft Research supervisor:
Dimitrios Vytiniotis
Application deadline: until the position is filled
Expected start date: autumn (northern hemisphere) 2014

Summary: Declarative, high-level configuration languages are widely used in industry to configure large system installations. Configurations are often composed from distributed source files managed by many different users within different system and organisational boundaries. Users may make changes whose consequences are not easy to understand, and such systems also currently lack mature security access controls; the few currently available techniques have idiosyncratic behaviour and offer no formal guarantees. In the worst case, misconfiguration can lead to costly system failures; because of the complexity of the configuration build, it is difficult to recover from failures, trace the source of the error or identify the responsible party.

In this project, we will explore the application of provenance techniques (originally developed in the context of databases) to establishing well-founded and effective techniques for security and audit for configuration languages.

Posted: 22 January 2014