[Job] Formal Verification, Cryptography and Domain Specific Languages writtin in OCaml
19 views
Skip to first unread message
ke...@functionalworks.com
Jul 9, 2018, 5:58:44 PM7/9/18
to ocaml-core
Hi Everyone!
So I am currently working with O1Labs, based out of San Francisco California and they are looking to hire an experienced OCaml Engineer to join their team.
They have created their own DSL using OCaml, called Snarky, and using that, along with ZK Snarks, they are creating a formal verification process to be implemented and rolled out into any real world situation.
They have created their own DSL using OCaml, called Snarky, and using that, along with ZK Snarks, they are creating a formal verification process to be implemented and rolled out into any real world situation.
Here are a few links relating to some content about them and their work.
If you are interested in working with them, feel free to reach out to me directly, ke...@functionalworks.com
Blog:
Blog about DSL:
Video about their Formal Verification process.
If you are interested in working with them, feel free to reach out to me directly, ke...@functionalworks.com
Cheers,
Reply all
Reply to author
Forward
0 new messages