camlCase is seeking a Senior Software Engineer for a full-time position located in New York City.

camlCase is a blockchain research and development company, based in Brooklyn, NY. We build developer tools, write educational material, and offer consulting services for Tezos, with a particular focus on Michelson, Tezos' smart contract language.

You might be a good fit if your experience and interest includes any of the following:

  • Type-safe programming languages: OCaml, Haskell, Rust, PureScript
  • Programming language design implementation: parsers, interpreters, compilers, type systems, etc.
  • Stack Machines: WebAssembly, the Ethereum Virtual Machine, Forth
  • Reproducible declarative package management: Nix, Guix
  • Formal verification tools: Coq, Agda, Idris
  • Cryptography: Elliptic curves, zero-knowledge proofs, multisignature schemes
  • Distributed systems: consensus algorithms, peer-to-peer network protocols
  • Technical writing: tutorials, documentation, and other educational material

We offer a flexible work environment with the possibility of remote work; as well as benefits and equity.

To Apply

Send resume to apply-9133 [at] functionaljobs [dot] com