Haskell Software Engineer

ABOUT US

Kadena is the industry’s only scalable layer 1 Proof of Work (PoW) blockchain. The principal feature that drives Kadena is scalability, which enables Kadena to deliver infrastructure-grade performance for any blockchain project. Along with our own smart contract language Pact, Kadena’s platform provides the world the tools and environment to turn ideas and ambitions into reality. Founded by Stuart Popejoy and William Martino who created JP Morgan’s first blockchain and led the SEC’s Crypto Committee, Kadena aims to allow for true blockchain mass adoption. At Kadena, we value diversity, curiosity, a work/life balance, kindness, and teamwork.

Location

Kadena is a remote-first company, with the ability to work throughout the world. We ask that your working hours include 10:00am – 13:00 EST (14:00 – 17:00 UTC) to ensure there is alignment across different timezones.

Company

Kadena is the industry’s only scalable layer 1 Proof of Work (PoW) blockchain that provides secure settlement in the form of a public ledger. The principal feature that drives Kadena is scalability, which enables Kadena to deliver infrastructure-grade performance for any blockchain project. Along with our own smart contract language Pact, Kadena’s platform provides the world the tools and environment to turn ideas and ambitions into reality. Pact is designed to greatly reduce errors when creating such contracts and lends itself well to automated verification.

 

Founded by Stuart Popejoy and William Martino who created JP Morgan’s first blockchain and led the SEC’s Crypto Committee, Kadena aims to allow for true blockchain mass adoption.

Position

We are looking for Haskell engineers who are interested in further developing both the Pact language itself – including applications beyond blockchain – as well as the settlement layer, Chainweb. Candidates may choose to focus on either other of these or explore the points of intersection.

 

We are looking for well-rounded candidates, but also those who have specialty areas of interest. Therefore, if any of these categories describes you, there is very likely a specialized role we have available.

 

For example:

• If you have a strong networking background, we’re interested in candidates who have production experience building widely distributed, fault-tolerant systems.
• If you have a programming language background, we need people with experience developing editor tooling for evaluated languages, static analysis, type-checkers, debugging capabilities, and more.
• If you have a distributed system background, we’re interested in improving our P2P network layer, how transactions are gossiped through the network, proving properties of our expander graph solution to sharding, and refining the tools by which we monitor and assess overall network health.
• If you have a background working in blockchain and have knowledge of the various macroeconomic incentive structures that inform decision-making in this space, we are interested in expertise at costing the block-making algorithm, making tokenomics decisions, and working with systems that extend the capabilities of L1 by involving proof-connected L2 systems.

Responsibilities

• Collaborate in the design, implementation, deployment, and maintenance of business-critical software.
• For Chainweb: improve the stability and performance of our blockchain and its networking layers
• For Chainweb: Capture and analyze system logs and performance metrics from production environments to diagnose and solve issues.
• For Pact: Implement language features and tooling. Working on Pact may cover many areas, including but limited to:
• Parsing
• Evaluation
• LSP
• Formal Verification
• Database Integration
• Gas Accounting

Qualifications

We don’t believe in hard and fast hiring criteria because great candidates can come from all backgrounds, but here are some attributes that we frequently find useful for the kinds of engineering problems that we work on:

• Self-starters who prioritize delivering working software solutions to real-world problems and are comfortable with aggressively prioritizing and cutting out distractions to achieve the biggest impact amidst competing concerns.
• Several years of commercial software experience with Haskell or other functional languages is a significant plus.
• Strong working knowledge of distributed systems and networking is a plus.
• Experience designing and implementing production DSLs.
• Ability to collaborate cross-functionally with other teams responsible for client interactions, DevOps & monitoring, etc.

Full Stack Engineer – $100k – $135k

BENEFITS

• Competitive salary
• Fully paid medical, vision, and dental insurance for full-time employees
• Flexible savings accounts
• Company coin options
• Flexible vacation time (and a culture of taking time off)
• Remote company
• Home office setup stipend

Kadena requires all employees to be fully vaccinated against COVID-19 as a condition of employment. Kadena considers requests for reasonable accommodations for medical or religious reasons pursuant to applicable law.

Apply Now