Role overview
Blockswap is a middle layer for Web3 multichain composability.
We Blockswap Labs is a major contributor to the Blockswap Network, building a suite of products to support the Multichain composability for staked ETH. Our team is one of the most impactful and knowledgeable in Cross-chain Communication. We are a very diverse, globally distributed team.
The company was founded by leading cross-chain specialists and DeFi engineers. We are a small team crushing the scene with a passion for DAO, DeFi, and NFT and a relentless commitment to extending crypto benefits to mainstream everyday users.
Our anchor product is Stakehouse championing Multichain ETH, enabling anyone from anywhere to have a permissionless ETH stake yield on DeFi and a key proponent of the Rollup-centric future of Ethereum. We have a laser focus on last-mile user onboarding, and our ecosystem has been growing from strength to strength.
We are looking for a Software Engineer - Formal Methods / Verification to join our Engineering team. The candidate shall have previous verification experience, academic, industrial, or both—knowledge of formal semantics and formal verification.
You will be involved in Protocol design reviews by formalizing architecture and their reasoning; you are the interface between development engineers and the Formal Verification and Security team. You will produce formal specifications for Blockswap protocols, iteratively refining specifications, modeling, and proving them using formal frameworks and tools.
What we're looking for
Ideal profile
Background in programming language theory and automated reasoning and love to work with a web3 product development team applying results from theoretical computer science.
You love to solve challenging problems and have a proven track record of achieving results. You are collaborative, love to brainstorm with peers, and give and receive feedback. You are comfortable with the unknown and understand that #startuplife means you will wear multiple hats.
Blockswap is committed to diversity in its workforce and is proud to be an Equal Opportunity Employer. We embrace all qualified persons to apply and will receive consideration for employment without regard to race, religion, gender, gender identity or expression, sexual orientation, national origin, genetics, disability, age, or veteran status. If you have a disability or special need that requires accommodation, please feel free to let us know.
Tags & focus areas
Used for matching and alerts on DevFound Dev Ethereum Nft Defi Computer Science Crypto Smart Contract Blockchain Metaverse Engineer