• Find preferred job with Jobstinger
  • ID
    #37676959
  • Job type
    Permanent
  • Salary
    $100,000 - $130,000 per year
  • Source
    Jobot
  • Date
    2022-04-03
  • Deadline
    2022-06-02

Haskell Developer

Illinois, Urbana, 61801 Urbana USA
 
Permanent

Vacancy expired!

Remote Haskell Developer - GHC

This 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 Details

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

Report job

Related Jobs

Jobstinger