[TYPES/announce] Research Assistant/Associate position in Verification and Language Support for GPU Programming at Imperial College London

Alastair Donaldson alastair.donaldson at imperial.ac.uk
Fri Nov 11 06:45:18 EST 2011

Dear all

I am looking to recruit a post-doc (or potentially someone who is very
close to completing their PhD) to join my new Multicore Programming
Group at Imperial College London, to take up a three year RA post
investigating verification techniques and programming language support
for GPU programming.

The post would be especially suitable for someone with a strong
background in either verification or programming languages, including a
good grasp of theory, but crucially a keen practical interest in
designing efficient verification/program analysis tools.

The position is funded by the European Union project CARP (Correct and
Efficient Accelerator Programming). The purpose of the project is to
design programming languages, optimising compilers and formal
verification techniques to allow dramatic improvements in the design of
software for accelerator processors, particularly GPUs.  Imperial
College are leading the CARP project, which is in collaboration with
seven other outstanding European universities and companies.


If this is of interest then please feel free to contact me informally to
discuss further.

I'd be very grateful if you might pass this on to others who may
interested in the post.

The closing date is 12 December.

Best wishes

Ally Donaldson

More information about the Types-announce mailing list