Create flexible and precise queries that fit your needs exactly. Example:
React.js, -USA
×
Laravel, Vue.js, -Contract
×
will get you jobs that are
(React.js
and not in USA
) or
(Laravel
and Vue.js
and not Contract/Freelance
).
You can mix and match any tags, negations and groups in any order. And don't worry about typos – the search is fuzzy.
Who are we?
IOHK, 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 decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain technology globally.
We invest in the unknown, applying our curiosity and desire for positive change to everything we do. By fueling creativity, innovation, and progress within our teams, our products and services are designed for people to be fearless, to be changemakers.
What the role involves:
The primary purpose of this role is to develop high-quality software solutions that meet customer needs. You will be responsible for writing high-quality code for our products. You will work with cutting-edge research and technology. 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.
The Plutus Core team is building the core of Cardano’s smart contract functionality on the bedrock of functional programming languages. This interdisciplinary team carries out original R&D and turns the results into production systems. This team has designed and implemented four languages for Cardano smart contracts (Plinth, Plutus IR, Typed Plutus Core, and Untyped Plutus Core) and improved the compiler and runtime with more built-in functions and optimizations, expanding the expressiveness, capability and security of smart contracts on Cardano. The team has formalized the semantics of Typed and Untyped Plutus Core using Agda, developed novel compilation techniques for data types, and Implemented a compiler for compiling Plinth into Untyped Plutus Core, which uses Plutus IR and Typed Plutus Core as intermediate representations. They also implemented evaluators for Typed and Untyped Plutus Core, in Haskell and Agda. They also contributed to Cardano ledger updates for smart contracts, and published peer-reviewed research. .
Coding and Development:
Testing and Debugging:
Code Reviews and CI/CD:
Software Architecture and Security:
Documentation and Research:
Release Management and Agile Practices:
Blockchain and Distributed Systems Knowledge:
Collaboration and Independence:
Plutus Core
Who you are:
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.
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.
Apply Now:
We are seeking a world-class Senior Software Engineer to enhance our zero-knowledge proof system and stay at the forefront of cryptographic innovation. This role involves the development of advanced cryptographic protocols tailored for zero-knowledge proof applications and the enhancement of our core proof system, zkVM.
We are looking for candidates who are deeply invested in the field of zk cryptography and who exhibit a strong sense of curiosity and dedication to the craft. If you have a track record of developing cryptographic solutions and are excited about pioneering new protocols in the ZKP space, we would love to hear from you.
Develop and refine cryptographic protocols for various use cases of ZKPs.
Continuously improve the zkVM, our core proof system, ensuring its robustness and efficiency.
Provide support for ZKP-enabled cryptographic protocols, including analysis for partners and the creation of demonstrations.
Collaborate with team members to support platform development from a cryptographic perspective.
Conduct meticulous code reviews for contributions that involve sensitive cryptographic elements.
Proven applied cryptography experience, such as having written cryptographic code that is currently utilized in production environments.
Deep understanding of the Rust programming language.
Familiarity with Zero-Knowledge Proof (ZKP) systems and a passion for keeping up to date with advancements in this field.
A strong mathematical foundation, capable of engaging with new research topics in mathematics related to cryptography.
Exceptional interpersonal skills to collaborate effectively with team members and external partners.
An acute attention to detail, ensuring precision in code development and protocol design.
Salary: Competitive range of $237-288K USD
Professional Development: Access to leadership coaching and numerous learning opportunities.
Work Flexibility: Remote work with up to 20% travel for team meetings and events, plus a Seattle co-working space.
Health Insurance: Comprehensive coverage with Regence Blue Cross Blue Shield (US employee), including significant premium contributions. Gold-level insurance for international employees via Deel.
Retirement Plan: 401k to support your future or statutory plans in your given country.
Equity: Generous company equity via Profit Incentive Units (PIUs), vesting monthly.
Vacation: Unlimited PTO, with 3-5 weeks standard.
Holidays: 11 paid holidays for rest and rejuvenation.
Culture: A supportive, collaborative, and inclusive work environment.
We're on a mission to transform the internet for the better. Our team of innovative hackers, visionary futurists, and passionate nerds is devoted to creating a digital space that's safe, inclusive, and empowers everyone. By developing the world's first zero-knowledge virtual machine, we've laid the groundwork for running arbitrary code as a zero-knowledge proof. Utilizing a ZK Coprocessor to assist or enhance the compute of an on-chain application, we have created a unique package - the RISC Zero ZK Coprocessor, comprised of the zkVM, Bonsai, and ETH Relay. Now, we're ambitiously constructing an entire ecosystem around this groundbreaking technology.
Before You Apply:
E-Verify: All U.S.-based employees must complete an E-Verify check.
Accessibility: Need accommodations? Contact us at email.
Work Authorization: Must have the legal right to work in the country you are located in. No visa sponsorships.
Privacy: By applying, you consent to the processing of your data per our privacy policy.
Compliance: We adhere to local labor laws. Employment terms are based on location. Non US employees will be hired through our Employer of Record Deel.
Background Check: Final candidates before hired will undergo a background check.
Equal Opportunity: We welcome all qualified applicants, period.
Language Requirement: This position requires proficiency in English.
Apply Now:
As a Blockchain Operations Engineer, you will be responsible for the upkeep and maintenance of the Axelar Network. You will take ownership of the network and its functions and ensure smooth operations. You will work with BD and Product teams to prioritize various initiatives around the network and contribute to tooling for the network.
Interop Labs builds interoperability technology.
Interoperability between blockchains is crucial technology infrastructure for the growth of Web3 and the advancement of internet technology as a whole. Interop Labs is the initial developer of Axelar Network - the programmable Web3 interoperability platform, scaling the next generation of internet applications to billions of users. Axelar network’s key attributes are programmability, security and scalability.
Logos is a movement supporting the development of the decentralised web. Logos technologies lay the foundations for a freer internet upon which communities can evolve into network states. Each protocol in the Logos stack seeks to empower its users while upholding civil liberties and fundamental freedoms.
A family of generalised P2P communications protocols. The messaging layer of the Logos stack. Waku is private, censorship resistant, modular, and scalable by design. This combination of features makes Waku suitable to run in a wide range of environments, including phones and browsers, while upholding its users’ rights to private communications.
A blockchain-based super app that combines private messaging, a wallet, a DApp browser, and tools for web3 community management. Status aims to be a truly decentralised communication tool and, since its founding in 2017, has been progressively removing reliance on centralised infrastructure. The application leverages Waku and other technologies developed under the IFT umbrella.
[Don’t worry if you don’t meet all of these criteria, we’d still love to hear from you anyway if you think you’d be a great fit for this role. Just explain to us why in your cover letter].
The steps may change along the way if we see it makes sense to adapt the interview stages, so please consider the above as a guideline.
The expected compensation range for this role is $120,000 - $150,000 (negotiable, dependent on how we assess your skills and experience throughout our interview process). We are happy to pay in any mix of fiat/crypto.
We are building BOB, a hybrid L2 that combines the best of Bitcoin and Ethereum. We seek an experienced Senior Cryptography Engineer to support the design, implementation, and launch of a novel BitVM bridge with Bitcoin security.
You enjoy proactively identifying and resolving engineering problems by applying your knowledge on cryptographic techniques. You will lead the implementation and improvements around the cryptographic building blocks (SNARKs, Winternitz signatures, …) of the BitVM bridge. Working closely with the core team, you’ll contribute to research problems and be a trusted point of contact for improving BOB.
Twine is building a next-generation multi-chain ZK Layer 2 (L2) platform focused on advanced cross-chain interoperability. Our team comprises globally distributed cryptographers, engineers, and blockchain enthusiasts driven by the mission to unlock trust-minimized transactions across different Layer 1 (L1) networks. We’ve secured backing from top VCs and prominent figures in the Web3 space, including Founders of Solana, Celestia, LayerZero, Sei, Nebra, Espresso, Gitcoin and prominent VCs (1kx, Robot Ventures) ensuring a strong foundation and network for our ambitious roadmap.
Our goal is to enable secure, scalable, and synchronous cross-chain transactions by leveraging ZK proof systems, sophisticated proof aggregation techniques, and distributed protocols. Twine aggregates security from multiple L1s without relying on traditional bridging or wrapped assets—offering developers a unified platform for building decentralized applications that interact across multiple blockchains seamlessly. We integrate cutting-edge proving systems like GKR along with top performing general purpose ZK VMs (SP1 ZKVM from Succinct, Risc0) and other modern cryptographic frameworks to scale and secure multi-chain interactions.
⠀ If this resonates with you and you’re excited about shaping the future of ZK-powered, trust-minimized cross-chain solutions, we want to hear from you.
We are a team of builders and researchers on a mission to empower enterprises and developers worldwide to access and build on decentralized systems.
Our expertise covers several domains: Ethereum and Starknet protocol engineering, layer-2, AI, cryptography research, protocol research, decentralized finance (DeFi), security auditing, formal verification, real-time monitoring, smart contract development, and dapps and enterprise engineering.
Working to solve some of the most challenging problems in the blockchain space, we frequently collaborate with renowned companies, such as Ethereum Foundation, Starknet Foundation, Gnosis Chain, Flashbots, Forta Protocol, Lido, EigenLayer, Open Zeppelin, RISCZero, Aleph Zero, and many more.
Today, we are a 350+ strong team working remotely across 66+ countries.
We’re seeking an experienced Smart Contract Security Auditor to join our team in safeguarding Web3 protocols and applications. As a key member of our security team, you’ll conduct comprehensive audits of smart contracts while contributing to our blockchain infrastructure development.
Keep up to date on what we are working on by following us on our social channels:
We are a team of builders and researchers on a mission to empower enterprises and developers worldwide to access and build on decentralized systems.
Our expertise covers several domains: Ethereum and Starknet protocol engineering, layer-2, AI, cryptography research, protocol research, decentralized finance (DeFi), security auditing, formal verification, real-time monitoring, smart contract development, and dapps and enterprise engineering.
Working to solve some of the most challenging problems in the blockchain space, we frequently collaborate with renowned companies, such as Ethereum Foundation, Starknet Foundation, Gnosis Chain, Flashbots, Forta Protocol, Lido, EigenLayer, Open Zeppelin, RISCZero, Aleph Zero, and many more.
Today, we are a 350+ strong team working remotely across 66+ countries.
Links: Nethermind - Crypto, AI and Robotics
Projects:
Keep up to date on what we are working on by following us on our social channels:
Apply Now:
Clearmatics is a blockchain protocol engineering company that builds decentralised financial market infrastructures that are more open, efficient, and resilient than those serving legacy market structures of today.
We have a bold vision for this new market infrastructure - enabling market participants to solve currently unaddressed problems of the real economy, including “missing markets” problems. We aim to achieve our vision through technologies that allow peer-to-peer trading and settlement within new markets, and with digital assets whose values track real-world risk factors that currently have no suitable expression in legacy markets.
No matter the nature of a risk factor, whether macro-economic or climactic, our mission is to make important risk factors tradable; by anyone, anywhere, without reliance on financial intermediaries. We are building this new infrastructure in collaboration with incredible trading and blockchain communities.
Clearmatics was founded in 2015, and we have ever since been committed advocates of Open Source development, and active participants in the blockchain and cryptography research communities. We’ve also been an active participant and supporter of decentralized infrastructure initiatives.
We’re looking to hire a Smart Contract Engineer to expand our Layer 1 Engineering team.
Our stack is Ethereum-like, so familiarity with – and passion for – the space is key.
Some of the areas we tackle include blockchain infrastructure optimised for financial use-cases, protocols for specific applications (such as smart contract-based derivatives, synthetic assets, cryptocurrency stabilization, …), scalability and privacy through cryptography (zkSNARKs, multiparty computation, private transactions/assets).
Currently the Clearmatics team is heavily involved as the Launch Partner for the Autonity Project. Autonity is an EVM based public blockchain for decentralised derivatives clearing. You can learn more about the Autonity project and its ongoing testnet games through the links below.
You will develop and maintain decentralised financial smart contracts on Autonity that will enable the creation of decentralised risk markets in real-world risk factors.
This will involve working on a wide range of problems including smart derivatives, DEX trading & settlement protocols, algorithmic stabilisation, data oracles, liquid staking, and more.
Working alongside quantitative researchers and protocol engineers, you will transform research models and prototypes into production-grade Solidity code. You will also collaborate with Autonity core developers on enhancing L1 protocol contracts and integrating new functionality into the Autonity Go Client.
Our compensation is blockchain competitive and dependent on your skills & experience.