Skills Matrix
‹ Back to Team Roster
FP

Fabricio Sanches Paranhos

Notion sync ✓ 4 days ago
Formal Verification Engineer·Synnax Lamport
Role
Formal Verification Engineer
Team
Synnax Lamport
Primary: Data & AI
Manager
Julian Sutherland
Tenure
4 years
Joined Aug 2022
Skills rated
16
Avg 1.4 · 6 stacks
Email
[email protected]
Timezone
America/Sao_Paulo
Data & AIPrimary
Stack avg 1.8 · 5 skills
SkillSelfManagerPeer avg
C3––
Python2––
C++2––
SQL1
–
–
Java1––
Backend & Protocol
Stack avg 1.5 · 2 skills
SkillSelfManagerPeer avg
Rust2––
p2p/consensus1––
Frontend & Mobile
Stack avg 1.5 · 2 skills
SkillSelfManagerPeer avg
C#2––
F#1––
Infra & DevOps
Stack avg 1.3 · 4 skills
SkillSelfManagerPeer avg
Compilers2––
Hardware1––
GPU1––
CUDA1––
Smart Contracts
Stack avg 1.0 · 1 skill
SkillSelfManagerPeer avg
Solidity1––
Cryptography & ZK
Stack avg 1.0 · 2 skills
SkillSelfManagerPeer avg
zk-starks1––
Circom1––

Coming soon

Manager-side ratings, peer averages, per-skill evidence, the quarterly check-in summary and project feedback (per PRD §detail) require additional Notion DBs that aren't yet wired in: Skill Ratings (manager column), Peer Reviews (peer averages), Project Feedback. Once those land the empty — chips above will fill in.