[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We have an opening at the University of Cambridge for a postdoctoral researcher
on the Modular Macros
<https://urldefense.com/v3/__https://www.cl.cam.ac.uk/*jdy22/projects/modular-macros/__;fg!!IBzWLUs!GGG2mZx7DnS32kq_n0gkei2Sk6I7SHEyYH5Jf16e8lp-jk46ADeWHQ-r5u8arLxAlkE-FmQJWeGhWw$
> project, which extends OCaml with new language features for typed
compile-time computation.
More details and an application form can be found here:
https://urldefense.com/v3/__https://www.jobs.cam.ac.uk/job/34041/__;!!IBzWLUs!GGG2mZx7DnS32kq_n0gkei2Sk6I7SHEyYH5Jf16e8lp-jk46ADeWHQ-r5u8arLxAlkE-FmSYZC6xFA$
--------------------------------------------------------------------------------
Applications are invited for a Research Assistant/Associate to join the Modular
Macros project.
The Modular Macros project brings new language features for typed, hygienic,
compile-time computation to OCaml, making it possible for programmers to write
high-level abstract libraries that generate efficient low-level code.
Our design builds on a long tradition of work in multi-stage programming,
taking inspiration from languages such as MetaML, MetaOCaml and Typed Template
Haskell, and integrating smoothly with existing OCaml features, such as its
advanced module system. We'll port existing multi-staged libraries and develop
new applications that combine high-level abstractions with outstanding
performance.
The position will involve working with Modular Macros project members at the
University of Cambridge and industrial partners including Jane Street Capital
to develop, formalise and implement the design of Modular Macros.
The successful candidate is likely to have (or expect to be awarded soon) a PhD
in computer science or a related discipline, as well as a track record of
published research and experience or demonstrable interest in some combination
of the following:
- Programming language design and formalisation
- Implementation of programming languages, broadly construed (including
compilers, interpreters, proof assistants, static analysers and language tools)
Informal enquiries are welcome and should be directed to Dr Jeremy Yallop
([email protected])
