ai analyst backend bitcoin blockchain community manager crypto cryptography cto customer support dao data science defi design developer relations devops discord economy designer entry level erc erc 20 evm front end full stack gaming ganache golang hardhat intern java javascript layer 2 marketing mobile moderator nft node non tech open source openzeppelin pay in crypto product manager project manager react refi research ruby rust sales smart contract solana solidity truffle web3 py web3js zero knowledge
| Job Position | Company | Posted | Location | Salary | Tags |
|---|---|---|---|---|---|
Blockswap | London, United Kingdom | $63k - $90k | |||
Aptos | Palo Alto, CA, United States | $22k - $31k | |||
Glocomms | United States | $125k - $200k | |||
Chainstack | Remote | $62k - $82k | |||
| Learn job-ready web3 skills on your schedule with 1-on-1 support & get a job, or your money back. | | by Metana Bootcamp Info | |||
Cointinuum | BRX | United States |
| |||
0x Labs | San Francisco, CA, United States | $63k - $85k | |||
0x Labs | San Francisco, CA, United States | $63k - $85k | |||
Crypto.com | Seoul, South Korea | $54k - $100k | |||
Mastercard | United States |
| |||
Bebop | London, United Kingdom | $54k - $70k | |||
Binance | Canada |
| |||
Chaos Labs | Tel Aviv, Israel |
| |||
Chainlink Labs | Remote |
| |||
TBD Advertising | San Francisco, CA, United States | $202k - $247k | |||
Wintermute | London, United Kingdom |
|
Blockswap
$63k - $90k estimated
This job is closed
Formal Methods / Verification - Engineer
London /
Engineering – Engineering /
Remote
/ Remote
Apply for this job
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.Â
Requirements:
- Experience in formal methods or tools, e.g., proof assistants, interactive/automated theorem provers, model checking, deductive verification, etc.
- Experience with unit testing, documentation, design, and code reviews with strong mathematical and logical thinking skills.
- Good written communication skills and ability to write and understand the mathematical notation
- Knowledge of mathematical proof methods (induction, contradiction, exhaustion, probabilistic proofs)
- Â Basic secure software pattern and smart contract vulnerability knowledge (Reentries, invariants, etc.)
- Industrial experience in formally verifying real-world systems.
- Strong reasoning skills and Excellent English communication skills.
Responsibilities
- You will design formal methods that define the correctness of smart contracts logic that helps to review and identify security issues and bugs in our protocols.Â
- Write (semi-)formal specifications and turn them into high-quality executable, verifiable, and verified code.
- Extend the scope and depth of our protocol specifications using formal proofs and verification tools such as Certora Prover.Â
- Identify security properties of smart protocol contracts and formalize properties and invariants for use in our automated verification tools.
- Â Closely collaborate with our software engineers to solve development/pre-deployment problems and address them.
- You will have the opportunity to work on all stages of next-generation DeFi, ZK, and Metaverse protocol development, from the initial design reviews to production implementation.Â
- Our team is highly supportive and collaborative, with great opportunities to learn and grow.
Required Qualifications
- Master’s Degree in Computer Science or a related field.
- Minimum of 2 years of experience with model checking, formal verification, SAT/SMT solving, abstract interpretation, or closely related disciplines.Â
- Â Demonstrated knowledge of fundamental computers science concepts such as data structures, algorithms, mathematical logic, and automata theory.
- Â Ability to deliver high-quality code and ensure it through various testing techniques (e.g., property-based testing);
Nice to have:
- Experience with formal verification tools (K, Certora, etc.)
- Knowledge of basic financial primitives (Stocks, Bonds, Interest rates, etc.)
- Previous experience in DeFi protocol verification
- Experience in – networking, distributed systems, programming language design, and blockchain applications – would be a bonus.
- Demonstrated ability to work on complex problems in a self-driven way.
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.
Apply for this job
How do I get a job at DeFi?
Getting a job in the DeFi (decentralized finance) industry can be a competitive process, but there are a few steps you can take to increase your chances of finding a job in this field:
- Build up your skills and knowledge: To work in DeFi, you'll likely need to have a strong understanding of blockchain technology, as well as other related technologies such as smart contracts and cryptocurrency. Consider taking online courses or earning a degree in a relevant field to build up your skills and knowledge.
- Network with industry professionals: Attend meetups and conferences related to DeFi and make connections with professionals in the industry. Networking can be a valuable way to learn about job openings and get your foot in the door at a DeFi company.
- Create a strong online presence: Many DeFi companies will look at your online presence (such as your LinkedIn profile and personal website) when considering you for a job. Make sure to showcase your skills and accomplishments online and keep your profile up to date.
- Apply for relevant job openings: Keep an eye out for job openings at DeFi companies and apply for positions that align with your skills and experience. Apply for DeFi Jobs without Experience. Tailor your resume and cover letter to the specific job you're applying for and highlight any relevant experience or skills you have.
- Consider internships or volunteer work: DeFi Internships or volunteer work can be a great way to get your foot in the door and gain valuable experience in the DeFi industry. Many companies also offer internships to students, so consider applying for an internship if you're still in school.
- Be persistent: keep trying if you don't get a job right away. It can take time to find the right opportunity, but with the right skills and determination, you can land a job in the DeFi industry.