[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
As faculty hiring season heats up, I thought I would repost this opportunity,
as we're still seeking to fill this position. If you or your student is looking
for a postdoc opportunity based in industry, we'd love to know!
Full details and next steps are at
https://urldefense.com/v3/__https://www.janestreet.com/join-jane-street/programs-and-events/visiting-researcher-prefaculty/__;!!IBzWLUs!V-kQoLJbRoDlFD_XA9LhFp0oMAUshodOBcjskrOP4y0fqqmO3qIOojcjjL3E-j5sCORkrkNX-ieGPljAAKq2sWILo2vpnpwo$
Richard
> On Sep 1, 2023, at 9:47 PM, Richard Eisenberg <[email protected]> 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. This position is envisioned to sit
> between graduation from a PhD program and the start of a tenure-track
> professorship at a research institution. Candidates might already have a
> faculty offer in hand and be taking a gap year, or they might be seeking a
> more traditional postdoc. The visit can last one or two years. It will be
> research-focused, with a goal of publishing several papers in top venues. The
> visitor will be able to see firsthand how language improvements affect the
> users all around us in our office. This will be a great opportunity at
> combining the theoretical and practical aspects of research in our field.
>
> Full details and next steps are at
> https://urldefense.com/v3/__https://www.janestreet.com/join-jane-street/programs-and-events/visiting-researcher-prefaculty/__;!!IBzWLUs!V-kQoLJbRoDlFD_XA9LhFp0oMAUshodOBcjskrOP4y0fqqmO3qIOojcjjL3E-j5sCORkrkNX-ieGPljAAKq2sWILo2vpnpwo$
>
>
> I'll be supervising this position. Happy to answer any questions over email
> or in person at ICFP!
>
> Richard
