Departmental and College scholarships

EPSRC doctoral training studentships

UK Students and EU Students Satisfying the Residency Requirement

The Department of Computing has six competitive EPSRC DTP studentships available for suitably qualified students who also meet the EPSRC residency criteria starting in October 2019.

A studentship covers home fees, a bursary of about £16,777 and £1,000 towards travel and equipment per annum for 3.5 years. We expect students to have completed, or expect to complete before October 2019, either a first class Masters MEng degree or a first class Bachelors degree and distinction MSc, in an appropriate subject.

For students who qualify for EU fee status, but who do not meet the residency criteria, the department has a number of fees only studentships that will pay fees and £1,000 towards travel and equipment per annum for 3.5 years.

The competitions are open to all eligible candidates who otherwise do not have guaranteed funds and who have applied before the end of May 2019. The allocation is usually made by the last two weeks of June. There is no need to formally apply, as we will automatically consider you if you meet the above criteria.

Please note: the EU residency requirement is detailed on the EPSRC website.

Fees: £4,260 per year 
Bursary: £16,777 per year

Doctoral teaching scholarships

The Department of Computing will award up to three doctoral teaching scholarships for PhD applicants starting in October 2019 or exceptionally in April 2020. The period of the scholarship is four years six months.

For home fee and EU fee students the scheme covers full fees and a full PhD scholarship of approximately £24,000 per annum in total. For overseas fee students the scheme covers a full PhD scholarship and the home portion of the fees. The overseas fee portion of the fees will have to be provided by the student or an external funding body.

In addition to academic excellence, applicants should have a strong commitment to teaching in higher education. They will be expected to build up a portfolio comprising a wide variety of teaching experiences. As well as completing their PhD scholars will complete the Certificate of Learning and Teaching offered by the Educational Development Unit of Imperial College. It is expected that the teaching activities will be equivalent to approximately 15 months full-time spread over the time of the scholarship and including work for the Certificate of Learning and Teaching.

The shortlisting process is in two phases: first the candidate must be accepted for a PhD with a named supervisor; second a shortlist of accepted candidates is made and shortlisted candidates will normally be invited for interview during June. (*) It is recommended that applicants apply well before the deadline. 

How to Apply:

Please contact Amani El-Kholy a.o.el-kholy@imperial.ac.uk or Dr. Madasar Shah madasar.shah@imperial.ac.uk.

*For already qualified applicants (ie you have completed an MEng or MSc degree) who apply early and are accepted with a named supervisor the interview date may be earlier than June.

President's PhD Scholarships

The College offers a range of awards for PhD students. Please see the student finance website for further details. 

50 new scholarships are now being offered by the college for highly talented students. For more information please visit the President’s PhD Scholarships page. Note that these are very competitive and the Department is likely to only award two scholarships.

The Chinese Scholarship Council and Imperial College London have created a scholarship programme to enable talented Chinese students to undertake a PhD programme at Imperial. Visit the CSC Imperial Scholarships page for more information.

Further information

EPSRC CDT scholarships in smart medical imaging

The EPSRC Centre for Doctoral Training (CDT) in Smart Medical Imaging at King's College London and Imperial College London continues the successful partnership of two world-class institutions, to provide PhD training within an embedded hospital environment in Central London, with state-of-the-art research laboratories across the Universities, and in close interaction with the healthcare industry.

The CDT in Smart Medical Imaging will adopt a flexible training approach. However, most students will normally follow a 1+3 pathway (1-year MRes at King's, followed by 3-year PhD at King's or Imperial). Over the four years of study within the CDT the aim is to equip students with the skills and knowledge that will enable them to explore a range of career options in research and academia.

The CDT offer fully funded PhD studentships, starting every year in September, including generous research consumables and conference travel, with exposure to international imaging labs and healthcare industry placements.

For more information about the CDT programme and how to apply, please check the CDT website.

UKRI CDT scholarships in safe and trusted artificial intelligence

The Department of Computing participates to the UKRI Centre for Doctoral Training (CDT) in Safe and Trusted Artificial Intelligence (STAI), a new initiative to train the first generation of AI scientists and engineers in methods of safe and trusted AI.

The CDT will fund up to 15 studentships (of around £17,000) each year (depending on the support available) starting from September 2019. Applications are now open for September 2019 entry, with the first deadline for the current round of applications closing on 17 March 2019.

