[TYPES/announce] Postdoctoral researcher: opening at the University of Cambridge

[Jeremy Yallop]

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 (jeremy.yallop at cl.cam.ac.uk)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220318/fcb01e85/attachment.htm>