On Oct 5, 2016, at 11:59 PM, Arthur Breitman <arthurb@tezos.com> wrote:If you find this intriguing and enjoy working in OCaml, please reach out: we're hiring! If you lean on the academic side and have experience with formal verification, reach out as well! We'd be interested in proving the correctness of some aspects of the protocol or sponsoring research in the field in general (within our modest means).