Master's student @ Universitat Politècnica de València. Interested in type theory and PL research. Currently working as Full Stack Engineer @ Numbero
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
SequenTT
September 26, 2024 – November 12, 2025
SequenTT is a small ML-like language with dependent types and universe herarchy.
View Projectevidence
March 15, 2023 – April 3, 2023
A CLI tool for easily tracking and visualizing the latest bugs reported.
View Projectra-updater.sh
November 25, 2021 – November 25, 2021
Automatically updates rust-analyzer whenever a new version is available (only stable versions).
View Projectvimers
April 15, 2021 – April 15, 2021
A Telegram bot that fetches tips and tweets from @vim_tricks. It is possible to visualize the data from terminal as well if preferred.
View ProjectCultural Fit Analysis
The candidate's projects are exclusively personal, indicating a strong drive for self-directed learning and exploration across various programming paradigms. However, the projects do not directly align with a typical 'Data Scientist' role, focusing more on language design, tooling, and low-level programming rather than statistical modeling, machine learning applications, or data engineering. The diversity of technologies (Scala, Rust, Haskell, JavaScript, Shell) suggests adaptability and a broad technical curiosity.
Soft Skills & Operational Fit
Insufficient data to assess soft skills or operational fit. The candidate's project descriptions are concise but do not provide insight into collaboration, problem-solving approaches, or communication style.