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.
Must have
- 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.
Good 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.