Haskell Developer at Runtime Verification

Haskell Developer

Runtime Verification
Remote

Posted 17 days ago

Runtime Verification Inc. is a US startup headquartered in Urbana, Illinois with staff spread across the globe, including Europe and Southeast Asia. We provide testing and verification services to public and private companies in the embedded and blockchain domains. In the latter we work with infrastructure builders as well as companies building products and providing services supported and/or powered by said infrastructure.

Job Description

Runtime Verification Inc (RV) is looking for a Haskell Developer to join the company. You will work with the team developing the symbolic execution backend of K in Haskell, and with other teams in the company using K for formal verification. The ideal candidate has a strong programming background and knowledge about and experience with functional programming languages.

What we offer

One of the best teams around.
Very competitive salary.
Remote friendly.
Matching IRA contributions.
Casual dress code.
Health insurance.
Top notch equipment.
Performance bonuses.
Company lunches.
Unlimited vacation.

What we are looking for

BS or equivalent in Computer Science, Mathematics, or a related field.
Professional functional programming experience, preferably Haskell.
Must be a considerate teammate with good communication skills.
Eager learner with a demonstrable ability to solve problems.

Nice to have

MS/PhD or equivalent in Computer Science, Mathematics, or a related field.
Experience with test-driven development.
Contributions to open-source projects.

What’s in it for you?

Opportunity to work at the forefront of programming language design and verification.
Casual work environment with flexible work hours.
Full benefits package available for US based employees. Includes unlimited paid time off, retirement benefits, employer sponsored health / dental / limited life insurance.


Skills

Haskell, Functional Programming

Compensation

Negociable + Equity


Share this opportunity:


Post a Job

CryptoJobs is the #1 website for blockchain jobs. We believe the emergence of blockchain technology and decentralized applications will change the world as we know it, and it’s already happening. We’re on a mission to connect talented individuals to the best blockchain projects, to accelerate the advent of a more decentralized world.


Join 20,000+ crypto enthusiasts for weekly updates:


Trusted by:

And 1,000+ other crypto companies around the world


Follow CryptoJobs on:

Browse by categories

Browse by skills

Browse by top locations