Email Gateway (Jan 15 2025 at 17:00): Email Gateway (Jan 15 2025 at 17:00):From: Karthikeyan Bhargavan <karthik@cryspen.com>
[Apologies if you receive this from multiple sources.]
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/
Best regards,
Karthik
Last updated: Jan 30 2025 at 04:21 UTC