Haskell Developer at Runtime Verification
|
Haskell Developer Runtime Verification
πΌ Tech
β° Full Time
π Remote
|
303 days ago
β 3 applications |
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
Applications for this job are currently closed.
Apply on CryptoJobs
![]() |
Remote Senior Fullstack Java Developer Data Lake
πΌ Tech
β° Full Time
π Remote
|
10 days ago
β 19 applications |
|
Backend Developer META 1
πΌ Tech
β° Full Time
π Remote
|
11 days ago
β 18 applications |
|
Rust Developer Holo LTD
πΌ Tech
β° Full Time
π Remote - Time Zone - South America
|
12 days ago
β 21 applications |
|
Frontend Developer Creed and Bear
πΌ Tech
β° Full Time
π Dubai, UAE
|
15 days ago
π₯ 60 applications |