[TYPES/announce] Postdoctoral position on database programming languages at Edinburgh LFCS

[James Cheney]

Hi,

We are now accepting applications for a postdoctoral  position in database
programming languages.  The position is for 24 months, starting on
September 2, 2019 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".

Funding from this ERC grant, and certain national funding schemes, is also
available to help support travel/accommodation costs for visits from
students, researchers or faculty at other institutions whose research
aligns with the project.  Please get in touch if interested.

== Research associate (£33,199 - £39,609)  ==

This postdoctoral research position is on database programming and data
curation techniques in the Skye project.  This project builds on the Links
web programming language to add built-in support for scientific data
management needs, particularly data archiving, transformation and
provenance.  Currently Links supports sophisticated database access via
language-integrated query, but only for relational databases; other data
models and query languages are not supported, and Links's capabilities for
rewriting or transforming queries or updates is limited.

The overall research goal of the Skye project is to identify, develop, and
implement extensibility or metaprogramming capabilities to make advanced
database programming easy.  The successful candidate will focus on
developing language-integrated query support for new data models/query
languages, such as graph or RDF databases, and will work with other Skye
project members to incorporate these techniques into Links.
Links also has other advanced capabilities such as distributed programming
with session types, and algebraic effects and handlers, and interactions
between these features and database programming or new applications to
database programming are in scope.

The ideal candidate will have a strong background in database research,
including familiarity with different query languages and models.
Familiarity with programming language foundations is also desirable, as is
experience with functional programming (e.g. Scala, OCaml, Haskell).
Candidates with a strong background in either database or programming
language research will be considered as long as there is clear evidence of
ability to learn the complementary background.



== 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, July 18, 2019.  To apply, visit
the University job posting for this position:

Research Associate

https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=048311

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190619/b8176c65/attachment.html>