Post Doc Researcher Security and Systems

Stream: job postings

[Leonardo de Moura]

This is a great opportunity to work with Jonathan Protzenko at Azure Research (Microsoft). They are looking for an expert in Lean who can help with:

• Technology: Scaling up proofs of programs within the Lean proof assistant (see the ICFP tutorial here).
• Proofs: Contributing to mathematical proofs of cryptographic algorithms.
• Research: Writing up findings and publishing in top academic venues.

You can find the job posting here.

After applying, please send a message to Cédric (fournet@microsoft.com) and Jonathan (protz@microsoft.com). The ideal start timeline is within the next six months.

[Jonathan Protzenko]

This is also an opportunity to work with @Son Ho who will also be joining Azure Research to work on program verification and in particular the Lean backend of the Aeneas project!