<div dir="ltr"><div>Hi,</div><div><br></div><div>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".</div><br>== Research software engineer (£32,548 - £38,833) ==<br><br><div>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.</div><br>== Senior researcher (£39,992 - £47,722) ==<br><br>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.<br><br>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.<br><br>== To apply ==<br><br>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:<br><br><a href="http://homepages.inf.ed.ac.uk/jcheney/group/skye.html">http://homepages.inf.ed.ac.uk/jcheney/group/skye.html</a><br><br>Applications must be received by 5pm GMT, September 13, 2018.  To apply, visit the University job posting for these positions:<br><br>Research software engineer<br>  <a href="https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=044830">https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=044830</a><br><br>Senior researcher<br>  <a href="https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=044794">https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=044794</a><br><br>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.<br><br>== Environment ==<br><br><div>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. </div><br></div>