[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

QUEEN MARY, UNIVERSITY OF LONDON
SCHOOL OF ELECTRONIC ENGINEERING AND COMPUTER SCIENCE

IMPERIAL COLLEGE LONDON
DEPARTMENT OF COMPUTING

Three Postdoctoral Research Associates
Two PhD Students

Applications are invited for three Research Associates and two PhD
students to work on the EPSRC-funded projects "Engineering Foundations
of Web Services" and "Multiparty Session Types". The former is a
collaborative project with the University of Glasgow (Dr Simon
Gay). Web services represent one of the major transformations of
software development and programming disciplines in recent years, and
this leads to a number of theoretical and practical challenges which
must be addressed in order to establish sound programming
methodologies for the delivery of versatile, safe and secure distributed
software. These two projects aim to develop theories, languages and
their implementations for distributed, communication-based software
such as web services, based on the accumulated research on process
calculi and type theories.

THREE POSTDOCTAL RESEARCH ASSOCIATES

The researcher at Imperial (Ref: NY 12 08: duration up to 28 months)
will work with Dr Nobuko Yoshida and the researchers at QMUL (Post
2/Ref08518/KR: duration 2/3 years) will work with Dr Kohei Honda.

All postdoctoral applicants should have experience of research in
programming language semantics and/or concurrency theories, with
strong software development skills.

For the RA at IC, the salary will be in the range of £26,580 - £31,180
per annum (inclusive of London Allowance) depending on knowledge and
experience.

For the RA posts at QM, the salary will be in the range of £31,736 -
£33,492 per annum (inclusive of London Allowance) on Grade 4 of the
Queen Mary Pay and Grading Structure.

TWO PhD STUDENTS

Applicants for PhDs should have background knowledge and interests in
programming languages. Funding covers tuition fees plus a tax-free
stipend to cover the living expenses. Note that full support for PhD
students at Imperial is available only to UK/EU applicants.

The reference number of Imperial is: NY 12 08.
The reference number of QM is: 08518/compsci.

APPLICATIONS

Job Descriptions and background material can be found at:

http://webapps.qmul.ac.uk/hr/vacancies/jobs.php?id=1062 (QM RA)
http://www.dcs.qmul.ac.uk/staff/recruit (QM PhD)
http://www3.imperial.ac.uk/employment/research/en20080288 (IC RA)
http://www3.imperial.ac.uk/employment/phdstudentships/en20080291 (PhD IC)

Informal enquiries can be made to:

Dr Kohei Honda (ko...@dcs.qmul.ac.uk)
Dr Nobuko Yoshida (yosh...@doc.ic.ac.uk)

For all the QMUL posts, completed application forms and CVs quoting the
reference should be returned, ideally by email, to Sue White at:
applications.resea...@eecs.qmul.ac.uk. If this is not possible, a paper
copy should be sent to Sue White, Computer Science, Queen Mary,
University of London, Mile End, London, E1 4NS to arrive by the
closing date.

For all the IC posts, completed application forms and other documents
should be returned, ideally by email, to research.offi...@doc.ic.ac.uk.
If this is not possible, a paper copy should be sent to Joanne Day,
Department of Computing, Imperial College London, South Kensington
campus, London SW7 2AZ to arrive by the closing date.

The closing date for applications for RAs at QM and all PhDs are
30 January 2009. The closing date for applications for RA at IC
is 16 January 2009.

Interviews are expected to be held in January.

The preferred starting date for all posts is from February to March 2009.

Valuing Diversity & Committed to Equality



Reply via email to