[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The CDT in Pervasive Parallelism, at the School of Informatics, still has some fully-funded places available for UK-eligible candidates. The school covers all aspects of parallel computing, including relevant work on programming languages and type systems. If you are an EU national who's worked or studied in the UK the past three years, you, too, may be eligible for this studentship. (More details at: http://pervasiveparallelism.inf.ed.ac.uk/apply/) We are accepting applications (and making offers to competitive candidates) on a rolling basis so interested candidates are encouraged to apply as soon as possible to secure one of the funded place. See details about the programme below. ------------------------------------------------------- *EPSRC Centre for Doctoral Training in Pervasive Parallelism* (Funded PhD Places) The EPSRC-funded Centre for Doctoral Training in Pervasive Parallelism at the University of Edinburgh is pleased to offer 10 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. Please see the attached brochure, as well as the information below. *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? 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 fifth cohort of students, to begin study in September 2018. 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/ Email: ppar-...@inf.ed.ac.uk Twitter: @CDT_PPar_Edin *Information Session* Interested in finding out more? The School of Informatics is having an information session on PhD opportunities Informatics-wide. The session is from 2-3pm on Thursday, 8th February at the Informatics Forum (10 Crichton Street, Edinburgh). Dr. Murray Cole will be there to provide details and answer questions about the CDT in Pervasive Parallelism. Space is limited so if you are interested in attending, please let us know of your attendance by e-mailing the CDT PPar Administrator at k.pinto-csas...@ed.ac.uk *The School of Informatics & Edinburgh Parallel Computing Centre* The CDT in Pervasive Parallelism is a collaboration between the School of Informatics and the Edinburgh Parallel Computing Centre (EPCC), both at the University of Edinburgh. 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 School 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/ Videos: Introduction to the School of Informatics: https://www.youtube.com/watch? v=s9hclQJupZk School of Informatics Student Comments: https://www.youtube.com/watch? v=6eOyRZZQwAk Introduction to PhD Study at the School: https://www.youtube.com/watch? v=6eOyRZZQwAk 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/ . \ Philip Wadler, Professor of Theoretical Computer Science, . /\ School of Informatics, University of Edinburgh . / \ and Senior Research Fellow, IOHK . http://homepages.inf.ed.ac.uk/wadler/
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.