Formal Verification Engineer
Common Prefix · Blockchain
unknownRemote
Salary Range (USD)
$80k - $171k
Location
Athens, Greece
Visa Support
Not Supported
Funding Stage
Unknown
Job Responsibilities
- • machine-checked proofs of blockchain protocols and smart contracts
Required Skills
formal methodsmachine-checked proofs
Engineering Culture & Tech Stack
Rust
work on machine-checked proofs
AI Risk Insights
No major risk signals detected.
Recent News
No recent updates
Data Source
Content parsed by LLM from Hacker News raw data. Confidence:HIGH