Help & Supportcareers@gravityer.com
I'm a associated Professor at the Computer Science Departement at the University of Buenos Aires.
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
Universidad de Buenos Aires
Data Scientist
June 25, 2026 – Present
ERC-Verisol-Demo
November 23, 2019 – December 3, 2019
Simple demo showing to use Verisol and Veriman for checking an ERC20 implementation
View ProjectVeriMan
June 2, 2019 – November 7, 2023
Analysis tool for Solidity smart contracts. Prototype.
View Projectverisol
January 4, 2019 – December 8, 2022
A formal verifier and analysis tool for Solidity Smart Contracts
View Projectjconsume
July 12, 2017 – September 1, 2022
A static memory analysis for Java programs I am working on as a Research Assistant at LaFHIS.
View Projectrudder
August 9, 2016 – September 23, 2022
Static analysis of MSIL based on the analysis-net infrastructure
View ProjectCall-Graph-Builder-DotNet
April 21, 2015 – September 5, 2017
create call graphs for .NET projects using the Roslyn infrastructure for parsing .NET bytecode
View ProjectCultural Fit Analysis
The candidate's projects are heavily concentrated on static analysis, formal verification, and smart contract security, which aligns with a research-oriented or specialized security role. However, the target role is 'Data Scientist', which is a significant mismatch with the demonstrated project experience. While Python is used, the application areas are not typical for data science (e.g., machine learning, statistical modeling, data engineering). The single listed experience as 'Data Scientist' is current but starts in the future (2026), indicating a potential data entry error or lack of actual experience in the role.
Soft Skills & Operational Fit
Insufficient data to assess soft skills or operational fit. The candidate's projects indicate a strong technical focus on research and development.