Projects on : https://codeberg.org/shubhamkumar13
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
PyAstLean
April 26, 2026 – Present
Generating Lean code from Python code via a Python Abstract Syntax Tree
View Projectocaml-starter-template
April 28, 2024 – April 28, 2024
ocaml starter template for reason ocaml meetup
View Projectlean4-json
April 20, 2024 – April 28, 2024
a json serializer/deserializer inspired from idris2-json
View ProjectCultural Fit Analysis
The candidate's projects show a strong inclination towards functional programming and formal verification, which could be a good fit for research-oriented or highly rigorous data science environments. However, the project diversity is heavily skewed towards programming language tooling and formal methods, with less direct evidence of traditional data science applications (e.g., machine learning model development, statistical analysis, data visualization beyond basic plotting). This might indicate a need for exposure to standard data science workflows and tools.
Soft Skills & Operational Fit
Insufficient data to assess soft skills or operational fit. No psychometric test results or interview feedback provided.