For more information about the STAI CDT and the application process please consult the Call for Applications and the How to Apply page.

Note: An Information session will be held on Tuesday 12 March, 17.00-18.00, King's Building K-1.14, King's College London. Email stai-cdt@kcl.ac.uk to book your place, with 'info-session' in the subject.

Area specific scholarships

2 x PhD positions in mobile systems security

Studentship: Untaxed bursary of £16,777 per annum (2018/19 figure including London weighting plus home/EU fees)

The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating. In the 2014 REF assessment, The Department was ranked third (1st in the Research Intensity table published by The Times Higher), and was rated as "Excellent" in the previous national assessment of teaching quality.

Applications are invited for a PhD student in mobile systems security under the supervision of Dr. Soteris Demetriou.

The rapid evolution of mobile devices comes at the expense of their security and their users’ privacy. The successful candidate will systematically analyze the security of popular smartphone and IoT systems (smarthome systems, connected and autonomous vehicles, voice assistants). The goal is to improve the security of real-world, widely used systems such as the Android OS, Samsung Smartthings and the Amazon Echo among others; and propose, implement and evaluate novel, effective and efficient methodologies and systems that are robust against sophisticated adversaries aiming to compromise users’ confidentiality and the systems’ integrity.

To apply for this position, you will need to have a strong background in at least one of the following areas:

  • Systems (e.g. systems security, operating systems, networking, distributed systems)
  • Signal processing
  • Machine Learning
  • Formal Methods and Software Engineering

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science or mathematics. Applicants must be fluent in spoken and written English.

The position is fully funded, covering tuition fees, travel funds and a stipend/bursary. The position is available to home and EU students.

How to apply

To apply for this position, please follow the application guidelines on our application guidelines.

In the application form, please write Mobile Systems Security in the “Proposed Research Topic” field, and Dr. Soteris Demetriou in the “Proposed Research Supervisor” field.

Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to Dr. Soteris Demetriou.

This position will be based at the South Kensington campus in central London.

Applicants are advised to visit our PhD page for general information on becoming a PhD student in the Department of Computing.

We are committed to equality and valuing diversity. We are also an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Two Ticks Employer, and are working in partnership with GIRES to promote respect for trans people.

2x PhD positions in learning algorithms for adaptive robots

Studentship: Untaxed bursary of £16,777 per annum (2018/19 figure including London weighting plus home/EU fees)

The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating. In the 2014 REF assessment, the Department was ranked third (1st in the Research Intensity table published by The Times Higher) and was rated as "Excellent" in the previous national assessment of teaching quality.

Applications are invited for a PhD student in robotics and machine learning under the supervision of Dr Antoine Cully.

The primary objective of this project is to use learning algorithms (deep reinforcement learning, quality diversity optimization, evolutionary algorithms and others) to improve the adaptivity, versatility and autonomy of physical robots. This objective encapsulates several major research directions, including:

  • How to learn quickly on a physical robot (Sim-Real transfer)?
  • How to learn several skills simultaneously (knowledge transfer)?
  • How to learn without the need of roboticists and engineers?
  • How to do open-ended life-long learning/adaptation?

The successful candidate will choose the direction(s) that interests him the most. The laboratory is currently mainly considering locomotion tasks with legged robots (traversing uneven terrains, climbing stairs, overcoming obstacles, discovering various locomotion modes etc..). However, other robotic applications can be considered.

To apply for this position, you will need to have a strong background in at least one of the following areas:

  • Robotics (e.g., forward and inverse models, control theory, model predictive control),
  • Machine learning (e.g., deep neural networks, deep reinforcement learning, dimensionality reduction),
  • Evolutionary algorithms (e.g., Divergent search, multi-objective optimization, Quality-Diversity optimization).

You will need strong analytical skills, programming background and experience with mechatronic systems.

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science or mathematics. Applicants must be fluent in spoken and written English.

The position is fully funded, covering tuition fees, travel funds and a stipend/bursary. The position is available to home and EU students.

How to apply

To apply for this position, please follow the application guidelines.

In the application form, please write Learning algorithms for adaptive robots in the “Proposed Research Topic” field, and Dr Antoine Cully in the “Proposed Research Supervisor” field.

Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to Dr Antoine Cully.

