Asymptotic
-
· 29 views · 1 application · 2d
Blockchain Verification Engineer (Rust/Move, AI-Assisted)
Hybrid Remote · Ukraine (Lviv) · 2 years of experience · B2 - Upper Intermediate### About the Role We’re looking for a motivated engineer who’s excited to work at the intersection of blockchain development, formal verification, and AI automation. You’ll help design and verify the correctness of Rust and Move smart contracts, while...### About the Role
We’re looking for a motivated engineer who’s excited to work at the intersection of blockchain development, formal verification, and AI automation. You’ll help design and verify the correctness of Rust and Move smart contracts, while contributing to our internal AI tools that assist with writing and checking formal specifications.
We offer a deep onboarding process covering the Move language, the Sui blockchain, and formal verification methods — no prior formal methods experience required, just curiosity and willingness to learn.
---
### Responsibilities
* Write and maintain formal verification specifications for Rust and Move smart contracts.
* Collaborate with developers and auditors to ensure blockchain code safety and correctness.
* Participate in the improvement of AI automation tools for code verification.
* Continuously learn and apply formal verification techniques to real-world blockchain projects.
---
### Required Experience & Skills
* 2+ years of experience in software development, smart contract auditing, or QA/testing (Rust or Move preferred).
* Proficiency in automated testing (unit and integration testing frameworks).
* Strong analytical thinking and a desire to ensure code correctness.
* Motivation to learn new technologies, especially formal methods and blockchain security.
---
### Nice to Have
* Experience auditing or reviewing smart contracts.
* Exposure to formal verification tools (e.g., Sui Prover, Kani, Prusti, or similar).
* Background in AI-assisted development or interest in LLM-based code analysis tools.
---
### Why Join Us
* Work on cutting-edge blockchain verification problems.
* Use AI-assisted workflows to accelerate formal methods adoption.
* Join a fast-growing product company with a dynamic team and significant growth opportunities.
* Remote-friendly culture with flexible hours, and optional cozy office space if you prefer hybrid work.
---
If you’re a Rust or Move engineer who loves precision, safety, and learning new technologies — we’d love to hear from you!
More