gary886
2018-07-02 23:26:56 UTC
Hi all,
I'm working on applying formal methods to cryptocurrency protocols. Currently we are using Coq. We're a well funded startup (recently raised $20 million) and pay competitively.
If anyone has interest, please message.
Gary
Sent with [ProtonMail](https://protonmail.com) Secure Email.
I'm working on applying formal methods to cryptocurrency protocols. Currently we are using Coq. We're a well funded startup (recently raised $20 million) and pay competitively.
If anyone has interest, please message.
Gary
Sent with [ProtonMail](https://protonmail.com) Secure Email.