Remote Haskell Developer - GHCThis Jobot Job is hosted by: Andrew NguyenAre you a fit? Easy Apply now by clicking the "Apply Now" button and sending us your resume.Salary: $100,000 - $130,000 per yearA bit about us:We are a technology company headquartered in Urbana, Illinois with staff spreadacross the globe, including Europe and Southeast Asia. We provide testing and verification services topublic and private companies in the embedded and blockchain domains. In the latter we work withinfrastructure builders as well as companies building products and providing services supported and/orpowered by said infrastructure.We are 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.Why join us?
- 100-130k Base!
- Extremely Competitive Stock Package!
- Flexible Work Schedules!
- Accelerated Career Growth!
- 100% Remote!
- Challenging Problems!
- Bachelor's degree, and preferably Masters Degree in Computer Science or Software Engineering.
- Professional functional programming experience, preferably Haskell.
- GHC (Glasgow Haskell Complier) highly preferred.
- Experience with test-driven development.
- Contributions to open-source projects.
- Industry experience in a must.
- Team collaboration experience.