Proof Engineer @ Cryspen

Stream: job postings

[Karthikeyan Bhargavan]

Cryspen is looking for proof engineers to join our team and help us build and verify high-assurance Rust software, using a variety of proof assistants. If you are passionate about applying formal verification to real-world security-critical software like Firefox, WireGuard, Signal, etc., and if don't get scared off by large unwieldy proof artifacts and in-development tools, you may want to apply! 

More information is in the job ads here: https://cryspen.com/jobs/