Help & Supportcareers@gravityer.com
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.