Departmental and College scholarships

EPSRC doctoral training account studentships

UK Students and EU Students Satisfying the Residency Requirement

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

A studentship covers home fees, a bursary of about £16,300, and £1000 towards travel and equipment per annum for 3.5 years. We expect students to have completed, or expect to complete before October 2017, 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 £1000 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 2017. 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.121 per year 
Bursary: £16,300 per year

EPSRC HiPEDS Centre for Doctoral Training

Department of Computing doctoral teaching scholarships

The Department of Computing will award up to three doctoral teaching scholarships for PhD applicants starting in October 2017 or exceptionally in April 2018. The period of the scholarship is 4 years 6 months. See below for details of the award. 

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.

For home fee and EU fee students the scheme covers full fees and a full PhD bursary (approximately £20,000) paid monthly. For overseas fee students the scheme covers a full PhD bursary and the home portion of the fees. The overseas fee portion of the fees will have to be provided by the student

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

How to Apply:

Please contact Dr. Krysia Broda kb@imperial.ac.uk or Amani El-Kholy a.o.el-kholy@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 go to: President’s PhD Scholarships. Note that these are very competitive and the Department is likely to only award two scholarships.

CSC Imperial Scholarships: Chinese Scholarship Council and Imperial College London have created a scholarship programme to enable talented Chinese students to undertake a PhD programme at Imperial.

Scholarship search tool

Non-Imperial College Scholarships

Vist the postgraduate scholarships website.

Area specific scholarships

2 x PhD student in security, privacy and compilers

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 U.K. 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 Education), and was rated as "Excellent" in the previous national assessment of teaching quality.

Applications are invited for a PhD student broadly interested in the topics of security, privacy, and compilers. Dr. Livshits’ research involves a broad range of topics in application security, privacy, program analysis, general software reliability, and bug finding. Some of the prior work in recent years was in areas as diverse as malware detection and building augmented reality systems. A wide range of specific projects is available, although prospective students are expected to come up with some of the topics they are excited about.

To apply for this position, you will need to have a strong background in at least one of the following areas: security, privacy, compilers, program analysis, programming languages, or operating systems. You will also need some experience in building and working with large software systems and tools. This experience can come from either your academic projects or through working in the industry; candidates with a strong industrial background are encouraged to apply.

Applicants should have a Distinction/First class grade Master’s degree in Computer Science or a related field, and good communication and technical writing skills.

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

How to apply

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

In the application form, please write ‘Security, Privacy, and Compilers’ in the ‘Proposed Research Topic’ field, and ‘Ben Livshits’ in the ‘Proposed Research Supervisor field. Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to Dr. Ben Livshits; please see his home page (link below) for contact information and more details. For further information on some of the recent research, please see https://www.doc.ic.ac.uk/~livshits.

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

2 x PhD positions in Computer Systems for Data Science

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 two fully funded PhD positions 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 scholarships x2 - The Hamlyn Centre

The Hamlyn Centre was established for developing safe, effective and accessible imaging, sensing and robotics technologies that can reshape the future of healthcare for both developing and developed countries. 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.

In addition to its core research activities, the Centre offers comprehensive PhD and MRes programmes for researchers with a strong technical or clinical background. These programmes are designed to develop cutting edge, disruptive technologies and blue-sky ideas; yet will be appropriate and accessible to all countries for addressing different needs of the healthcare challenges with a common ground for technological innovations.

We currently have 2 fully-funded PhD studentships working in medical robotics, imaging, and pervasive sensing to start from the next academic year. The PhD programme is open to UK/EU and overseas students. The funding is for three years and covers both fees and living expenses. Research progress is assessed each year and continuing receipt of funds will depend on satisfactory academic progress.

Applicants should usually have a good 1st class undergraduate degree (or equivalent) in a relevant subject and preferably also a good Masters degree in the rel evant area for their PhD.  Applicants must be fluent in spoken and written English.

Applications must include the following:

  • A 2- 3 page research statement that describes what you see as an  interesting research issue relating to this studentship and what relevant experience you have
  • A detailed CV
  • Transcripts of all degree results
  • 2 recent letters of references

Please email your application to Miss Raphaele Raupp with the subject title Hamlyn PhD studentship application.’  Informal enquiries are also welcome before formal application.

