Senior Software Engineer

New York, NY
Technical Services
Full time
NOTE: TQ is also actively recruiting for roles both senior (e.g. engineering lead, engineering director) and junior (software engineer, frontend/web) to this position.

About TQ Tezos (The Tocqueville Group)TQ is a New York-based blockchain technology company advancing the Tezos project. In close collaboration with the Tezos Foundation in Switzerland and Nomadic Labs in Paris, TQ builds products on Tezos and developer tools to help others do so. TQ also helps startups and enterprises adopt Tezos for a variety of exciting use cases, facilitating the growth of a robust, high-functioning Tezos ecosystem.

You might be a good fit if your experience and interests include any of the following:

    • Type-safe programming languages: OCaml/ReasonML, Haskell, Rust
    • Interest and/or experience with real-world financial applications based on smart contracts
    • Technical writing: tutorials, documentation, and other educational material
    • Ability to collaborate or liaise with both internal and external developers
    • Contributing to open source projects, shared code repositories, and personal projects

Bonus points for experience with:

    • Formal verification tools: Coq, Agda, Idris 
    • Distributed systems: consensus algorithms, peer-to-peer network protocols
    • Cryptography: Elliptic curves, zero-knowledge proofs, multisignature schemes

Skills:

    • Functional Programming (OCaml/Haskell/F#)
We offer a flexible work environment, competitive compensation, full benefits, and unlimited time off.
Candidates with questions should contact careers@tqgroup.io.