Compiler and Verification Engineer Jobs at Cryspen

Stream: job postings

[Karthikeyan Bhargavan]

Cryspen is looking to hire compiler and verification engineers to improve our hax verification framework and apply it to real-world software. Experience with Rust and Lean is a strong advantage.

https://join.com/companies/cryspen/15373326

Best regards,
Karthik