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 2020.

A studentship covers home fees, a bursary of about £17,009 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 2020, 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 2020. 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.

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. We encourage applicants from underrepresented backgrounds to apply.

Fees: £4,260 per year 
Bursary: £17,009 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. The doctoral teaching scholarship is not available to overseas students.

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.

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. We encourage applicants from underrepresented backgrounds to apply.

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

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. We encourage applicants from underrepresented backgrounds to apply.

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.

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. We encourage applicants from underrepresented backgrounds to apply.

UKRI CDT scholarships in safe and trusted artificial intelligence

Imperial College London’s Department of Computing is participating in the UKRI Centre for Doctoral Training (CDT) in Safe and Trusted Artificial Intelligence (STAI), an initiative set up to train the first generation of AI scientists and engineers in methods of safe and trusted AI.

The CDT is hosted jointly by King’s College London and Imperial College London, on a 2:1 split, and will fund up to 15 studentships (of around £17,000) each year (depending on the support available).

Applications are now open for October 2020 entry, with envisaged cut-off dates for applications on Friday 8 November 2019, Monday 6 January 2020, Monday 2 March 2020 and, subject to confirmation, Monday 20 April 2020

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

Note: An Information Session will be held in February, at Imperial College London, details to be confirmed. Email stai-cdt-icl@imperial.ac.uk  for more information, with 'info-session' in the subject.

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. We encourage applicants from underrepresented backgrounds to apply.

Area specific scholarships

2x DeepMind PhD scholarships

DeepMind will generously sponsor two PhD scholarships in the Department of Computing for 2021 entry, all with a focus on artificial intelligence and machine learning, renewing its philanthropic commitment to postgraduate students from underrepresented groups, particularly women and those from black and minority ethnic backgrounds.

Some information on the current DeepMind scholars at Imperial can be found here: https://www.imperial.ac.uk/computing/people/deepmind-scholars/

Recipients of a DeepMind PhD Scholarship will receive funding to cover fees and maintenance for the duration of their doctoral studies – usually up to a four-year period. The scholarship also includes a one-off equipment grant of £1,500 and an annual travel scholarship of £2,000.

The PhD scholarships are available to home-fee students applying for 2021 entry, and to EU-fee students applying for Spring 2021 entry at the latest. The scheme is not available to overseas students.

Interested applicants should apply by the March 2021 PhD admissions deadline. In order to be considered for this award, it is sufficient that the application clearly indicates that the applicant identifies as either or both (i) a woman and (ii) black and/or minority ethnic.

Other underrepresented backgrounds will also be considered where specified in the application. Students in financial need that would not be otherwise able to pick up an offer for admission are also encouraged to indicate this as part of the statement supplied with the application form. 
 
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. We encourage applicants from underrepresented backgrounds to apply.

EPSRC INDUSTRIAL CASE PhD Studentship in Data Centre Computing

Scholarship: A full-time EPSRC Industrial CASE PhD research studentship, including full stipend and tuition fee costs, in systems, distributed systems and/or networking research is available for 4 years starting October 2020 (or shortly thereafter). EPSRC Industrial CASE Awards are flagship collaboration projects between industry and academia, aiming to create the research scientists of tomorrow and deliver real value to all stakeholders. 

Research theme: Data centres enable modern internet services and large-scale applications. They allow distributed systems to be deployed across hundreds of machines that are inter-connected by low-latency network fabrics. Recent advances in machine learning at scale, distributed ledgers and blockchain technologies and cloud computing are examples of the successful use of data centre computing. The goal of this PhD studentship is to investigate new designs for distributed systems and infrastructures for the next generation of data centre computing. You will work alongside industry and investigate open research challenges related to data centre computing. You will then develop new designs and implementations for future distributed applications that can take advantage of the unique hardware and networking capabilities of data centres, focusing on the domains of machine learning, blockchains or real-time big data processing.

The Department of Computing at Imperial College is one of the largest computing departments in the UK and is consistently ranked as world leading for computer science research. Well known for our work on across all areas of computer science, the British Research Excellence Framework ranks the Department at number one in terms of Research Impact.

Applications 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, computer engineering or mathematics. Candidates who have only a Bachelor’s degree will not normally be considered. For candidates in possession of a Masters level degree at Distinction, we also assess prior undergraduate degrees, for which the normal departmental acceptance level is 2.1 UK equivalent or above.

The studentship will commence in October 2020 and will be available for up to four years, with a stipend equivalent to UKRI rates (approx. £17,285 tax free for 2020/21 and subject to change for future years), plus an industrial top-up stipend, subject to contract. This also covers full university tuition fees (at Home/EU level), and travel support for fieldwork, conferences and industrial visits.  

You will be part of the Large-Scale Data & Systems (LSDS) research group. For further information see: https://lsds.doc.ic.ac.uk or email research related enquiries to Prof Peter Pietzuch prp@imperial.ac.uk

