[TYPES/announce] One Research Associate Position at Imperial College London

[Yoshida, Nobuko]

Research Associate or 1 Research Assistant (Postdoc or Predoc) position available at  the Department of Computing, Imperial College London.

Topics:
       1) Session Types and their applications to distributed systems or programming languages and/or
       2) Session Types and concurrency theories/verifications (including automata theories)

Period:
       1) Starting date: as soon as possible but flexible
       2) End date: 29th December 2017

Application Closing Date: 9th March 2015.

Detailed information about how to apply, application requirements, terms of employment etc., cf.
        http://www3.imperial.ac.uk/computing/vacancies#NY0115

Related Links:
       1)  Mobility Group (http://mrg.doc.ic.ac.uk/)
       2) Scribble (http://www.scribble.org/)

Contact Person:

       Nobuko Yoshida (n.yoshida at imperial.ac.uk)

More detailed job description:

Research Assistant salary in the range: £29,350 to £32,520 per annum

Research Associate salary in the range: £33,410 to £42,380 per annum

We are seeking to appoint a Research Assistant/Associate to work on the project “Conversation-Based Governance for Distributed Systems by Multiparty Session Types”, funded by the EPSRC.

The project has particular emphasis on putting theory into practice, by embedding session types in a range of programming languages and applying them to realistic case studies. This project includes collaboration with Cognizant, Red Hat, VMware and the Ocean Observatories Initiative.

The successful candidate will join a team responsible for one or two of the following topics;

* extending the programming languages based on session types and Scribble (http://www.scribble.org/)

* investigating relationships between session types and other computational models such as automata

* studying theories and practice on session types

To apply at Research Assistant level, you should have a good Master’s degree (or equivalent) in a relevant area and be nearing completion of a PhD. To be appointed at Research Associate level you must have a PhD (or equivalent) in a relevant area.

You will have a strong record of publications, or other evidence of the ability to undertake research. You should have a strong background in programming languages, including type systems, a good general knowledge of concurrency theory and strong programming and software engineering skills.

You must have excellent communication skills and be able to organise your own work with minimal supervision and prioritise work to meet deadlines. Preference will be given to applicants with a proven research record and publications in the relevant areas. All applicants must be fluent in spoken and written English.

You will be part of the Theory of Computational Systems Group based at the South Kensington Campus.

Informal enquiries should be addressed to: Professor Nobuko Yoshida (n.yoshida at doc.ic.ac.uk) Investigator of the project.

How to apply:

Our preferred method of application is online via our website at: http://www3.imperial.ac.uk/employment (please select “job search” then enter the job title or vacancy reference number EN20150024SF  into “keywords”). Please complete and upload an application form as directed.
 Applications must include the following:

* A college application form

* Please quote job reference number NY 0115 on the application form

* A full CV

*  A two-page research statement indicating what you see are interesting research issues relating to the above post and why your expertise is relevant.

Should you have any queries regarding the application process please contact Sarah Willis by email to: research.officer at doc.ic.ac.uk

[X][X]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150127/8febf445/attachment-0001.html>