Job Details

  • ID#37676959
  • Address 61801 , Urbana,

    Illinois

    Urbana USA
  • Job type

    Permanent

  • Salary USD $100,000 - $130,000 per year 100000 - 130000 per year
  • Hiring Company

    Jobot

  • Showed04th April 2022
  • Date03rd April 20222022-04-03T03:00:00-0400
  • Deadline02nd June 2022
  • Category

    Internet engineering

Haskell Developer

Vacancy expired!

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 year

A 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!

Job DetailsWe are looking to hire a Haskell Developer (multiple openings). Knowledge of formalsemantics and formal verification is a big plus. The selected hire will be embedded inside one of thecompany's blockchain ecosystem teams where he or she will work on developing the symbolic execution backend of K in Haskell.Is your background a fit? Apply if you meet this criteria:
  • 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.
Interested in hearing more? Easy Apply now by clicking the "Apply Now" button.

Vacancy expired!