2 x PhD positions in micro-robotics

With recent major capital investment of EPSRC to the Hamlyn Centre in establishing a state-of-the art micro-engineering facility for medical robotics, applications are invited for 2 new PhD positions in Micro-robotics. With recent emphasis clinically on improved surveillance and earlier diagnosis, an increasing proportion of procedures performed will aim to target smaller lesions that are more amenable to minimally invasive procedures.

This has called for the development of miniaturised robots for surgery, and targeted therapy with micro-instruments and smart actuators with integrated sensing and imaging, supported by advances in materials, micro-fabrication and micro-machining, as well as rapid prototyping technologies.

You will be joining a multidisciplinary team working on the design of new micro-robots under normal microscope or SEM guidance for tissue/cell manipulation, targeted therapy and drug delivery. Applicants should usually have a good undergraduate degree (2:1 and above) in engineering, mathematics or physics and preferably also a good Masters degree in multidisciplinary research. We are particularly interested in applicants with a strong technical background in any of the following areas:

  • Mechatronics, design, modelling and simulation;
  • Material science and additive manufacturing;
  • Computer vision and visual servoing in robotic navigation;
  • Applicants with a strong cell biology and analytical/computational skills are also encouraged to apply. All applicants must be fluent in spoken and written English.

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 referees


Please email your application to r.raupp@imperial.ac.uk with the subject title "PhD in Micro-robotics”.

2 x PhD positions in cooperative control in robotics

Applications are invited for two new PhD positions in medical robotics with emphas is on hands-on cooperative control and learning by demons tration. Current advances in medical robotics research have enabled the performance of complex procedures through the development of compliant robotic platforms designed to seamlessly interact with the user.

You will be joining a dynamic team working on the design of new medical robotics platforms that can learn seamlessly from the human, whether for complex bimanual surgical tasks or assembling/manufacturing precision medical devices such as patient specific stent grafts.

Applicants should usually have a good undergraduate degree (2:1 and above) in engineering, mathematics or physics and preferably also a good Masters degree in multidisciplinary research. We are particularly interested in applicants with a strong technical background in any of the following areas:

  • Robotics, control and human-robot interaction;
  • Learning, motion planning and vision;
  • Mechatronics and medical instrumentation.

You will need strong analytical skills, programming background and experience with real-time systems. All applicants must be fluent in spoken and written English.

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 referees

Please email your application to r.raupp@imperial.ac.uk with the subject title ‘PhD in Cooperative Robot Control”.

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 student in theoretical computer science


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 theoretical computer science under the direction of Dr. Mahdi Cheraghchi. The theme of the project would be on applications of coding theory in one of the following: algorithms, privacy, or data storage (however, other possibilities can be discussed within the supervisor’s research agenda and areas of interest; please visit his web page for more information).

  • Algorithms: Traditionally, error-correcting codes have been the main technical tool for reliable communication over noisy channels. However, more recently they have found novel applications in compressing massive data into smaller footprints that can be directly manipulated by efficient algorithms. This general area, called “data sketching”, provides a mathematical framework for the design of algorithms for massive data.
  • Privacy: In the era of big data, ensuring privacy of data has turned into an increasingly growing challenge. The aim of “information-theoretic privacy” is to ensure privacy of data by leveraging information limitations of the adversaries. Unlike traditional cryptography, the resulting schemes will be provably secure without a need for computational assumptions.
  •  Data storage: Storage of massive data in data centers have created new theoretical challenges where traditional coding techniques fail to satisfy the scalability requirements of such large-scale systems. Therefore, there is a need for obtaining accurate mathematical models of data storage and use those to develop novel coding techniques that enable reliable storage of massive data. 

To apply for this position, you will need to have a strong background in mathematics and be confident with problem solving, mathematical proofs, and mathematical writing. In particular, you’ll need to have a strong background in all or most of the following: discrete mathematics, algorithms, theory of computation and complexity, analysis, probability and linear and abstract algebra. Programming skills will be helpful but are not a requirement.

Applicants should have a Distinction/First Class grade Master’s degree in Computer Science or a related field (such as Mathematics or Electrical Engineering), and good communication and technical writing skills.
The position is fully funded, covering tuition fees, travel funds and a stipend/bursary. The position is available to EU/UK students.

