Fabrício S. Paranhos

Blockchain Developer

https://talent.gravityer.com/fabricio-s-paranhos

Formal Verification Engineer at Nethermind

NethermindEth

Key Strengths

Strong foundational knowledge in formal verification and programming language theory, evidenced by projects like 'nominal-ac', 'lambdaex', and 'clap-lean' using Coq, Lean, and OCaml.
Direct experience with Solidity and blockchain-related projects ('erc20-kevm', 'kevm-loop'), indicating a relevant technical base for a Blockchain Developer role.
Exposure to Rust, a critical language in many modern blockchain ecosystems, through the 'clap-lean' and 'Halva' projects.
Current employment as a 'Blockchain Developer' at NethermindEth, suggesting practical, real-world experience in the target domain.

Cultural & Operational Fit

Cultural Fit Analysis

The candidate's project portfolio demonstrates a strong academic and research-oriented background, particularly in formal methods and programming language design. This could indicate a good fit for roles requiring deep theoretical understanding and rigorous development practices. However, the projects are predominantly personal and academic, with limited insight into collaborative or production-oriented work. The current role at NethermindEth suggests alignment with the blockchain industry, but details are sparse.

Soft Skills & Operational Fit

Insufficient data to assess soft skills or operational fit. No psychometric or English test results are available, and project descriptions are minimal.

AI is analyzing your overall score…

Identifying your key strengths…

Evaluating your skill match against the job requirements…

Assessing your cultural and operational fit

Projects

clap-lean

November 21, 2025 – Present

Implementation of the Clap language for ZK Circuits in the Lean proof-assistant

View Project

LeanFF

October 16, 2025 – October 20, 2025

LeanFF — GitHub repository

View Project

nominal-ac

September 12, 2023 – September 12, 2023

nominal-ac — GitHub repository

View Project

kevm-loop

June 12, 2023 – June 12, 2023

kevm-loop — GitHub repository

View Project

erc20-kevm

June 1, 2023 – June 1, 2023

erc20-kevm — GitHub repository

View Project

Halva

April 7, 2023 – November 19, 2025

Halva — GitHub repository

View Project

nominal

March 3, 2021 – Present

nominal — GitHub repository

View Project

bpl-interpreter

March 26, 2020 – March 26, 2020

Interpreter for a simples programming language written in Lua.

View Project

lambdaex

March 26, 2020 – March 26, 2020

Specification, formalization and verification of the XC function from ex lambda calculus in Coq.

View Project

cafezinho

March 26, 2020 – March 26, 2020

Compiler for a simple language (cafezinho) written in Python using PLY library.

View Project

Key Strengths

Strong foundational knowledge in formal verification and programming language theory, evidenced by projects like 'nominal-ac', 'lambdaex', and 'clap-lean' using Coq, Lean, and OCaml.
Direct experience with Solidity and blockchain-related projects ('erc20-kevm', 'kevm-loop'), indicating a relevant technical base for a Blockchain Developer role.
Exposure to Rust, a critical language in many modern blockchain ecosystems, through the 'clap-lean' and 'Halva' projects.
Current employment as a 'Blockchain Developer' at NethermindEth, suggesting practical, real-world experience in the target domain.

Cultural & Operational Fit

Cultural Fit Analysis

Soft Skills & Operational Fit

Insufficient data to assess soft skills or operational fit. No psychometric or English test results are available, and project descriptions are minimal.

Fabrício S. Paranhos

Key Strengths

Cultural & Operational Fit

Top Skills

Skills

Experience

Projects

Key Strengths

Cultural & Operational Fit