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

[James Cheney]

We are now accepting applications for a postdoctoral position in
programming languages in the Laboratory for Foundations of Computer
Science, School of Informatics, University of Edinburgh.  The position is
for 18 months, starting on as soon as possible and by March 1, 2021 at the
latest.  Funding is provided by a €1.99M Consolidator Grant from the
European Research Council on the project: "Skye: A programming language
bridging theory and practice for scientific data curation".

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

A second position may become available for this post depending on future
funding.

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,797 - £40,322)  ==

This postdoctoral research position is on programming language design in
the Skye project.  This project builds on the Links web programming
language to add built-in support for scientific data management needs,
based on Links's already strong support for language-integrated
query/update (ICFP 2013, SIGMOD 2014, ICFP 2018), type inference with
first-class polymorphism (PLDI 2020), and Elm-style model-view-update
programming (ECOOP 2020). Links also has support for distributed
programming with session types (POPL 2019) and algebraic effects and
handlers (JFP 2020), which may find further applications to the project.

A broad range of programming language design topics potentially within the
scope of this project.  The successful candidate will work on extending the
Links web programming language with stronger support for database
programming (e.g. language-integrated query), client/server web
programming, programming with effects (e.g. graded monads, algebraic
effects/handlers), heterogeneous meta-programming/staging, modular language
extensibility, or concurrent/distributed programming, and develop
applications of these capabilities.

The ideal candidate will have a strong background in programming languages
or databases.  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.


== What about COVID-19? ==

Remote working is possible and encouraged.  Candidates are encouraged to
make contact to discuss their needs or concerns, and to discuss any
relevant visa/immigration issues.

== 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, September 21, 2020.  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=052844


then click "apply" and follow the instructions.  Please note that
applicants must first register with the University's application system,
and it is recommended that applicants complete registration 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.

LFCS hosts a wide variety of research on programming languages, and
collaborates with researchers in compilers/systems elsewhere in the School
of Informatics as well as with colleagues across Scotland as part of the
Scottish Programming Languages & Verification community.  PL research in
the School has recently been strengthened by new arrivals with interests in
verification, program synthesis, DSLs for performance-portable parallelism,
and databases.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200901/c83048d7/attachment-0001.htm>