
Formal Verification Engineer at Nethermind
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
NethermindEth
Blockchain Developer
June 29, 2026 – Present
clap-lean
November 21, 2025 – Present
Implementation of the Clap language for ZK Circuits in the Lean proof-assistant
View Projectbpl-interpreter
March 26, 2020 – March 26, 2020
Interpreter for a simples programming language written in Lua.
View Projectlambdaex
March 26, 2020 – March 26, 2020
Specification, formalization and verification of the XC function from ex lambda calculus in Coq.
View Projectcafezinho
March 26, 2020 – March 26, 2020
Compiler for a simple language (cafezinho) written in Python using PLY library.
View ProjectCultural 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.