This position will be based at the South Kensington campus in central London.

Applicants are advised to visit our PhD page for general information on becoming a PhD student in the Department of Computing.

We are committed to equality and valuing diversity. We are also an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Two Ticks Employer, and are working in partnership with GIRES to promote respect for trans people.

4 x PhD scholarship in medical robotics (The Hamlyn Centre)

The Hamlyn Centre is a leader in medical robotics and allied technologies. It is dedicated to developing safe, effective and accessible imaging, sensing and robotics technologies that can reshape the future of healthcare. Focusing on technological innovation but with a strong emphasis on clinical translation and direct patient benefit with a global impact, the centre is at the forefront of research in imaging, sensing and robotics for addressing global health challenges associated with demographic, environment, social and economic changes.

Applications are invited for four PhD students in surgical robotics and related basic science we are interested in candidates with a strong background in one or more of the following areas:

  • Mechatronics and robotic control;
  • Computer vision, tracking and navigation;
  • Medical image computing and image guided intervention;
  • Machine learning, e.g., deep learning or Bayesian methods;
  • Material science (smart materials and soft composites);
  • Bio Biosensor design, functionalization, membrane formation and fabrication;
  • Microsystems and fabrication

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline. Applicants must be fluent in spoken and written English.

How to apply

To apply for this position, please follow the application guidelines.

In the application form, please write 'Hamlyn Centre 2019 PhDs' in the 'Proposed Research Topic' field, and 'Proposed Research Supervisor' field.

Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to marina.hall@imperial.ac.uk. For further information see The Hamlyn Centre website. These positions will be based at the South Kensington campus in central London.

Applicants are advised to visit hour PhD page for general information on becoming a PhD student.

Funding notes

The positions will start in April or October 2019 and they are all fully funded, covering tuition fees, travel funds and a stipend/bursary.

PhD position in Big Data Management: Auto-tuning for modern hardware

Studentship: Untaxed bursary of £16,553 per annum (2017/18 figure including London weighting plus home/EU fees)

The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating. In the 2014 REF assessment, The Department was ranked third (1st in the Research Intensity table published by The Times Higher), and was rated as "Excellent" in the previous national assessment of teaching quality.

Applications are invited for a PhD student in Big Data Management with focus on Auto-tuning for modern hardware under the supervision of Dr. Holger Pirk.

The user of modern hardware such as GPUs, FPGAs or RDMA for data processing promises orders of magnitude better performance than state-of-the-art techniques. However, it is not trivial: making effective use of such hardware involves the analysis of the hardware, the development of accurate cost models as well as new (often massively parallel) algorithms and processing strategies. Once these new components are in place, it is hard to decide when to use which due to the proliferation of hardware designs.

The goal of this project is to develop an approach that automatically determines the right data processing strategy for a given hardware architecture -- ideally without any human input. There are a number of approaches to this problem, ranging from accurate modeling and optimization to machine learning. There will be freedom for an excellent candidate to explore the problem space according to their specific interests.

To apply for this position, you will need to have a strong background in at least one of the following areas: data management, compilers, computer architecture or high-performance computing.

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science or mathematics. Applicants must be fluent in spoken and written English.

The position is fully funded, covering tuition fees, travel funds and a stipend/bursary. The position is available to home and EU students.

How to apply

To apply for this position, please follow the application guidelines.

In the application form, please write Big Data Autotuning in the “Proposed Research Topic” field, and Dr. Holger Pirk in the “Proposed Research Supervisor” field.

Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to Dr. Holger Pirk. For further information see https://www.doc.ic.ac.uk/~hlgr/research/openings.

This position will be based at the South Kensington campus in central London.

Applicants are advised to visit the PhD homepage for general information on becoming a PhD student in the Department of Computing.

We are committed to equality and valuing diversity. We are also an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Two Ticks Employer, and are working in partnership with GIRES to promote respect for trans people.

PhD position in Big Data Management: Data Compression

Studentship: Untaxed bursary of £16,553 per annum (2017/18 figure including London weighting plus home/EU fees)

The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating. In the 2014 REF assessment, The Department was ranked third (1st in the Research Intensity table published by The Times Higher), and was rated as "Excellent" in the previous national assessment of teaching quality.

