2-year postdoctoral position in programming languages at LFCS

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

2-year postdoctoral position in programming languages at LFCS

James Cheney

I am pleased to announce that we are now accepting applications for a postdoctoral research position in programming languages.  The position is for 24 months, starting on or around September 1, 2016.  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".

The project will build on Links, a functional, typed, cross-tier Web programming language with strong support for database programming via language-integrated query.  The ultimate goal of this project is to design a new general-purpose language suitable for embedding a wide range of domain-specific languages, generalising metaprogramming capabilities found in existing systems to make it possible to define reusable data management techniques needed for the next generation of curated scientific databases.

Applicants for the postdoctoral position should have, at a minimum, a PhD (or be close to completion) in computer science, with a track record of high quality publications and research focus on programming languages.  The project will involve practical systems development and evaluation informed by conceptual or foundational research, so an ideal candidate will have the ability to develop new foundational programming language concepts and carry them through to implementation. Previous research experience concerning provenance or related topics (such as information flow security, program slicing, generative programming or metaprogramming) would be desirable but is not required.  Familiarity with extensibility capabilities such as Template Haskell, Lightweight Modular Staging (Scala), hygienic macros/"languages as libraries" (Scheme/Racket), computation expressions (F#), functional Web programming (Links, Hop, Ur/Web), or dependently-typed programming (e.g. Agda or Idris) would be especially advantageous for this project.

For more information about the project, and about other related activities in my group, LFCS, and Edinburgh, please consult the following page:


Applications must be received by 5pm GMT, June 17, 2016.  To apply, visit the University job posting for this position:


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.


Haskell mailing list
[hidden email]