IO Global is searching for a Software Engineer (Haskell Developer) to join their Node CLI/API team. As a Software Engineer at IOG, you have the exciting challenge of working with cutting-edge research and technology, focusing on the market's needs. Predominantly, the team looks after the Cardano-api, Cardano-node, and Cardano-CLI. This curation involves integrating, testing, and exposing new features provided by the underlying libraries.Your missionFollow agile software development practicesWork with teams across multiple time zonesWork independently on software development tasksBe proactive and require minimal supervision or mentoring to complete tasksReview specifications produced by architects and formal methods specialistsContribute to the design of algorithmsWrite clean, straightforward, efficient code that satisfies previously agreed acceptance criteria and specificationsCommit often and submit small pull requests frequentlyCover your code with unit, property, and integration tests when applicableReview the pull requests of your teammatesFix bugs in your own code and in legacy code from othersBe available for emergency fixing of severity 1 issues on deployed productsIntegrate software components and third-party librariesVerify and deploy programs and systemsTroubleshoot, debug and upgrade existing softwareWrite documentation for the codeWrite technical user manualsBe knowledgeable about distributed and concurrent computationBe knowledgeable about the basics of cryptography.RequirementsYour expertiseA degree in Computer Science is desirable but not essentialA minimum of 2-3 years development experience (professional or otherwise) in the required language (Haskell, Javascript, Scala, Rust)Experience working with Git and Git workflowPractical experience with Agile software development methodsKnowledge of functional and object-oriented programming paradigmsGood understanding of Quickcheck/Hedgehog and property testingGood understanding of concurrent programming/concurrencyGood understanding of call-by-need, memoization, and lazy evaluationExperience 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-haskellProficiency with advanced FP techniques such as:Advanced functional data structures, Dependent types, Extensible effects, Generic programming, Streaming, Type-level programming.BenefitsLocationIOG is a fully distributed organization and therefore this is a remote position.All ColleaguesFlexible scheduleRemote work - ability to work anywhereLaptop reimbursementNew starter package to buy hardware essentials (headphones, monitor, etc)Learning & Development opportunitiesCompetitive PTO and Sick Leave planUS EmployeesMedical, Dental, and Vision benefits coverage through Anthem with 100% premium cost covered by IO Global for the employee and dependentsHealth Savings AccountLife InsuranceUK EmployeesMonthly Health Stipend to use towards any wellness or medical coverage/servicePension