Team Lead Rust/Haskell Engineering Team

Your opportunity :

Join us in creating impact in the blockchain industry! Be part of the change you want to see.

We are seeking a talented and experienced Team Lead to oversee a team of Rust and Haskell developers working on Cardano blockchain infrastructure projects, particularly focusing on wallets and network node clients.

The ideal candidate will have a deep understanding of functional programming languages like Rust and Haskell, as well as experience with formal verification methods, in particular the application of AGDA in real world projects, and property-based testing.

As we value motivation and autonomy, the ideal candidate is able and willing to be responsible for projects (end-to-end).

This entails the definition and prioritization of tasks, to the design and implementation, as well as the testing, documentation and support for users.

Ultimately, we seek to create a flourishing ecosystem of technology solutions that apply not only to Cardano, but to a broader set of problems relevant to many distributed is reflected in the following activities :

Leadership : Provide strong technical leadership to the team, guiding them in designing and implementing high-quality, scalable, and secure solutions for Cardano blockchain infrastructure projects.

Help the team to navigate the organization it resides in and help it thrive in achieving its goals.

Technical Expertise : Stay abreast of the latest advancements in blockchain technology, functional programming languages, and formal verification methods.

Apply this knowledge to drive innovation and efficiency within the team.

Collaboration : Foster a collaborative and inclusive team culture, encouraging open communication, knowledge sharing, and continuous learning.

Work closely with other teams, including research, product management, and quality assurance, to align priorities and deliver integrated solutions.

Mentorship and Development : Mentor team members according to their level of maturity and needs, providing guidance, feedback, and support to help them grow both technically and professionally.

Identify training opportunities and promote a culture of continuous improvement within the team.

Community Outreach and Developer Relationships : Engage with other builders in the ecosystem, inspire and guide them to make valuable contributions to the Cardano developer ecosystem and gather input provided through the community to inform the planning of the development roadmap of your team.

Risk Management : Identify potential risks and vulnerabilities in software designs and implementations. Develop and implement strategies to mitigate these risks and communicate them transparently to internal and external stakeholders.

Your story :

Bachelor's or Master's degree in Computer Science, Math, or related field.

Proven experience leading software development teams, preferably in the blockchain industry or research space.

Solid understanding of the Cardano protocol and at least well familiar with one tech stack for writing Cardano based applications.

Solid understanding of the Cardano protocol and of at least one of the existing Cardano technology stacks.

Proficiency in typed programming languages, preferably Rust and Haskell, with a strong understanding of functional programming principles.

Familiarity with formal verification methods, particularly using AGDA.

Experience in the application of property-based testing techniques.

Autonomy and desire to work as an open source maintainer.

Excellent problem-solving skills, a pragmatic mindset but still attention to detail, with a track record of delivering high-quality, reliable software solutions.

Strong communication and interpersonal skills, with the ability to effectively collaborate with cross-functional teams and stakeholders.

Experience with agile development methodologies and project management tools.

Passion for blockchain technology and a commitment to driving innovation in the field.

What would amaze us :

Current / prior experience to maintaining (successful) open source projects.

Good understanding of permissionless blockchains, especially Proof-of-Stake consensus protocols.

Good understanding of distributed systems, architectures, data-structures and algorithms.

Deep understanding of applied cryptography at least to the degree that cryptographic hash functions, asymmetric key cryptography and elliptic curves are no foreign language to you.

Your impact :

Lead and Inspire : Empower a high-performing team of engineers dedicated to building and maintaining the Cardano blockchain's core infrastructure, responsible for processing millions of transactions daily.

Shape the Future of Cardano : Collaborate on the cutting-edge development of the new Rust-based full node, contributing your expertise to architecture, implementation, and formal methods to ensure a world-class blockchain product.

Drive Innovation and Adoption : Partner with internal teams, the Cardano community, and the broader ecosystem to define the roadmap for full node development, fostering an inclusive Open Source approach that unlocks new use cases and drives adoption.

About us

The Cardano Foundation is an independent, Swiss-based not-for-profit organization. The Foundation is tasked with advancing the public digital infrastructure Cardano and works to anchor it as a utility for financial and social systems, thus empowering the digital architects of the future.

The Foundation facilitates the worldwide advancement of Cardano in enterprise applications. It develops infrastructure tooling including where there may not be an immediate commercial use case plus strengthens operational resilience, and drives diversity of on-infrastructure use cases as well as the development of sound and representative governance.

Another significant part of the Cardano Foundation’s mission is to engage with and support the Cardano community. The Foundation assists the development of tools the community can use to leverage Cardano to solve problems in new ways.

The Cardano Foundation has incredible employees from over 24 nationalities, across 3 continents, working together to grow the Foundation.

Here at the Cardano Foundation we are transparent, inclusive, passionate and innovative. We aim to have a positive impact on global change and breed a harmonious working environment for our employees to flourish.

Benefits :

You will have the flexibility and freedom to work from home with flexible working hours. We work remote, but also have the chance to meet together for team off sites and different events and conferences.

We encourage a culture of collaboration in a remote work environment.

You will have access to an annual learning budget dedicated to professional and personal development. Moreover, we encourage and create a deep learning environment where you also learn from the passionate people from your team and during various trainings, workshops and AMA sessions

A day a year is dedicated to a departmental team activity fun day out.

You will have the opportunity to dedicate a volunteering day to help the greater community or to serve as an expert in your field of work within the blockchain community.

You are given an additional day off on your birthday and additional days off as per established work anniversary milestones.

Equal opportunities employer :

The Cardano Foundation strives to provide a diverse, inclusive and welcoming working environment. We are committed to being a discrimination free organization - including discrimination free space with regards to age, religion, race, nationality / ethnic origin, disability, sex, sexual orientation or gender identity.

Cardano Foundation does not accept any applications from recruitment agencies for this position. We refuse any responsibility for unsolicited applications as well as any associated fees.

Unsolicited applications will be treated as direct applications regardless of the channel through which we receive them.