search

Functional-Programming-Slack / community

Jobs as posted on #jobs at https://functionalprogramming.slack.com/
45 stars 2 forks source link

Job: Software Engineer (Haskell) | NYC | TQ Tezos - smart contract-based products #13

Closed nikkisinny closed 3 years ago

nikkisinny commented 4 years ago

TQ is a New York-based blockchain technology company advancing the Tezos project. In 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 Tezos is hiring Senior Backend Engineers and Senior Front End Engineers to work out of their office in New York.

Technically, you'll have experience with at least one of the following:

Frontend—React, ReasonML, TypeScript

Backend— Haskell, OCaml/ReasonML, Bonus points: Formal verification tools: Coq, Agda, Idris

Does this sound like a fit for you? You can apply here or email nicole@functionalworks.com

levinotik commented 3 years ago

This role still open @nicolesadozai? If not, let's close it please.

stale[bot] commented 3 years ago

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.