Kadena is hiring a Haskell Software Engineer familiar with functional programming languages and interested in learning Haskell to build out our new public-chain protocol, Chainweb, and further our work in formal verification of smart contracts.
Kadena is building the leading blockchain platform for businesses and enterprises by solving scalability and security concerns that impede widespread blockchain adoption. Founded by two lead engineers from JP Morgan’s blockchain group, our existing technology stack consists of our open-source smart contract language Pact and our private-chain protocol, ScalableBFT, products that are already in use with Fortune-100 clients, coded entirely in Haskell. We believe Haskell lends a decisive advantage through drastically enhanced productivity, excellent concurrency and parallelization support, unbeatable programming-language tooling, and sheer pleasure of coding. We can’t wait to see what you will add to our stack!
Kadena is hiring a Haskell Software Engineer familiar with functional programming languages and interested in learning Haskell to build out our new public-chain protocol, Chainweb, and further our work in formal verification of smart contracts.
Kadena is building the leading blockchain platform for businesses and enterprises by solving scalability and security concerns that impede widespread blockchain adoption. Founded by two lead engineers from JP Morgan’s blockchain group, our existing technology stack consists of our open-source smart contract language Pact and our private-chain protocol, ScalableBFT, products that are already in use with Fortune-100 clients, coded entirely in Haskell. We believe Haskell lends a decisive advantage through drastically enhanced productivity, excellent concurrency and parallelization support, unbeatable programming-language tooling, and sheer pleasure of coding. We can’t wait to see what you will add to our stack!
http://kadena.io/
For more information, email mightybyte@gmail.com