Formal Verification Engineer at Reilabs

Stream: job postings

[Matej Penciak]

Hey all! We here at Reilabs are looking for some motivated Lean users interested in program verification, cryptography, and ZK to join me on the formal verification team. We're working on some cool Lean projects with more to come. Here are links to some of the work:

https://github.com/reilabs/lampe/
https://github.com/reilabs/proven-zk
https://github.com/reilabs/gnark-lean-extractor

See the job listing here for more information:
https://reilabs.io/careers/formal-verification-engineer/

If you have any questions about the position DM me or @Marcin Kostrzewa here on Zulip and we'll get back to you. If you're interested in applying, let us know by emailing your CV and a short intro to hi@reilabs.io.