[Agda] 2-year postdoctoral position in programming languages at LFCS

James Cheney james.cheney at gmail.com
Mon May 9 19:30:33 CEST 2016


Hi,

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:

http://homepages.inf.ed.ac.uk/jcheney/group/skye.html

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

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

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.

--James
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160509/8b3df661/attachment-0001.html


More information about the Agda mailing list