IO Global is seeking a Software Engineer to join our team working on the Djed stablecoin protocol for Cardano. In this role, you will write high-quality Haskell code, translating formal specifications into robust implementations. You’ll collaborate closely with architects, product managers, and QA engineers in an agile, globally distributed environment.
What You'll Do
- Follow agile software development practices within a multi-timezone team.
- Work independently on development tasks, using systematic debugging and fostering observability.
- Act as a technical leader across team domains, proactively managing priorities.
- Review specifications from architects and formal methods specialists, contributing to algorithm design.
- Write clean, efficient Haskell code that meets acceptance criteria, committing often with small pull requests.
- Cover code with comprehensive unit, property, and integration tests and review teammates' pull requests.
- Fix bugs in both new and legacy code and be available for emergency fixes on deployed products.
- Integrate software components, verify and deploy systems, and troubleshoot existing software.
- Write clear code documentation and technical user manuals.
- Implement new features for the stablecoin protocol and design testing strategies.
- Synchronize with the technical manager to validate the roadmap and identify improvements.
- Translate specifications into concrete designs, considering architecture and security.
- Pair program with team members to collaborate and share knowledge.
- Liaise with operations and UI teams to ensure product quality.
- Work on prototypes to experiment with new features and estimate/prioritize work items.
What We're Looking For
- A minimum of 2-3 years of development experience in Haskell.
- Experience with Git workflows and Agile software development methods.
- Knowledge of functional and object-oriented programming paradigms.
- A strong understanding of the Haskell type system, libraries, and the GHC runtime & performance.
- Ability to collaborate effectively across different time zones and experience levels.
- Exceptional written communication skills, with the ability to implement formal specifications.
- Ability to understand project needs, objectives, and timescales to aid planning.
- Skill in articulating issues and suggesting changes to management.
- Proficiency in writing idiomatic, tested code that satisfies task criteria.
- Ability to document code and APIs concisely and break down tasks into manageable sub-tasks.
- A pragmatic approach to software engineering principles like modularity and incremental development.
- Knowledge of distributed and concurrent computation and the basics of cryptography.
Nice to Have
- A degree in Computer Science (desirable but not essential).
- Knowledge of blockchain and DeFi applications, specifically Cardano.
- Experience with finance applications.
- Experience using nix.
Technical Stack
- Haskell
- Git
- nix
Team & Environment
You will work closely with software architects, product managers, project managers, formal methods specialists, QA test engineers, operations, and UI teams. You will report to a Technical Manager.
Benefits & Compensation
- Remote work flexibility.
- Laptop reimbursement and a new starter package for hardware essentials.
- Learning & Development opportunities.
- Competitive Paid Time Off.
Work Mode
This is a global, remote position.
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.
