[Agda] Fully funded PhD studentships in Pervasive Parallelism at Edinburgh

[James Cheney]

[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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20131206/fb0f7fdd/attachment.html