Software Engineer (Haskell) - Networking - IOE: Cardano

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 the Cardano blockchain, as well as other products in the areas of decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain and Web3 technology globally.

What the role involves:

As a Software Engineer at IOE 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

Requirements

Who you are:

• Degree in Computer Science is desirable but not essential  
• A minimum of 2-4 years development experience (professional or otherwise) using Haskell
• Experience working with Git and Git workflow
• Practical experience with Agile software development methods
• Knowledge of functional and object-oriented programming paradigms
• Write idiomatic code that satisfies the acceptance criteria of a given task
• Write tests (unit tests, property tests) that provide sufficient and non-superfluous efficient code coverage.
• Document code and APIs concisely and unambiguously
• Break down tasks into sub-tasks that are completable in a short amount of time and report completion as required by managers
• Pragmatically adhere to software engineering principles (modularity, incremental development, no premature optimization, no feature creep, no speculative generality, ...)

Network expertise

• Experience developing critical systems
• Experience in monitoring of network performance of distributed systems
• Extensive knowledge of TCP/IP protocol
• Practice of carrying analysis & monitoring of network applications
• Experience in using data analytical skills to convey performance characteristics to stakeholders
• Practical experience with issues related to latency and throughput

Haskell expertise

• Experience profiling Haskell systems
• Good understanding of Quickcheck/Hedgehog and property testing.
• Good understanding of concurrent programming / concurrency.
• Good understanding of call-by-need, memoization and lazy evaluation.
• Familiar with frameworks/libraries such as: 
• network, stm, async, pipes/conduit, aeson, optparse-applicative 
• Proficiency with advanced FP techniques such as: 
• Advanced functional data structures, Dependent types, Extensible effects, Generic programming, Streaming, Type-level programming
  

Are you an IOGer?

Do you find yourself questioning the status quo? Do you tinker with ideas and long to turn those ideas into solutions? Are you able to spark thoughtful debates, bringing out the inquisitiveness in others? Does the promise of continuously growing excite you? Then get ready to reimagine everything you thought wasn’t possible because that’s what it means to be an IOGer - we don’t set limits, we break them. 

Benefits

• 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.