
Hi, I am Jacob Salzberg, a Computer Science second year PhD Student at NYU.
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
raven
March 24, 2021 – Present
An automated deductive program verifier based on concurrent separation logic
View Projectpseudocode-mode
March 12, 2019 – April 16, 2019
A major and minor mode for pseudocode syntax highlighting
View Projectetoile-emacs
January 30, 2019 – July 19, 2022
A modular emacs config based on the straight package manager
View Projectproject-hydra
April 28, 2018 – May 16, 2018
Generate from a template hydra for disparate modes
View ProjectLowLevelConnectFour
January 2, 2018 – January 7, 2018
Connect Four in a low level language (forth) along with some other forth scripts
View Projectrdxmk
May 22, 2017 – June 30, 2017
A small set of tools for redox development in Gnu Emacs.
View ProjectCultural Fit Analysis
The candidate's projects are predominantly personal and highly specialized (e.g., Emacs configurations, Forth programming, formal verification). While demonstrating deep technical curiosity, there is limited evidence of experience in collaborative, product-oriented backend engineering environments, which might impact cultural fit for a typical Backend Engineer role.
Soft Skills & Operational Fit
Insufficient data to assess soft skills or operational fit. The candidate's profile primarily showcases technical project work without details on collaboration, communication, or problem-solving approaches in a team setting.