Hi, I am pleased to announce that we are now accepting applications for *two* postdoctoral positions in programming languages for scientific data management. Both are for 24 months, starting on October 1, 2018 at the earliest. Funding is provided by a five-year, €1.99M Consolidator Grant from the European Research Council on the project: "Skye: A programming language bridging theory and practice for scientific data curation". == Research software engineer (£32,548 - £38,833) == This position is aimed at developing scientific database case studies using Links, a programming language with strong support for Web programming, database programming, algebraic effects and distributed programming using session types. Applications are welcome from either experienced scientific database developers with an interest in functional programming, or programming languages or database researchers with an interest in principled software development. == Senior researcher (£39,992 - £47,722) == This position is intended for someone who has significant research experience and an independent research agenda relevant to the topics of the project: types, database programming, metaprogramming, language extensibility, etc. The senior researcher will help to lead a substantial part of the Skye project and participate in supervision of some of the students and staff working on the project. Funding from this ERC grant can also be used to help support travel/accommodation costs for extended visits from established researchers (e.g. faculty at other institutions) whose research aligns with the project. Please get in touch if interested. == To apply == For more information about the project, and about other related activities in my group, LFCS, and Edinburgh, please write to me or consult the following page: http://homepages.inf.ed.ac.uk/jcheney/group/skye.html Applications must be received by 5pm GMT, September 13, 2018. To apply, visit the University job posting for these positions: Research software engineer https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobsp... Senior researcher https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobsp... then click "apply" and follow the instructions. Please note that applicants must use the University's application system above, which involves some account registration and form-filling, and it is recommended that applicants complete this process well before the deadline, since the system automatically stops accepting applications after the deadline. == Environment == The University of Edinburgh School of Informatics brings together world-class research groups in theoretical computer science, artificial intelligence and cognitive science. The School led the UK 2014 REF rankings in volume of internationally recognized or internationally excellent research. In 2013, the School of Informatics received an Athena Swan Silver Award, in recognition of its commitment to advancing the careers of women in science, technology, engineering, mathematics and medicine (STEMM) employment in higher education and research. Overall the University of Edinburgh has achieved a Silver Award.