How to apply

To apply for this position, please follow the instructions at http://www.imperial.ac.uk/computing/prospective-students/courses/phd/.
Please apply as soon as possible, and no later than 24 January, 2017. In the application form, please write ‘Theoretical CS’ in the ‘Proposed Research Topic’ field, and ‘Mahdi Cheraghchi’ in the ‘Proposed Research Supervisor field.
Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to Dr. Mahdi Cheraghchi.
This position will be based at the South Kensington campus in central London. The anticipated start date is October 2017, however there is some flexibility if necessary.

PhD scholarship in theoretical computer science

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 theoretical computer science under the direction of Dr. Mahdi Cheraghchi. The theme of the project would be on applications of coding theory in one of the following: algorithms, privacy, or data storage (however, other possibilities can be discussed within the supervisor’s research agenda and areas of interest; please visit his web page for more information).

  • Algorithms: Traditionally, error-correcting codes have been the main technical tool for reliable communication over noisy channels. However, more recently they have found novel applications in compressing massive data into smaller footprints that can be directly manipulated by efficient algorithms. This general area, called “data sketching”, provides a mathematical framework for the design of algorithms for massive data.
  • Privacy: In the era of big data, ensuring privacy of data has turned into an increasingly growing challenge. The aim of “information-theoretic privacy” is to ensure privacy of data by leveraging information limitations of the adversaries. Unlike traditional cryptography, the resulting schemes will be provably secure without a need for computational assumptions.
  • Data storage: Storage of massive data in data centers have created new theoretical challenges where traditional coding techniques fail to satisfy the scalability requirements of such large-scale systems. Therefore, there is a need for obtaining accurate mathematical models of data storage and use those to develop novel coding techniques that enable reliable storage of massive data.

To apply for this position, you will need to have a strong background in mathematics and be confident with problem solving, mathematical proofs, and mathematical writing. In particular, you’ll need to have a strong background in all or most of the following: discrete mathematics, algorithms, theory of computation and complexity, analysis, probability and linear and abstract algebra. Programming skills will be helpful but are not a requirement.

Applicants should have a Distinction/First Class grade Master’s degree in Computer Science or a related field (such as Mathematics or Electrical Engineering), and good communication and technical writing skills.

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

How to apply

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

Please apply as soon as possible, and no later than 24 January, 2017. In the application form, please write ‘Theoretical CS’ in the ‘Proposed Research Topic’ field, and ‘Mahdi Cheraghchi’ in the ‘Proposed Research Supervisor field.

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

This position will be based at the South Kensington campus in central London. The anticipated start date is October 2017, however there is some flexibility if necessary.

 

3 x PhD Scholarships in Blockchain Security, Privacy and Scalability