Applications are invited for a PhD student in Big Data Management with focus on Data Compression under the supervision of Dr. Holger Pirk. 

Lossless compression plays an important role in managing the increasingly large datasets that arise in modern business, science and public services. The benefits of compression are twofold: on the one hand, it reduces storage and bandwidth costs by reducing data volume. On the other hand, it can benefit performance significantly, as demonstrated in numerous database systems and HPC applications. However, compression strategies are usually "baked into the application", i.e., developed, implemented and tuned for it. This is a labour and cost intensive process. 

The goal of this project is to explore the use of compression in a wide range of data-intensive applications, develop new programming models for the use of compression in big-data programs (distributed and single-node) and optimize program execution. Given the wide range of applications, there is significant freedom for an excellent student to explore applications ranging from embedded systems to big-data clusters -- from event processing to machine learning -- from compilers to database systems.

To apply for this position, you will need to have a strong background in at least one of the following areas: data management, compilers, computer architecture or high-performance computing. 

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science or mathematics. Applicants must be fluent in spoken and written English.

The position is fully funded, covering tuition fees, travel funds and a stipend/bursary. The position is available to home and EU students.

How to apply

To apply for this position, please follow the application guidelines.

In the application form, please write Big Data Compression in the “Proposed Research Topic” field, and Dr. Holger Pirk in the “Proposed Research Supervisor” field. Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to Dr.  can be directed to Dr. Holger Pirk. For further information see https://www.doc.ic.ac.uk/~hlgr/research/openings.

This position will be based at the South Kensington campus in central London.

Applicants are advised to visit the PhD homepage for general information on becoming a PhD student in the Department of Computing.

We are committed to equality and valuing diversity. We are also an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Two Ticks Employer, and are working in partnership with GIRES to promote respect for trans people.

PhD in High-Performance Data Management/Data Management on Modern Hardware

Studentship: Untaxed bursary of £16,553 per annum (2017/18 figure including London weighting plus home/EU fees) 

High-Performance Data Management enables a landscape of new and exciting applications such as interactive data exploration, realtime stream processing or predictive analytics. Applications are found in a variety of fields such as computer games, finance, sensor data processing, data science and many more. 

To help shape current and future trends in High-Performance Data Management, applications are invited for a PhD student under the supervision of Dr. Holger Pirk. 

Candidates will need a strong background in computer science, ideally with some experience in one or more of the following areas: 

- data management, 
- compilers, 
- computer architecture, 
- hardware acceleration (GPUs, FPGAs, Xeon Phi, ...) or 
- high-performance computing. 

We will provide an exciting research environment in a diverse, internationally well-connected group. This includes collaborative visits to research groups abroad as well as support for industry and academic internships. 

