Microsoft Research is looking to hire a short-term contractor (part-time, for 3—6 months with some possibility for extension) to work on F* and Project Everest. See
https://fstar-lang.org and
https://project-everest.github.io for more information.
An ideal candidate would have several of the following skills:
The work would not necessarily lead to publishable research, but it would involve working in an engineering role on open-source software, in close collaboration (though remotely) with a large PL/Systems/Security research team.
Please reply directly to me (nswamy@microsoft.com) if you are interested.
Best regards,
Nik