If you are interested in formal verification. Check out the project website: https://remix7531.com

Check out my latest post "Learning Rocq with Software Foundations": https://remix7531.com/post/learning-rocq-with-software-foundations/

Thanks so much @OpenSats! Three months ago, if someone had told me I’d be working on formal verification for open-source cryptography, and actually getting paid for it, I never would have believed it. 100% remote and no annoying boss is the cherry on top.