Make a real difference in the blockchain industry! Build the change you want to see.
We are looking for a senior software engineer to reinforce the High Assurance Lab Team (HAL).
The HAL Team has historically been responsible for the development and maintenance of the cardano-wallet backend, a software component used in the Daedalus wallet and also deployed by professional users like dApps or exchanges, written in Haskell as most of the core components of Cardano. Since 2024, it is expanding its scope to become a multi-competency team, working on key opens-source tools and components of the ecosystem, in other languages like Agda for formal specifications and Rust for core system components
As a member of the HAL Team, and within the strategic direction set by the Cardano Foundation leadership, you will have the opportunity to shape the development of the Cardano ecosystem by:
Creating and maintaining open-source tools critical to the operation of organisations depending on Cardano
Engaging with the vibrant Cardano "Builders” community
Fostering and disseminating an open and truly agile software engineering culture
Designing, implementing and maintaining open-source software in a variety of language (Haskell, Rust, Agda) like the cardano-wallet, cardano-addresses, or Pallas
Striving to improve the usability, accessibility, documentation, and more broadly the developer experience of each tool the team is working on
Actively engage with the community to gather feedback, identify pain points to alleviate, look for new contribution opportunities, either on social media, or through participation in local or global events like the Buidler Fest or Cardano Summit
Working with the team to continuously improve our development practices, whether it be testing, build, deployment, continuous integration, planning
Apply principles of Extreme Programming (XP), such as Whole Team and Collective Code Ownership or Pair/mob programming, to foster collaboration and shared responsibility within the team.
Supporting and growing collective ownership of the code written and maintained by the team through coding and design standards, reviews and pair/ensemble programming, knowledge sharing
Working with other departments to support the strategy and mission of the Cardano Foundation
8+ years experience in software engineering working with distributed teams and organisations in an international context
Extensive knowledge and experience with modern software development practices and environment, including but not limited to version control, release management across OSs, build systems, continuous integration, automated testing
Excellent communication and interpersonal skills, demonstrated through concrete experience in such settings (work language is English)
Experience building and nurturing software developers communities beyond the limits of the core team, particularly for open-source software
Excellent programming, design, and architecture skills across languages and systems, with a focus on distributed systems, infrastructure, SaaS
Mastery of at least one general purpose software programming language
Open-Source Development: You will design, build, and maintain critical open-source tools that empower individuals and organizations to utilize Cardano's technology.
Community Engagement: You will actively engage with the Cardano developer community, fostering collaboration, addressing their needs, and promoting a vibrant and inclusive environment.
Technical Excellence: You will champion best practices in software engineering, driving continuous improvement in the team's development processes and ensuring the delivery of high-quality, reliable solutions.
Team growth: You will proactively support other team members and help the team grow as an identified actor within the ecosystem.
Knowledge and experience with decentralised computing systems, networking, internet internals,
Prior familiarity with blockchain and Cardano,
Knowledge and experience in Haskell or Rust
Higher degree in computer science or engineering (bachelor, master or equivalent)
