Benno Lossin

Backend Engineer

https://talent.gravityer.com/benno-lossin

Member since June 26, 2026

Key Strengths

Extensive personal project experience in Rust, indicating deep interest and proficiency in systems programming.
Demonstrated ability to work on complex, low-level libraries (e.g., `pin-init`, `field-projection`, `Coln`), which aligns with backend engineering challenges.
Exposure to functional programming (Haskell) and type theory (proof assistant `Coln`) suggests a strong theoretical foundation and problem-solving approach.

Cultural & Operational Fit

Cultural Fit Analysis

The candidate's project portfolio is heavily focused on personal, research-oriented Rust projects. This indicates a strong drive for independent learning and deep technical exploration. However, the lack of team-based projects or diverse technology stacks might suggest a preference for individual contributions over collaborative, broader system development. Alignment with a typical backend engineering team's collaborative and diverse technology environment would need further assessment.

Soft Skills & Operational Fit

Insufficient data to assess soft skills or operational fit. No psychometric test results or interview feedback provided.

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

Coln

May 27, 2026 – Present

A data-oriented proof assistant

View Project

staging-workflow-playground

March 20, 2026 – Present

staging-workflow-playground — GitHub repository

View Project

in-place-init-proposals

October 24, 2025 – November 23, 2025

Collection of in-place initialization proposals

View Project

lkml

May 13, 2025 – Present

Program to download and assort emails from mailing lists supported by `lei`

View Project

unsafe-fields

October 4, 2022 – October 4, 2022

unsafe-fields — GitHub repository

View Project

field-projection

October 1, 2022 – September 20, 2025

Field projection experiment

View Project

blog

September 17, 2022 – Present

blog — GitHub repository

View Project

simple-safe-init

June 2, 2022 – September 30, 2022

simple-safe-init — GitHub repository

View Project

tree-borrows

May 4, 2022 – May 6, 2022

tree-borrows — GitHub repository

View Project

pin-init

April 16, 2022 – Present

Library facilitating safe pinned initialization

View Project

Key Strengths

Extensive personal project experience in Rust, indicating deep interest and proficiency in systems programming.
Demonstrated ability to work on complex, low-level libraries (e.g., `pin-init`, `field-projection`, `Coln`), which aligns with backend engineering challenges.
Exposure to functional programming (Haskell) and type theory (proof assistant `Coln`) suggests a strong theoretical foundation and problem-solving approach.

Cultural & Operational Fit

Cultural Fit Analysis

Soft Skills & Operational Fit

Insufficient data to assess soft skills or operational fit. No psychometric test results or interview feedback provided.

Benno Lossin

Key Strengths

Cultural & Operational Fit

Top Skills

Skills

Projects

Key Strengths

Cultural & Operational Fit