Pinned
I am looking for people with the following areas of domain expertise:
1) A good understanding of how Bitcoin works at the protocol level
2) A good working knowledge of formal verification systems, interactive theorem provers, and formal specification languages.
Grant money is



