[Forwarded on behalf of the department. Types, languages, and verification for parallel, concurrent or distributed programming are possible topics.] Centre for Doctoral Training in Pervasive Parallelism http://pervasiveparallelism.inf.ed.ac.uk/ The EPSRC-funded Centre for Doctoral Training in Pervasive Parallelism at the University of Edinburgh is pleased to offer 12 fully funded four year studentships across all areas relevant to the "pervasive parallelism challenge". Students undertake an initial MSc by Research year, followed by three years of PhD study. Research Topics in Pervasive Parallelism The computing industry faces its most disruptive challenge for fifty years. For performance and energy reasons, parallelism permeates all layers of the computing infrastructure, from the manycore CPUs and GPGPUs inside smartphones up to supercomputers and globally networked distributed systems. These systems generate fascinating research challenges in many areas of Computer Science, from theory to practice. * How should we design parallel programming languages and compilers? * How should we design and implement parallel architectures and communication networks? * What theories do we need to prove properties of such systems, or to model and reason about their performance? * How can concurrent and distributed systems be made secure? * How can we trade performance for energy in context sensitive ways? * How can we make algorithms and applications robust against the failures inevitable in exascale systems? * How can we effectively debug, trace, or understand the provenance of results of complex parallel, concurrent or distributed programs? Students at the CDT in Pervasive Parallelism will address such "pervasive parallelism challenges", undertaking the fundamental research required to transform methods and practices. They will develop not only deep expertise in their own specialism, but crucially, an awareness of its relationships to other facets of the challenge. Our industrial partnership and engagement programme will ensure that our research is informed by real world case-studies and will provide a source of diverse internship opportunities for our students. Studentships The Centre is now recruiting its first cohort of students, to begin study in September 2014. Funding is predominantly for UK and EU qualified applicants, but a smaller number of excellent international students may also be supported. Applicants must have a good first degree in Computer Science, Mathematics, Electronics, or a similar discipline relevant to the area in which they plan to work. For more information, including application details see: http://pervasiveparallelism.inf.ed.ac.uk/ About the School of Informatics and the Edinburgh Parallel Computing Centre. The CDT in Pervasive Parallelism is a collaboration between the School of Informatics and the Edinburgh Parallel Computing Centre (EPCC). The School of Informatics is Europe's largest computing department, highest rated for research and ranked 'excellent' in the UK according to the most recent research assessment exercises. The size and reputation of the Schools means that it is big enough to provide outstanding facilities for students which in turn attracts some of the brightest minds to study and teach there. The School has an extremely successful track record of generating spin-out activity, with an estimated 44% of all University of Edinburgh spin outs since 2008 emerging from the School of Informatics alone. Recently awarded a Silver Athena SWAN Award, it is also recognised as an institution with a commitment to advancing women's careers. For more information about postgraduate study opportunities at the School of Informatics see: http://www.ed.ac.uk/schools-departments/informatics/postgraduate/ The EPCC is the UK's largest supercomputing centre. It aims to accelerate the effective exploitation of novel computing throughout industry, academia and commerce. This is achieved through a range of activities spanning undergraduate and advanced training programmes, service provision, industrial affiliation, research and contract work. EPCC houses an exceptional range of supercomputers, with 75 staff committed to the solution of real-world problems. EPCC plays a leading role in PRACE (Partnership for Advanced Computing in Europe). For more information about EPCC see http://www.epcc.ed.ac.uk/