Software Engineer – Formal Methods Full Time (Remote)

The Open Source team is looking for a software engineer with expertise in formal methods and critical software design to help us continue the development of the multi-era permissionless ledger and consensus algorithm at the heart of Cardano.

We are seeking for a capable and rigorous functional programming enthusiast looking for solving challenging problems never solved before.

We value motivation and autonomy. A candidate must be able and willing to be responsible for a project end-to-end: from the definition and prioritisation of tasks, to the design and implementation, as well as the testing, documentation and support for downstream users.

What You’ll Be Doing

• Coordinate with other maintainers, users and stakeholders through open and efficient processes (e.g. CIP) to identify improvements or new functionalities that directly impact the Cardano ledger and/or consensus stack.
• Write (semi-)formal specifications and turn them into high quality executable, verifiable and verified code.
• Improve the stability, the quality and the accessibility of the existing Cardano ledger and/or consensus libraries.
• Assist contributors and help foster an open source community around permissionless ledgers and proof-of-stake-based consensus algorithms.
• Create new open source libraries and/or contribute to existing open source projects as necessary.
• Review state of the art solutions (scientific publications or other libraries / frameworks) to steer evolutions of the project.
• Inform about the techniques and innovations you’re bringing to the Cardano ledger and/or consensus stack through workshops, blog posts, scientific papers or any medium that would be deemed relevant.

What We Look For In You

• A PhD or master degree in computer science. A focus on formal methods is a plus;
• Familiarity (or preferably, experience) with proof assistants and formal methods;
• Autonomy and desire to work as an open source maintainer;
• Ability to deliver high-quality code and ensure it through various testing techniques (e.g. property-based testing);
• Solid communication and sharing skills;
• Expertise with functional programming languages, preferably Haskell, and of dependent type systems;
• Good understanding of permissionless blockchains, especially Proof-of-Stake consensus protocols, is a plus.

Applications From Recruitment Agencies

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 application regardless of the channel through which we receive them. Please get in touch with our Talent Acquisition Team at careers@cardanofoundation.org to discuss recruitment services and do not contact Cardano Foundation employees directly.

About Us

Cardano Foundation is striving towards a blockchain-enabled better future, based on inclusiveness and transparency. Our ambition is to build a blockchain-complete era’s global financial and social operating system. We can only achieve our goal with the best talents! We are attracting high-performing individuals who think outside the box and will take us to new heights. If you are up for unlocking opportunities and create value with relevant experience, we would love to hear from you.

Benefits

• Open minded, collaborative and diverse culture with truly human values
• Equal opportunities at anytime in respectful, fair and conscious surroundings
• Learning and development opportunities to strive for your individual goals
• Referral bonus for your efforts bringing the right people into our environment
• Flexible and remote working to ensure a good work life balance where wellbeing matters

Please note, all positions at the Cardano Foundation require relevant experience. Applications without required experience will not be considered.