Studentships: 3 untaxed bursaries of £17,000 per annum (2017/18 figure including London weighting plus 2 x home/EU fees and 1x overseas 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 3 x PhD students in Blockchain Security, Privacy and Scalability to work under the supervision of Dr. Arthur Gervais.

Bitcoin and the security properties of its blockchain provide the technical means to catalyse societal evolution. Understanding and improving the security, privacy and performance of blockchain technology is crucial, such that this technology continues to thrive. There is a need for fundamental research to focus on understanding and quantifying the tension points and tradeoffs in terms of security, privacy and performance, with the goal to build and maintain a mainstream, scalable, open, and decentralized blockchain.

The successful candidates will conduct high quality multidisciplinary research in blockchain security, privacy and scalability related projects under the supervision of Dr. Arthur Gervais (www.arthurgervais.com). Arthur has over 5 years of blockchain expertise, a PhD degree and PostDoc from ETH Zurich, in the area of blockchain security, privacy and scalability. He has authored 8+ influential peer-reviewed scientific articles on blockchain published at top-tier security conferences. Arthur has also shown how to convert scientific research into real-world products by providing the first automated formal verification tool for Ethereum based smart contracts (www.securify.ch).

The students will work with world-leading researchers in the field, frequently collaborating with colleagues worldwide in various fields (machine learning, statistics, programming languages).  The research outcomes should preferably have a direct economic and technological impact on future societies, including new paradigms for inter-human and inter-machine interactions, privacy protections of permissionless and permissioned blockchains and fundamental changes to how society trades and interacts.

The qualified candidates are encouraged to team up with other researchers at Imperial (e.g. researchers from Imperial business school) to collaborate on interdisciplinary research topics.
A willingness to work independently and as part of a team on research is essential.

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

  • Security and Privacy
  • Machine learning
  • Data analysis and modelling
  • Economics/finance (especially data economy)
  • Mathematical finance, etc.

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 positions are fully funded, covering tuition fees, travel funds and a stipend/bursary. Two positions are available to home and EU students and one position is available to an overseas student.

How to apply

Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to Dr. Arthur Gervais (a.gervais@imperial.ac.uk). For further information see www.arthurgervais.com.

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 Blockchain Security, Privacy and Scalability in the “Proposed Research Topic” field, and Dr. Arthur Gervais in the “Proposed Research Supervisor” field.

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.

PhD student in quantum information science

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 quantum information science under the supervision of Dr. Mario Berta. The theme of the project is on mathematical methods for quantum communication theory and quantum cryptography:

The starting point of quantum information science is the realization that the theory of information processing is closely related to physics. On one hand performing physical experiments is nothing else but extracting information. On the other hand every representation of information is physical, and hence physical concepts are needed. Information theory based on classical physics is known as  classical information science, whereas information theory based on non-relativistic quantum physics is called quantum information science. Research over the past two decades has shown that quantum information is in general fundamentally different from classical information and the goal of this project is to develop mathematical methods to precisely quantify this difference for quantum communication theory and quantum cryptography.

(There is some flexibility concerning topics within quantum information science as long as it fits the supervisor’s research interests, see marioberta.info.)

To apply for this position, you will need to have a strong background and interest in applied mathematics. In particular, you should be familiar with in at least one of the following areas: linear algebra and matrix analysis, convex optimization theory, operator algebra theory, quantum mechanics and quantum information theory. Depending on the student’s interests the project could also include a numerical component for which programming skills will be helpful.

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as mathematics, theoretical physics, or theoretical computer science. 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 UK/EU (including CH) 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/

Please apply as soon as possible, and no later than 28 March 2017. In the application form, please write “Quantum Information” in the “Proposed Research Topic” field, and “Mario Berta“ the “Proposed Research Supervisor” field.

Early applications are encouraged. Informal inquiries about this position are also encouraged and can be directed to Dr. Mario Berta. For further information see marioberta.info.

This position will be based at the South Kensington campus in central London. The anticipated start date is October 2017.

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.

Symbolic Execution (at the intersection of programming languages, security, software engineering and systems)

Studentship: Untaxed bursary of £16,553 per annum (2017/18 figure including London weighting) plus home/EU/oversees 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 the Software Reliability Group of the Department of Computing at Imperial College London, under the direction of Dr Cristian Cadar. Symbolic execution is a program analysis technique that has gained tremendous popularity in the last decade, becoming part of the standard toolbox of techniques in many computer science fields including software engineering, programming languages, software testing, verification, security, and computer systems. The technique has enabled a wide range of applications, including the automatic detection of bugs and security vulnerabilities, recovery of corrupt documents, patch generation, and automatic debugging, among many others.

Despite its strengths, symbolic execution faces important scalability and deployment challenges that have prevented wide adoption in practice. The goal of this project is to make significant progress towards industrial adoption by designing and implementing innovative solutions addressing these challenges, including those related to the analysis of binary code and the way an application interacts with its environment. These techniques will be investigated in the context of KLEE, a modern symbolic execution system maintained in our research group. For more information on KLEE and symbolic execution in general, we recommend reading the paper at  https://www.doc.ic.ac.uk/~cristic/papers/klee-osdi-08.pdf.

To apply for this position, you will need to have a strong background in at least one of the following areas: compilers/program analysis, programming languages or operating systems. You will also need experience in building and working with large software systems and tools. Prior experience with LLVM, KLEE and binary analysis tools is a plus, but not required.

Applicants should have a Master’s degree in Computer Science or a related field, and good communication and technical writing skills.

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

How to apply

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

In the application form, please write ‘Symbolic execution’ in the ‘Proposed Research Topic’ field, and ‘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 Dr Cristian Cadar. For further information on the group and related projects see the group website at https://srg.doc.ic.ac.uk/.

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