Job description
Who are we?
IOG, is a technology company focused on Blockchain research and development. We are renowned for our scientific approach to blockchain development, emphasizing peer-reviewed research and formal methods to ensure security, scalability, and sustainability. Our projects include decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain technology globally.
We invest in the unknown, applying our curiosity and desire for positive change to everything we do. By fueling creativity, innovation, and progress within our teams, our products and services are designed for people to be fearless, to be changemakers.
What the role involves:
As a Software Engineer at IOG 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.
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
Degree in Computer Science is desirable but not essential
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.
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.
Remote work
- Laptop reimbursement
- New starter package to buy hardware essentials (headphones, monitor, etc)
- Learning & Development opportunities
- Competitive PTO
At IOG, we value diversity and always treat all employees and job applicants based on merit, qualifications, competence, and talent. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.