Applications can be submitted throughout the year using the college application system 
(see http://www.imperial.ac.uk/computing/prospective-students/phd/phd-application-guidelinesfor guidelines). 
Please, state High-Performance Data Management in the title and select "Dr. Holger Pirk" as the "Proposed Research Supervisor". 

Please include a statement in your application covering your research interests and expertise. Also consider attaching a report on a project you have conducted (e.g., thesis or extended coursework description). 

Feel free to informally contact Dr. Holger Pirk if you have questions. 

About the Supervisor: 

Holger is a Lecturer in the Department of Computing at Imperial College London. Before that, he was a Postdoc in the Database group at MIT. He spent his PhD years in the Database Architectures group at CWI in Amsterdam resulting in a PhD from the University of Amsterdam. 

About the Department: 

The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating. In the 2014 REF assessment, The Department was ranked third (1st in the Research Intensity table published by The Times Higher), and was rated as "Excellent" in the previous national assessment of teaching quality. 

PhD position in Computer Systems for Data Science

Studentship: Untaxed bursary of £16,777 per annum (2018/19 figure including London weighting plus home/EU fees)

The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating.

In the 2014 REF assessment, the Department was ranked third (1st in the Research Intensity table published by The Times Higher), and was rated as "Excellent" in the previous national assessment of teaching quality.

Applications are invited for one fully funded PhD position in Computer Systems under the supervision of Dr. Jana Giceva. We welcome applications from students who are excited to do research in the broad area of computer systems and who want to design and build systems that support Big Data and data science workloads and that run efficiently on modern and future hardware platforms. We encourage applications from highly motivated students who want to influence how future systems are designed across the system stack: from hardware/software co-design, to operating systems and data processing engines.

To apply for this position, you will need to have a solid background in at least one of the following areas: databases, operating systems, computer architecture, performance analysis, or some prior experience in working with hardware accelerators. You will also need experience in building and working with large software systems, and strong background in system programming.
Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science or mathematics. Applicants must be fluent in spoken and written English.

The position is fully funded, covering tuition fees, travel funds and a stipend/bursary. The position is available to home and EU students.

How to apply

To apply for this position, please follow the application guidelines.

In the application form, please write ‘Computer Systems for Data Science’ in the “Proposed Research Topic” field, and ‘Dr. Jana Giceva’ in the “Proposed Research Supervisor” field. Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to Dr. Jana Giceva.

This position will be based at the South Kensington campus in central London.

Applicants are advised to visit the PhD section for general information on becoming a PhD student in the Department of Computing.

We are committed to equality and valuing diversity. We are also an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Two Ticks Employer, and are working in partnership with GIRES to promote respect for trans people.

PhD position in ensuring smart contracts are correct

Studentship: Untaxed bursary of £16,777 per annum (2018/19 figure including London weighting plus home/EU fees)

The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating. In the 2014 REF assessment, The Department was ranked third (1st in the Research Intensity table published by The Times Higher), and was rated as "Excellent" in the previous national assessment of teaching quality.

Applications are invited for a PhD student to work on Ensuring Smart Contracts are Correct with a focus either on language design or verification under the supervision of Professors Susan Eisenbach and Sophia Drossopoulou.

Smart contracts have to be correct. They are all about money and they have very long lifetimes: once on the blockchain they cannot be updated (corrected). Fortunately, contracts are amenable to verification, especially since they tend to be small. So what is the problem? The de facto smart contract language, Solidity has had a chequered history. Billions of dollars have been lost due to bugs in Solidity code and the existing verification systems for Solidity code have yet to have significant impact to the problem.

We have preliminary work on language design and on specification. The goal of this project is to develop our language and/or to work on our specification techniques as applied to smart contracts. There is significant freedom for an excellent student to explore how to make smart contracts correct.

To apply for this position, you will need to have a strong background in at least two of the following areas: program language design, compilers, blockchain technologies, specification and verification techniques, analysis and testing tools, and theorem provers.

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science or mathematics. Applicants must be fluent in spoken and written English.

The position is fully funded, covering tuition fees, travel funds and a stipend/bursary. The position is available to home and EU students and can start April or October.

How to apply

To apply for this position, please follow the application guidelines.

In the application form, please write “Correct Smart Contracts” in the “Proposed Research Topic” field, and Professor Susan Eisenbach in the “Proposed Research Supervisor” field. Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to to Professor Susan Eisenbach. Find out further information.

This position will be based at the South Kensington campus in central London.

Applicants are advised to visit the PhD homepage for general information on becoming a PhD student in the Department of Computing.

We are committed to equality and valuing diversity. We are also an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Two Ticks Employer, and are working in partnership with GIRES to promote respect for trans people.

PhD position in Generative Modeling for Program Optimization

Studentship: Untaxed bursary of £16,553 per annum (2017/18 figure including London weighting plus home/EU fees) 

In Artificial Intelligence, Generative Modeling is used to generate images, sounds, texts and other artifacts of creativity. While the results are not yet indistiguishable from those made by a human, they demonstrate what is possible. 

In this project, we aim to apply Generative Modeling for the purpose of program optimization. Based on research conducted at MIT, we have a data processing framework that allows humans to write highly optimized but still correct programs that exploit modern hardware such as GPUs, vectorization units and fast memory subsystems. Now, we want to train a machine to "creatively" invent new optimizations to accelerate the program without sacrificing correctness. 

For the purpose of this project, applications are invited for a PhD student under the supervision of Dr. Holger Pirk. 

Candidates will need a strong background in computer science, ideally with some experience in one or more of the following areas: 

- data management, 
- compilers, 
- computer architecture, 
- hardware acceleration (GPUs, FPGAs, Xeon Phi, ...), 
- games programming, 
- high-performance computing. 
- machine learning or statistical modeling. 

We will provide an exciting research environment in a diverse, internationally well-connected group. This includes collaborative visits to research groups abroad as well as support for industry and academic internships. 

Applications can be submitted throughout the year using the college application system 
(see http://www.imperial.ac.uk/computing/prospective-students/phd/phd-application-guidelinesfor guidelines). 
The deadline for admission in 2018 is March 23. 

Please, state "Generative Modeling for Program Optimization" 
in the title and select "Dr. Holger Pirk" as the "Proposed Research Supervisor". 

Feel free to informally contact Dr. Holger Pirk if you have questions. 

About the Supervisor: 

Holger is a Lecturer in the Department of Computing at Imperial College London. Before that, he was a Postdoc in the Database group at MIT. He spent his PhD years in the Database Architectures group at CWI in Amsterdam resulting in a PhD from the University of Amsterdam. 

About the Department: 

The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating. In the 2014 REF assessment, The Department was ranked third (1st in the Research Intensity table published by The Times Higher), and was rated as "Excellent" in the previous national assessment of teaching quality. 

PhD Position in machine learning for computer security

Studentship: Untaxed bursary of £16,777 per annum (2018/19 figure including London weighting plus home/EU fees)

The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating. In the 2014 REF assessment, The Department was ranked third (1st in the Research Intensity table published by The Times Higher), and was rated as "Excellent" in the previous national assessment of teaching quality.

Applications are invited for a PhD student in machine learning for computer security under the supervision of Dr Sergio Maffeis.

The goal of this project is to investigate and develop novel ways to use machine learning techniques to address realistic problems in web, network and software security. The emphasis of the project will depend on the specific skills and interests of the candidate.

To apply for this position, you will need to have a strong background in at least one of the following areas: Web security, Network security, Programming languages, Machine learning.

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science or mathematics. Applicants must be fluent in spoken and written English.

The position is fully funded, covering tuition fees, travel funds and a stipend/bursary. The position is available to home and EU students.

How to apply

To apply for this position, please follow the application guidelines. In the application form, please write MLSEC in the “Proposed Research Topic” field, and Sergio Maffeis in the “Proposed Research Supervisor” field.

Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to sergio.maffeis@imperial.ac.uk. For further information see Sergio Maffeis' webpage.

This position will be based at the South Kensington campus in central London.

Applicants are advised to visit our PhD page for general information on becoming a PhD student in the Department of Computing.

We are committed to equality and valuing diversity. We are also an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Two Ticks Employer, and are working in partnership with GIRES to promote respect for trans people.

PhD position in program analysis and specification

The Department of Computing, and specifically Professor Philippa Gardner, are looking for a PhD student to start in October 2018 to join her research group on program analysis and specification, as part of the analysis and verification theme at Imperial.

Her group is involved with a a wide range of theoretical and practical projects on the analysis and verification of concurrent and web programs. Possible projects include:

  • a theoretical project on reasoning about either concurrent algorithms (see MFPS’15 tutorial paper) or distributed systems (a new topic for me since Andrea Cerone became my RA;
  • a more practical project on using our concurrent specification of POSIX file systems for verification and testing (see Ntzik’s PhD thesis);
  • several projects associated with the JaVert verification toolchain (see POPL’18 paper); and
  • several projects associated with test generation from language semantics (see POPL’14 paper) or library axiomatic specifications.

A successful UK student will probably be funded through the standard Departmental competition for funds. A successful EU/overseas student will probably be funded by a combination of Departmental funding and my funding.

The deadlines to apply for a PhD position in the Department are 19 January 2018 and 23 March 2018. The Department advises all students requiring funding to apply by the January deadline, although there may still be some funding available for applications received after January. Further details can be found at the in the Department’s PhD application page.

PhD position in verification of distributed protocols

The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating. In the 2014 REF assessment. The Department was ranked third (1st in the Research Intensity table published by The Times Higher), and was rated as "Excellent" in the previous national assessment of teaching quality.

Applications are invited for a PhD student in Computer Science under the join supervision of Professor Nobuko Yoshida and Dr Rumyana Neykova.

Session types (also called protocols) are a typing discipline to structure and verify message-passing communications. Session types have been applied for a deadlock detection of concurrent programs in many languages, including Scala [PLDI’19, ECOOP’16], Go [POPL’19], F# [CC’18] and Java [BookChapter] (see mrg.doc.ic.ac.uk for more details on session types and applications).

Currently session types are unable to capture important data dependencies and invariants in communication protocols and programs. The primary objective of this project is to fill that gap by developing an end-to-end verification strategy for distributed protocols. The goal of the verification strategy is to enable reasoning on data dependencies between interacting components, allowing verification of not only the communication aspects, but also the functional and security requirements in a broad range of specifications. A successful candidate will develop the underlying theory and language implementation.

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science or mathematics. Applicants must be fluent in spoken and written English.

The position is fully funded, covering tuition fees, travel funds and a bursary. The position is available to home and EU students.

Starting date

1 October 2019

How to apply

Applications must include the following:

* A 2-page research statement that describes: (i) what you see as an interesting research issue; (ii) an outline of the objectives and methodology for the research; and (iii) what relevant experience you have
* A detailed CV
* Transcripts of all degree results
* The contact details for two referee

Please email your application to <n.yoshida@imperial.ac.uk> and with the subject title Verifications on Distributed Protocols.

We are committed to equality and valuing diversity. We are also an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Two Ticks Employer, and are working in partnership with GIRES to promote respect for trans people.

PhD position in verification of security protocols

Studentship: Untaxed bursary of £17,009 per annum (2019/20 figure including London weighting plus home/EU fees) 

The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating. In the 2014 REF assessment, The Department was ranked third (1st in the Research Intensity table published by The Times Higher), and was rated as "Excellent" in the previous national assessment of teaching quality. 

Applications are invited for a PhD student in Verification of Security Protocols under the supervision of Dr Belardinelli. 

The security of ICT systems poses a number of challenges related not only to the computational complexity of cryptographic models, but also to the complexity of the systems to secure. Indeed, the development and implementation of these latter might involve a wealth of techniques, including software and network engineering, as well as distributed and multi-agent computational models.  

Recently, in [Belardinelli et al., 2019] we proposed a novel approach to the verification of electronic voting protocols based on logics for strategies. More specifically, our approach is based on the Alternating-time Temporal Logic ATL, under the assumption of imperfect information to account for the restricted knowledge of agents in cryptographic contexts. 

This PhD project is meant to develop further the research line initiated in [Belardinelli et al., 2019] in order to develop tools and techniques for the verification of security and voting protocols by using formal methods, also in the presence of cryptography. 

The main objectives of this PhD project consist in the application of logics for strategic reasoning to the analysis and verification of security and voting protocols. The main contributions of the project can be summarised as follows: 

1. To extend standard logics for strategic reasoning, such as ATL, to account for the cryptographic aspects of security protocols. 

2. To develop verification techniques for security properties, also using (bi)simulations and abstractions to reduce the systems' state-space. 

3. To develop an ATL-based model checking tool for the verification of security and voting protocols. 

4. To apply this tool to check for vulnerabilities pertaining to safety and security in a vast number of voting protocols. 

[Belardinelli et al., 2019] F. Belardinelli, R. Condurache, C. Dima, W. Jamroga, M. Knapik: Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. Information & Computation. To appear. 

To apply for this position, you will need to  

  • have a strong background in at least one of the following areas: Logics, Formal Methods, and Security.  

  • be capable of programming in the most popular programming languages, including C, C++, Java  

  • show commitment, team working and a critical mind 

Previous experience in formal verification by model checking and/or logics for multi-agent systems is preferred, but not essential.  

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science or mathematics. Applicants must be fluent in spoken and written English. 

The position is fully funded, covering tuition fees, and a stipend/bursary. The position is available to home, and EU students. 

How to apply 

To apply for this position, please follow the application guidelines at: http://www.imperial.ac.uk/computing/prospective-students/courses/phd/phd-application-guidelines/  

In the application form, please write Verification of Security Protocols in the “Proposed Research Topic” field, and Dr Francesco Belardinelli in the “Proposed Research Supervisor” field. 

Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to Dr Francesco Belardinelli. For further information see https://www.doc.ic.ac.uk/~fbelard/ 

This position will be based at the South Kensington campus in central London. 

Applicants are advised to visit http://www.imperial.ac.uk/computing/prospective-students/courses/phd/ for general information on becoming a PhD student in the Department of Computing. 

We are committed to equality and valuing diversity. We are also an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Two Ticks Employer, and are working in partnership with GIRES to promote respect for trans people.