Tesla Zhang‮

Data Scientist

https://www.opentalent.in/tesla-zhang

Type theory daisuki

plctlab

Key Strengths

Demonstrated proficiency in multiple programming languages including Kotlin, Java, Julia, Rust, and Haskell.
Experience with JVM-based development, including game engines and IntelliJ IDEA plugins.
Exposure to functional programming concepts (Agda, Haskell) and type theory (Mini-TT).
Current role as 'Data Scientist' indicates direct relevance to the target role, though experience level is 0.

Cultural & Operational Fit

Cultural Fit Analysis

The candidate's projects show a strong inclination towards personal, open-source contributions, often involving language development, IDE plugins, and game engines. While this demonstrates initiative and technical curiosity, the projects are largely focused on programming language theory and tooling rather than direct data science applications. The current 'Data Scientist' role is listed with an experience level of 0, making it difficult to assess practical cultural fit for a senior data science role without further details on responsibilities and contributions. The diversity of technologies is high, but the alignment with typical data science workflows (e.g., machine learning, statistical modeling, data engineering) is not explicitly evident from the project list.

Soft Skills & Operational Fit

Insufficient data to assess soft skills or operational fit. Psychometric test scores are 0, indicating no completed assessment.

AI is analyzing your overall score…

Identifying your key strengths…

Evaluating your skill match against the job requirements…

Assessing your cultural and operational fit

Projects

ntype-cafe-summer-school

June 1, 2023 – June 16, 2024

ntype cafe summer school resources

View Project

minitt-rs

February 23, 2019 – September 21, 2020

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

View Project

Books

October 8, 2018 – May 31, 2023

My slides and notes

View Project

jimgui

April 30, 2018 – November 21, 2023

:sparkling_heart: Pure Java binding for dear-imgui

View Project

intellij-zig

March 16, 2018 – May 11, 2023

The IntelliJ IDEA plugin for the Zig programming language ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛ ┏:smiley:┓

View Project

julia-intellij

January 23, 2018 – January 28, 2025

:computer: Julia Plugin for IntelliJ IDEA ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛

View Project

A8Translate

April 13, 2017 – December 2, 2023

一个无毒的Android Studio / IntelliJ IDEA 翻译插件

View Project

resume

March 26, 2017 – February 21, 2025

:space_invader: My resume / 我的简历

View Project

lice

February 17, 2017 – May 11, 2018

A multi-paradigm programming language running on JVM

View Project

FriceEngine

August 13, 2016 – December 28, 2019

:video_game: JVM game engine based on Swing/JavaFX.

View Project

Key Strengths

Demonstrated proficiency in multiple programming languages including Kotlin, Java, Julia, Rust, and Haskell.
Experience with JVM-based development, including game engines and IntelliJ IDEA plugins.
Exposure to functional programming concepts (Agda, Haskell) and type theory (Mini-TT).
Current role as 'Data Scientist' indicates direct relevance to the target role, though experience level is 0.

Cultural & Operational Fit

Cultural Fit Analysis

Soft Skills & Operational Fit

Insufficient data to assess soft skills or operational fit. Psychometric test scores are 0, indicating no completed assessment.

Tesla Zhang‮

Key Strengths

Cultural & Operational Fit

Top Skills

Skills

Experience

Projects

Key Strengths

Cultural & Operational Fit