Postdoctoral & development positions on PL for data curation at Edinburgh LFCS
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) ==
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) ==
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.
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 ==
more information about the project, and about other related activities
in my group, LFCS, and Edinburgh, please write to me or consult the
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 ==
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.