[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
University of Glasgow College of Science and Engineering School of Computing Science Research Assistant / Associate Ref: 020019 Grade 6/7: £28,098 - £31,604 / £34,520 - £38,833 per annum We have a position for a research assistant / associate in the theory, design and implementation of programming languages. This position is associated with the project "From Data Types to Session Types: a Basis for Concurrency and Distribution", which is a Programme Grant funded by EPSRC for 6 years from 20th May 2013. The position is available for 1 year, from 1st May or a date to be agreed. *Project Description* Just as data types describe the structure of data, session types describe the structure of communication in concurrent and distributed systems. Our 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. The project is joint between the University of Glasgow, the University of Edinburgh, and Imperial College London, and includes collaboration with Amazon, Cognizant, Red Hat, VMware and Estafet. *Principal Duties* The successful candidates will be responsible for conducting research on the theory of session types, for designing programming languages incorporating session types in order to support concurrent and distributed programming, and for evaluating programming language designs and implementations in relation to practical case studies provided by the industrial collaborators. You should have, or be close to completion of, a PhD in a relevant area, or have comparable experience; an awarded PhD or equivalent experience is necessary for appointment at Grade 7. You should have a track record of publication and communication of research results, a strong background in programming languages, including semantics, type systems and implementation, and strong programming and software engineering skills. It is desirable also to have one or more of the following: a combination of theoretical and practical skills; knowledge of the theory or practice of concurrent and distributed systems; knowledge of the theory of session types and linear logic. We seek applicants at an international level of excellence. The School of Computing Science at the University of Glasgow has an international research reputation, and Glasgow, Scotland's largest city, offers an outstanding range of cultural resources and a high quality of life. It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment. We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equity. For informal enquiries or further information about the project, please contact Professor Simon Gay <simon....@glasgow.ac.uk>. Online advert at jobs.ac.uk: http://www.jobs.ac.uk/job/BHP104/research-assistant-associate/ Online application system: https://www22.i-grasp.com/fe/tpl_glasgow01.asp?newms=jj&id=94334&aid=14231 Closing date: 12 March 2018 The University of Glasgow, charity number SC004401. [University of Glasgow: The Times Scottish University of the Year 2018]