[TYPES/announce] PPar CDT at the University of Edinburgh

[Philip Wadler]

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-cdt at 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-csaszar at 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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180118/47c85f75/attachment.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180118/47c85f75/attachment.ksh>