How to apply: Please forward your CV to Professor Peter Pietzuch prp@imperial.ac.uk

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

Closing date: 31st July 2020

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. We encourage applicants from underrepresented backgrounds to apply.

EPSRC Industrial CASE PhD Studentship in Machine Learning for Adaptive Risk Management in Cyber-Physical Systems

Scholarship: A full-time EPSRC Industrial CASE PhD research studentship, including full stipend and tuition fee costs, in machine learning for the safety and security of cyber-physical systems, IoT and Sensor Networks is available for 4 years starting January 2021 (or shortly thereafter). EPSRC Industrial CASE Awards are flagship collaboration projects between industry (IBM in this instance) and academia, aiming to create the research scientists of tomorrow and deliver real value to all stakeholders.

Research theme: Increasingly Industrial Wireless Sensor Systems are being used to support Smart Infrastructures in real-time with little human input. This PhD studentship, with the Adaptive Emergent Systems Engineering Group and IBM, is concerned with using Deep Learning to create heterogeneous and distributed Machine Learning components to support smart infrastructures, where robustness and resilience are key to provide their continuous operation.

The successful student will contribute to the Machine learning fields as well as to Cyber-Physical Systems. The project will be cross-disciplinary and produces outputs advancing scientific research with industrial impacts.

The Department of Computing at Imperial College is one of the largest computing departments in the UK and is consistently ranked as world leading for computer science research. Well known for our work on across all areas of computer science, the British Research Excellence Framework ranks the Department at number one in terms of Research Impact.

To apply for this position, you will need to have a strong background in at least two of the following areas: machine learning, control systems, embedded systems, wireless networking, and AI.

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 studentship will commence in January 2021 and will be available for up to four years, with a stipend equivalent to UKRI rates (approx. £17,285 tax free for 2020/21 and subject to change for future years), plus an industrial top-up stipend, subject to contract. This also covers full university tuition fees (at Home level), and travel support for fieldwork, conferences and industrial visits. The successful candidate will be supervised by Prof Julie McCann at the Adaptive Emergent Systems Engineering Group. Dr Lan Hoang, IBM Research Europe (UK) will act as external supervisor and lead the industrial input into this research

How to apply:

Please forward your CV to Teresa Ng at t.ng@imperial.ac.uk

Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to Professor Julie McCann. For further information see https://wp.doc.ic.ac.uk/aese/

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. We encourage applicants from underrepresented backgrounds to apply.

Closing Date: 30th November 2020

Foundations of Persistent Programming

