Software Engineer

Summary

Join IOG, a blockchain research and development company, as a Software Engineer. You will write high-quality code for our products, working with cutting-edge research and technology. Collaborate with architects, product managers, and other specialists, following agile practices and working across multiple time zones. Responsibilities include designing algorithms, writing efficient code, conducting thorough testing, reviewing code, fixing bugs, integrating software components, and writing documentation. A minimum of 2-3 years of Haskell development experience is required, along with Git experience and knowledge of Agile methodologies. Remote work, laptop reimbursement, a new starter package, learning and development opportunities, and competitive PTO are offered.

Requirements

• A minimum of 2-3 years development experience (professional or otherwise) in Haskell
• Experience working with Git and Git workflow
• Practical experience with Agile software development methods
• Knowledge of functional and object-oriented programming paradigms
• Good understanding of concurrent programming / concurrency
• Good understanding of software transactional memory
• Good understanding of call-by-need, memoization and lazy evaluation
• Good understanding of Quickcheck/Hedgehog and property testing

Responsibilities

• 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 team mates
• 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

Preferred Qualifications

• Degree in Computer Science is desirable but not essential
• Experience with or contributions to GHC (Glasgow Haskell Compiler)
• Experience with profiling GHC generated executables and inspecting eventlogs
• Experience in similar languages: Idris, Agda, PureScript, Elm
• Familiar with frameworks/libraries such as: aeson, async, lens, optparse-applicative, stm, template-haskell
• Proficiency with advanced FP techniques such as: Advanced functional data structures, Generic programming, Streaming, Type-level programming
• Good understanding of tracing and monitoring systems
• Good understanding of Distributed systems, automation and network topologies
• Good understanding of performance testing and / or modeling
• Experience with nix
• Experience with cloud platforms such as AWS
• Proficiency in software development best practices, including design, implementation, testing, and debugging
• Familiarity with version control such as git and continuous integration

Benefits

• Remote work
• Laptop reimbursement
• New starter package to buy hardware essentials (headphones, monitor, etc)
• Learning & Development opportunities
• Competitive PTO