We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies.

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies. Less

We use cookies and other tracking technologies... More

Login or register
to apply for this job!

Login or register to start contributing with an article!

Login or register
to see more jobs from this company!

Login or register
to boost this post!

Show some love to the author of this blog by giving their post some rocket fuel 🚀.

Login or register to search for your ideal job!

Login or register to start working on this issue!

Engineers who find a new job through Java Works average a 15% increase in salary 🚀

Software Engineer - Haskell

Remote

23 July, 2020

Salary

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • Blockchain
  • Haskell
  • Functional Programming
  • Git

Benefits & perks

  • Remote working
Haskell Development role on a Blockchain project

Role overview

Summary

As a Software Engineer at IOHK you are responsible for writing high-quality code for our products. You have the exciting challenge of working with cutting-edge research and technology with a focus on the market's needs. To support you on this challenge, our products have software architects, product managers, project managers, formal methods specialists and QA test engineers, with whom you must communicate professionally, effectively and efficiently.

IOHK is a fully distributed company, preference for this role would be the US or Europe to coordinate with the existing team.

Duties

  • Follow agile software development practices
  • Work with teams across multiple time zones
  • Work independently on software development tasks
  • Be proactive and require minimal supervision or mentoring to complete tasks
  • Review specifications produced by architects and formal methods specialists
  • Contribute to the design of algorithms
  • Write clean, straightforward, efficient code that satisfies previously agreed acceptance criteria and specifications
  • Commit often and submit small pull requests frequently
  • Cover your code with unit, property and integration tests when applicable
  • Review the pull requests of your teammates
  • Fix bugs in your own code and in legacy code from others
  • Be available for emergency fixing of severity 1 issues on deployed products
  • Integrate software components and third-party libraries
  • Verify and deploy programs and systems
  • Troubleshoot, debug and upgrade existing software
  • Write documentation for the code
  • Write technical user manuals
  • Be knowledgeable of distributed and concurrent computation
  • Be knowledgeable of the basics of cryptography

Key Competencies

  • Write idiomatic code that satisfies the acceptance criteria of a given task
  • Write tests (unit tests, property tests) that provide sufficient and non-superfluous efficient code coverage.
  • Document code and APIs concisely and unambiguously
  • Break down tasks into sub-tasks that are completable in a short amount of time and report completion as required by managers
  • Pragmatically adhere to software engineering principles (modularity, incremental development, no premature optimization, no feature creep, no speculative generality, ...)

Education / Experience

  • Degree in Computer Science is desirable but not essential 
  • A minimum of 2-3 years development experience (professional or otherwise) using Haskell
  • Experience working with Git and Git workflow
  • Practical experience with Agile software development methods
  • Knowledge of functional and object-oriented programming paradigms

Specialist Skills

  • Skills relevant for a software engineer specialized in Haskell
  • Good understanding of Quickcheck/Hedgehog and property testing.
  • Good understanding of concurrent programming / concurrency.
  • Good understanding of call-by-need, memoization and lazy evaluation.
  • Experience in similar languages: PureScript, Elm, Idris, Agda, Ocaml, F#.
  • Experience with / contributions to GHC (Glasgow Haskell Compiler)
  • Familiar with frameworks/libraries such as: conduit, cryptonite, distributed-process, lens, optparse-applicative, persistent, pipes, servant, stm, template-haskell
  • Proficiency with advanced FP techniques such as: Advanced functional data structures, Dependent types, Extensible effects, Generic programming, Streaming, Type-level programming
  • 50-249

Cascading disruption is the idea that most of the structures that form the world’s financial, governance and social systems are inherently unstable and thus minor perturbations can cause a ripple effect that fundamentally reconfigures the entire system. Our company is committed to identifying and developing the tech to force these perturbations in order to push towards a more fair and transparent order. Currently IOHK is studying new tools and paradigms for cryptographic research and the architecture of cryptocurrencies. More specifically, we are collaboratively developing an open source library for universal composability and the Scorex project. We also do for-profit work aligned with our mission, vision and goals. We view the world as a series of giant and interconnected social graphs with hundreds of complex embedded systems. Our mission is to perturb these graphs to become more connected, transparent and with a fair configuration for both the flow of ideas and value. About IOHK In 2015 IOHK founders, Charles Hoskinson and Jeremy Wood, set out to cause cascading disruption, committed to using peer-to-peer innovations to provide financial services to the three billion people who don’t have them. They knew back then that they had to first create a place that was designed to enable such unprecedented ambition. A place where incredibly talented individuals are actually empowered to put their best work into the hands of millions of people to build on and explore new ways of working together. As IOHK continues to grow, we hope that these principles will serve each new person joining our ranks.

View 1 job
Engineers who find a new job through Java Works average a 15% increase in salary.

Salary

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • Blockchain
  • Haskell
  • Functional Programming
  • Git

Benefits & perks

  • Remote working

Get hired!

Sign up now and apply for roles at companies that interest you.

Engineers who find a new job through Java Works average a 15% increase in salary.

Start with GithubStart with Stack OverflowStart with Email

Get hired!

Sign up now and apply for roles at companies that interest you.

Engineers who find a new job through Java Works average a 15% increase in salary.

Start with GithubStart with Stack OverflowStart with Email

Other roles that might interest you

Software Engineer - Haskell