Haskell Software Engineer Haskell Software Engineer - Skills Required - Haskell, Scala, OCaml, Clojure, F#, RDBMS, SMTLIB2, QuickCheck, Jeps...
Haskell Software Engineer Haskell Software Engineer - Skills Required - Haskell, Scala, OCaml, Clojure, F#, RDBMS, SMTLIB2, QuickCheck, Jepsen, CoQ
If you are a Haskell Software Engineer with experience, please read on!
We deliver the next generation of blockchain platforms for businesses and entrepreneurs by solving the scalability & security concerns that impede widespread blockchain adoption. We offer simple solutions & tools for developing on a blockchain, including a purpose-built smart contract language, Pact; the first high-performance, BFT-consensus, private distributed ledger protocol; and Chainweb, a fundamental breakthrough in proof of work scaling for a public blockchain. Our founders have proven experience creating and building software systems for the financial industry and government including for JPMorgan Chase Bank and the U.S. Securities and Exchange Commission.
**What You Need for this Position**
Your language experience includes any of the following:
- Haskell (most desired)
Exposure or experience in any of the following areas is desirable:
- Network engineering
- Cryptography engineering
- Distributed Systems
- Programming language design (e.g. compilers, interpreters, development tools)
- Database Systems (RDBMS but also key-value systems)
- Software assurance / verification (SMTLIB2, QuickCheck, Jepsen, Coq, HOL)
- Industrial/production Haskell development
**What's In It for You**
- Competitive base salary
- 10% bonus
- 401k, PTO, and excellent benefits
- Fun work environment and career growth
So, if you are a Haskell Software Engineer with experience, please apply today!
Applicants must be authorized to work in the U.S.
**CyberCoders, Inc is proud to be an Equal Opportunity Employer**
All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, national origin, disability, protected veteran status, or any other characteristic protected by law.
**Your Right to Work** ? In compliance with federal law, all persons hired will be required to verify identity and eligibility to work in the United States and to complete the required employment eligibility verification document form upon hire.
*Haskell Software Engineer*