arodrica43
Data ScientistMember since June 25, 2026
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
tt-checker
June 13, 2026 – Present
Extensible dependent type checker in Haskell (MLTT kernel + six theory extensions)
View Projectcard-game
October 17, 2025 – October 17, 2025
A card game Angular app for learning tech ecosystems
View Projectchatmarket-mvp
June 27, 2025 – July 10, 2025
Chat Market - harnesses the power of agentic AI to make buying and selling a breeze
View ProjectCodeMonkeys
November 25, 2023 – November 26, 2023
CodeMonkeys project for Dracco Hackaton at Manresa
View ProjectSDG
December 22, 2021 – August 11, 2022
An implementation of Synthetic Differential Geometry using Cubical Agda.
View ProjectCultural Fit Analysis
The candidate's project portfolio shows a strong inclination towards personal projects, including academic/theoretical computer science (Agda, Haskell type checkers) and web development (Angular, Svelte). While there's some exposure to Python and AI, the overall project diversity does not strongly align with a dedicated Data Scientist role without further evidence of practical data science application. The lack of professional experience or education details makes it difficult to assess cultural fit beyond a general interest in technology.
Soft Skills & Operational Fit
Insufficient data to assess soft skills or operational fit. The candidate's project descriptions are brief, and there are no psychometric test results or interview notes.