Ios Developer jobs in United Kingdom

Social network you want to login/join with:

col-narrow-left

IO Global

United Kingdom

Other

-

Yes

col-narrow-right

6dabd9d46890

8

12.08.2025

26.09.2025

col-wide

Who are we?

IOG is a technology company focused on blockchain research and development. We are renowned for our scientific approach, emphasizing peer-reviewed research and formal methods to ensure security, scalability, and sustainability.

Our projects include the Cardano blockchain, as well as other products in decentralized finance (DeFi), governance, and identity management, aiming to advance blockchain and Web3 technology globally.

What the role involves:

As a Software Engineer at IOG, you will be responsible for writing high-quality code for our products, working with cutting-edge research and technology. You will join the team behind Cardano's development, focusing on enhancing its ledger, security, scalability, and architecture.

• Develop high-quality code implementing protocol rules and transaction validation
• Collaborate across teams in Europe and America
• Work proactively and independently with minimal supervision
• Coordinate with other teams on integration issues
• Review specifications from formal methods specialists
• Submit small, frequent pull requests
• Write comprehensive tests for your code
• Review team members' pull requests
• Fix bugs in your and legacy code
• Be available for emergency fixes on deployed products
• Integrate software components and third-party libraries
• Write clear documentation with examples
• Communicate professionally and effectively

Requirements

Who you are:

• Degree in Computer Science is desirable but not essential
• Minimum 5 years of professional or equivalent development experience in Haskell
• Strong experience in declarative programming
• Experience with Git and Github
• Experience with nix is a plus
• Proficiency with advanced functional programming techniques (Type families, Higher Kinded Data, etc.)
• Good understanding of evaluation strategies and related concepts
• Experience with serialization techniques in Haskell
• Knowledge of pure functional data structures and relevant libraries
• Familiarity with common Haskell libraries (crypton, random, transformers, etc.)
• Skilled in writing property-based tests (QuickCheck/Hedgehog)
• Experience with testing frameworks like HSpec or Tasty
• Ability to analyze performance using profiling and benchmarks
• Experience with low-level programming in Haskell is a plus
• Ability to write idiomatic Haskell code and comprehensive tests
• Ability to document code clearly
• Ability to break down tasks into manageable subtasks
• Adherence to sound software engineering principles

We provide hardware essentials (headphones, monitor, etc.) and competitive PTO. At IOG, we value diversity and do not discriminate based on race, religion, gender, age, or other statuses.