Help & Supportcareers@gravityer.com
I am a computer scientist at the University of Cagliari, Italy
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
University of Cagliari
Blockchain Developer
June 26, 2026 – Present
ocaml-challenge
September 28, 2023 – October 23, 2025
ocaml-challenge — GitHub repository
View Projectlean4-amm
April 29, 2023 – February 7, 2024
Formalizing Automated Market Makers in Lean 4
View Projectcontracts-verification-benchmark
February 17, 2023 – October 5, 2025
An open benchmark for evaluating smart contracts verification tools.
View Projectalgoml
April 30, 2021 – June 14, 2022
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
View ProjectCultural Fit Analysis
The candidate's extensive personal projects, particularly in niche areas like formal verification of AMMs and DSLs for smart contracts, suggest a strong passion for the domain and a self-driven learning approach. This aligns well with a research-oriented or innovative blockchain development environment. However, the lack of team-based projects or professional experience beyond a current role with no specified duration makes it difficult to fully assess cultural fit in a collaborative team setting.
Soft Skills & Operational Fit
Insufficient data to assess soft skills and operational fit. The provided data only includes technical project details and no information on collaboration, problem-solving approaches, or communication styles.