[TYPES/announce] PhD Position on Scalable Data for Pervasive Parallelism at Uppsala University, Sweden

[Dave Clarke]

[Relevance for types list: Techniques used without our group are typically based on types.]

The Department of Information Technology at Uppsala University, Sweden 
is opening 1 PhD student position within the SCADA project. 

The aim of SCADA is to develop programming language technology for the Encore
programming language to facilitate the scaling of software applications across 
multicore, manycore and distributed hardware configurations. Encore is an 
active object-based programming language equipped with means for expressing
low-level parallelism. SCADA will extend this language to express data
locality and distribution in flexible ways. The resulting language will make
it easier to use of large volumes of data efficiently and scalably.

The work will involve the implementation of compiler and run-time support, 
theoretical investigations of programming language semantics, the development of 
case studies and benchmarking. For the SCADA project, a good deal of flexibility 
is possible, which would allow you to follow your interests to some degree.

Desired Technical Skills and Interests:

* programming language design
* parallel computing
* formal semantics of programming languages
* type systems
* compilers
* program optimisation
* computer architecture
* experience programming in both high- and low-level languages (such as Haskell and C)
* mathematical aptitude 

General Qualifications 

* you are excited about our project
* you are persistent, trying again and again when things don't work out as planned
* you are fearless and will happily hack a virtual machine or compiler or implement a 
complex algorithm
* you have a small child's attitude and want to learn about everything you encounter
* you have an engineer's attitude and will not merely accept the first solution that 
comes to mind, but will consider key alternatives
* you have a researcher's attitude, want to truly understand things, and are never 
satisfied with the first explanation
* you look at the simple and obvious before exploring the complicated
* you can focus and ignore the many other cool things you could be doing
* you derive pleasure from coming up with clear and logical explanations
* you read lots of books and scientific papers
* you write gladly and hope to improve your writing
* you like to present and discuss your work 
* you work hard
* you accept constructive criticism as a means for improving yourself
* you will be happy to stay in Sweden for quite some time
* you are willing to travel abroad for conferences and other meetings.
* you have (or nearly have) a Masters degree in computer science/engineering, 
informatics, or related fields
* you are willing assist in teaching and to expand your knowledge with 
additional courses
* you are committed to invest 5 years of your life as a PhD student, training 
to be a researcher


Important Dates
===============
Application deadline: 15 May 2015.

PhD expected start date: September/October 2015

Where to Apply
==============
To apply see: http://www.uu.se/en/about-uu/join-us/details/?positionId=63821

For further information contact Dr Dave Clarke (dave.clarke at it.uu.se).