🛠 Tech Stack

💼 About This Role

You'll design and develop tools to ensure correctness of smart contracts using techniques like symbolic model checking and SAT/SMT solving. You'll work on all stages of tool development at a leading blockchain security company, collaborating with a team of programming language experts.

🎯 What You'll Do

• Extend automated program verification tools and implement new ones.
• Adapt algorithms for symbolic software model checking.
• Build translators from input languages into intermediate representations.
• Identify and formalize new security properties of smart contracts.

📋 Requirements

• Master's in CS or related field with 4 years of software development experience.
• 2 years experience with model checking, formal verification, or SAT/SMT solving.
• Knowledge of data structures, algorithms, mathematical logic, and automata theory.

✨ Nice to Have

• PhD in automated reasoning.
• Publication record in top conferences (POPL, CAV, TACAS).
• Experience in OCaml or Haskell.

🎁 Benefits & Perks

• 🏖️ Remote work flexibility
• 💻 Opportunities to learn and grow
• 🤝 Highly supportive and collaborative team
• 🚀 Work on cutting-edge blockchain security