[TYPES/announce] Postdoctoral & development positions on PL for data curation at Edinburgh LFCS

[James Cheney]

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.jobspec?p_id=044830

Senior researcher

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

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/20180820/32b152dc/attachment.html>