Studentship: Untaxed bursary of £17,285 per annum (2020/21 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 develop theoretical and practical foundations for persistent programming over the emerging non-volatile memory technology under the supervision of Dr Azalea Raad (http://www.soundandcomplete.org).

The aim of this project is to develop rigorous theoretical and practical foundations for the cutting-edge paradigm of persistent programming in the context of the emerging non-volatile memory technology. The project has both theoretical and practical components, such as devising a formal model for persistent programming in mainstream languages such as C/C++, as well as designing and implementing persistent programming support through higher-level libraries.

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

Formal Semantics

Compilers

Computer Architecture

Specification and Verification

Concurrency Theory and Concurrent 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/EU students.

How to apply

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

In the application form, please write Foundations of Persistent Programming in the “Proposed Research Topic” field, and Azalea Raad in the “Proposed Research Supervisor” field.

Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to Dr Azalea Raad (azalea@imperial.ac.uk). For further information see http://www.soundandcomplete.org/projects.html.

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

Applicants are advised to visit our PhD webpage 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. We encourage applicants from underrepresented backgrounds to apply.

Funded PhD position in Program Analysis, Verification or Systems

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 position in the Software Reliability Group, under the supervision of Dr. Cristian Cadar.

We are looking for motivated applicants interested in pursuing a PhD degree in program analysis, verification or software systems. The research will be part of the ERC Consolidator Grant Project PASS: Program Analysis for Safe and Secure Software Evolution, and will focus on helping software systems evolve safely and securely. PASS aims to take a holistic approach to the challenges of safe and secure software evolution, by combining offline program analysis to verify or comprehensively test software changes, with runtime mechanisms for keeping the software updated and secure against potentially erroneous changes that make it into the deployed system.

To apply, you will need to have a good background in compilers and/or operating systems and experience in building and working with large software systems and tools. You are expected to familiarise yourself with the research of the Software Reliability Group (see our projects and publications) particularly the KATCH and Shadow projects on the program analysis and verification side, and the Varan and Mvedsua projects on the systems side.

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical disciplines, 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 competitive stipend/bursary. The position is available to home, EU and overseas students.

How to apply

To apply for this position, please follow the application guidelines 

In the application form, please write Program Analysis, Verification or Systems in the “Proposed Research Topic” field, and Dr. Cristian Cadar in the “Proposed Research Supervisor” field.

Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to c.cadar@imperial.ac. For further information see srg.doc.ic.ac.uk

This position will be based at the South Kensington campus in central London,  next to Hyde Park and the museums of South Kensington.

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. We encourage applicants from underrepresented backgrounds to apply.

Hardware and OS Support for Future Smart Data Center Disaggregation

PhD Scholarship in Hardware and OS Support for Future Smart Data Center Disaggregation

Studentship: Untaxed bursary of £17,285 per annum (2020/21 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 analyze and develop hardware and OS support for future data centers under the supervision of Lluis Vilanova (https://www.imperial.ac.uk/people/vilanova). The end-goal of this project is to build a forward-looking, smart data center-scale infrastructure using bleeding-edge smart/programmable components, as well as proposing new hardware and operating system abstractions to push the security and efficiency guarantees of data centers further into the future.

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

• Operating systems

• Computer architecture (hardware-software co-design preferred)

• Development in programmable accelerators

• Security (especially regarding formal methods)

Skills in any of the following areas will also be considered in addition to those described above:

• Machine learning

• Resource management (metering, placement, scheduling)

• Live state migration

This work will be performed in the LSDS lab (https://lsds.doc.ic.ac.uk), where you will also have the opportunity to interact with its other members and the many exciting projects we are working on. 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 at: http://www.imperial.ac.uk/computing/prospective-students/courses/phd/phd-applicationguidelines/ In the application form, please write SDCD in the “Proposed Research Topic” field, and Lluis Vilanova in the “Proposed Research Supervisor” field.

Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to Lluis Vilanova (vilanova@imperial.ac.uk). 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. We encourage applicants from underrepresented backgrounds to apply.

Hardware and Software Co-Design for Security and Virtualization Performance

PhD Scholarship in Hardware and Software Co-Design for Security and Virtualization Performance

Studentship: Untaxed bursary of £17,285 per annum (2020/21 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 analyze and co-design hardware and software support to improve the performance of trusted execution environments and virtual machines under the supervision of Lluis Vilanova (https://www.imperial.ac.uk/people/vilanova).

This project aims to analyze the existing system and hardware support for trusted execution environments (e.g., Intel SGX) and virtualization core technologies, in order to fundamentally improve their performance by proposing and developing new solutions that span across the hardware, operating system and application layers.

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

• Operating systems

• Computer architecture (micro-architecture and hardware-software co-design preferred)

• Machine virtualization

• Secure execution environments (e.g., Intel SGX, AMD SEV, ARM TrustZone)

Skills in any of the following areas will also be considered in addition to those described above:

• Memory design

• Encryption

This work will be performed in the LSDS lab (https://lsds.doc.ic.ac.uk), where you will also have the opportunity to interact with its other members and the many exciting projects we are working on.

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 at: http://www.imperial.ac.uk/computing/prospective-students/courses/phd/phd-applicationguidelines/

In the application form, please write CSVP in the “Proposed Research Topic” field, and Lluis Vilanova in the “Proposed Research Supervisor” field. Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to Lluis Vilanova (vilanova@imperial.ac.uk).

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. We encourage applicants from underrepresented backgrounds to apply.

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. We encourage applicants from underrepresented backgrounds to apply.

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.

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. We encourage applicants from underrepresented backgrounds to apply.

Future Mobility Systems: design and societal impact

Studentship: Untaxed bursary of £17,285 per annum (2020/21 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.

Topic and requirements

Applications are invited for PhD candidates that are excited to shape the next generation of mobility systems and shed light on their societal impact. Toards this goal, you will be working under the supervision of Dr Dario Paccagnan, develop and analyse theoretically-sound tools/models/algorithms.

Autonomous Mobility on Demand – a mode of transportation wherein fleets of self-driving vehicles transport passengers on demand within a city -  is forecasted to revolutionise the way we move. Yet its impact on our society is not fully understood. For example, how will autonomous vehicles integrate with the existing public transportation infrastructure? Will competition between multiple operators worsen the congestion?

You will have the opportunity to tackle these questions (and many more) in a principled way, and at the same time develop novel tools and algorithms to shape the future of intelligent transportations systems. As the interests of different parties are involved (e.g., traffic authority, municipalities, systems’ operators), you will exploit models and tools in game theory, optimisation, control theory.

To apply for this position, we are looking for outstanding PhD candidates with a strong mathematical background. Familiarity with any of the following is desirable: convex optimization, algorithms, game theory, control theory.

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in Computer Science, Applied Mathematics, Systems and Control, Electrical or Mechanical Engineering. 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 at this link.

In the application form, please write Future Mobility Systems in the “Proposed Research Topic” field, and Dr Dario Paccagnan in the “Proposed Research Supervisor” field.

Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to Dr Dario Paccagnan. For further information see link.

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. We encourage applicants from underrepresented backgrounds to apply.