About the job
Grade 7, salary range: £34,304 - £40,927
College of Science and Engineering, School of Informatics
Fixed term until 31/01/2025
1 post available
We invite candidates to apply for a Research Associate within the School of Informatics. Effect handlers allow programmers to define, customise, and compose a range of crucial programming features ranging from concurrency to probability, inside the programming language. The EHOP project will develop a radical new programming paradigm called Effect Handler Oriented Programming (or EHOP for short).
EHOP will empower software developers to build modular interactive software, enabling the development of safe, secure, and reliable applications. As well as developing the theory and practice of effect handler oriented programming, EHOP will add effect handlers to systems as diverse as WebAssembly, the new target language for the web, and Hack, the language in which the Facebook app is written.
Knowledge, Skills And Experience
- PhD (or near completion) in Computer Science or a related field
- Background in programming language design and/or implementation
The following criteria are not yes/no factors, but questions of degree. Recruitment will aim at selecting those candidates with the best possible performance in all these criteria.
- Evidence of high-quality research
- Experience of functional programming
- Experience in formal semantics
- Experience in type systems (including dependent types, effect types, linear types, and session types)
- Experience in compilers
- Experience with large-scale software development (ideally using functional programming languages)
- Experience in concurrency and distribution
- Experience in effect handlers and algebraic effects
- Ability to communicate complex information clearly, orally and in writing
Please ensure you include a CV and supporting statement in your application.
Feedback is only provided to interviewed candidates.
Informal enquiries to be directed to Dr. Sam Lindley (Sam.Lindley@ed.ac.uk)
Click here for a copy of the full job description
As a valued member of our team you can expect:
An exciting, positive, creative, challenging and rewarding place to work. We give you support, nurture your talent and reward success. You will benefit from a competitive reward package and a wide range of staff benefits, which includes a generous holiday entitlement, a defined benefits pension scheme , staff discounts, family friendly initiatives , flexible working and much more. Access our staff benefits page for further information and use our reward calculator to find out the total value of pay and benefits provided.
The University of Edinburgh holds a Silver Athena SWAN award in recognition of our commitment to advance gender equality in higher education. We are members of the Race Equality Charter and we are also Stonewall Scotland Diversity Champions, actively promoting LGBT equality.
If invited for interview you will be required to evidence your right to work in the UK. Further information is available on our right to work webpages.
The University is able to sponsor the employment of international workers in this role. If successful, an international applicant requiring sponsorship to work in the UK will need to satisfy the UK Home Office’s English Language requirements and apply for and secure a Tier 2/Skilled Worker Visa.
As a world-leading research-intensive University, we are here to address tomorrow’s greatest challenges. Between now and 2030 we will do that with a values-led approach to teaching, research and innovation, and through the strength of our relationships, both locally and globally.
Informatics is the study of how natural and artificial systems store, process and communicate information. Research in Informatics promises to take information technology to a new level, and to place information at the heart of 21st century science, technology and society. The School enjoys collaborations across many disciplines in the University, spanning all three College, and also participates as a strategic partner in the Alan Turing Institute and, with Heriot-Watt University, in the Edinburgh Centre for Robotics.
The School provides a fertile environment for a wide range of studies focused on understanding computation in both artificial and natural systems. It attracts students around the world to study in our undergraduate and postgraduate programmes, and currently has approximately 1000 undergraduate students, 320 MSc students and 350 PhD students. Informatics is one of seven schools in the College of Science and Engineering, at the University of Edinburgh. It is recognised for the employability of its graduates (demand exceeds supply), its contributions to entrepreneurship, and the excellence of its research. Since the first Research Assessment Exercise in 1986, Informatics at Edinburgh has consistently been assessed to have more internationally excellent and world-class research than any other submission in Computer Science and Informatics. The latest REF 2014 results have again confirmed that ours is the largest concentration of internationally excellent research in the UK. This contributes to our ranking in the top 15 CS departments world-wide according to the latest Times Higher Education ranking.
We aim to ensure that our culture and systems support flexible and family-friendly working and recognise and value diversity across all our staff and students. The School has an active programme offering support and professional development for all staff; providing mentoring, training, and networking opportunities.
The School of Informatics holds a Silver Athena SWAN award, in recognition of our commitment to advance gender equality in higher education and research.
Your application has been successfully submitted.
Influencing the world since 1583