Skills Matrix
‹ Back to Team Roster
FS

Frantisek Silvasi

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 Mar 2022
Skills rated
16
Avg 1.9 · 5 stacks
Email
[email protected]
Timezone
Europe/Bratislava
Data & AIPrimary
Stack avg 2.3 · 6 skills
SkillSelfManagerPeer avg
C++3––
C3––
Scala3––
Python2
–
–
Data eng2––
SQL1––
Frontend & Mobile
Stack avg 2.0 · 2 skills
SkillSelfManagerPeer avg
C#2––
F#2––
Infra & DevOps
Stack avg 1.8 · 5 skills
SkillSelfManagerPeer avg
Compilers3––
Embedded2––
GPU2––
Hardware1––
CUDA1––
Backend & Protocol
Stack avg 1.5 · 2 skills
SkillSelfManagerPeer avg
Rust2––
DB design1––
Cryptography & ZK
Stack avg 1.0 · 1 skill
SkillSelfManagerPeer avg
zk-starks1––

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.