[TYPES/announce] prefaculty / postdoc researcher in type systems at Jane Street

answer any questions over email or in person at ICFP! Richard Eisenberg Compiler engineer @ Jane Street https://urldefense.com/v3/__https://richarde.dev/__;!!IBzWLUs!Xo6x53jOhS4-5gdC2o16s8JU2fNJFmX9OyFhI_gdMZadLW90eNNo8BpJdLXzK2PjGrlUrgE1x272LH14aemzUUVK-kBD42mb$

[TYPES/announce] CFP: Workshop on the Implementation of Type Systems (WITS) '24

TU Delft, Netherlands co-chair Richard Eisenberg Jane Street, USAco-chair Jacques-Henri Jourdan CRNS, France Matthieu Sozeau INRIA, France Ningning XieU. of Toronto, Canada

[TYPES/announce] prefaculty / postdoc researcher in types systems position at Jane Street

-ieGPljAAKq2sWILo2vpnpwo$ Richard > On Sep 1, 2023, at 9:47 PM, Richard Eisenberg wrote: > > It's my pleasure to share that Jane Street has opened up a visiting position > to work with the type systems team here at improving and formalizing various > aspects of our extensions to OCaml