Andrea Gilot

Backend Engineer

https://talent.gravityer.com/andrea-gilot

Ph.D. student at Uppsala University. I focus on verification of numerical code. More information on my personal webpage.

Upsala, Sweden

Key Strengths

Strong background in functional programming languages like Scala and Haskell, demonstrated through multiple personal projects.
Experience with formal methods, proof assistants, and solvers (inox, lisa, chicken-pi, satapps), indicating a deep understanding of logic and rigorous system design.
Exposure to various programming paradigms and languages including Rust, C++, Go, Python, and JavaScript, showcasing versatility.
Projects involving NP-hard problems and verification tools suggest an aptitude for complex algorithmic challenges relevant to backend engineering.

Cultural & Operational Fit

Cultural Fit Analysis

The candidate's projects are heavily focused on academic, research-oriented, and highly specialized areas (proof assistants, solvers, formal verification). While demonstrating strong technical depth, this might indicate a preference for theoretical work over typical product-driven backend engineering. The lack of team-based projects or contributions to larger open-source initiatives makes it difficult to assess collaboration and cultural alignment with a standard engineering team.

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

scyros-tutorial

March 12, 2026 – Present

A tutorial to get started with Scyros: https://github.com/fxpl/scyros

View Project

stainless-user-tests

March 10, 2026 – Present

User tasks for improving the usability of the verification tool Stainless.

View Project

Nuke-Template-Manager

February 1, 2026 – Present

A template manager for nuke.

View Project

scyros

January 7, 2026 – Present

A framework to design sound, reproducible and scalable mining repository studies on GitHub.

View Project

stainless-float-benchmarks

October 16, 2025 – October 29, 2025

Floating-point benchmarks for Stainless

View Project

chicken-pi

November 23, 2024 – January 18, 2025

A toy proof assistant based on pi-forall and Coq

View Project

lisa

December 15, 2021 – Present

Proof assistant based on first-order logic and set theory

View Project

stainless-stlc

November 25, 2021 – March 27, 2025

System F in Stainless

View Project

satapps

October 5, 2021 – February 16, 2024

Scala library for solving NP-hard probems

View Project

inox

July 8, 2016 – Present

Solver for higher-order functional programs, used by Stainless

View Project

Key Strengths

Strong background in functional programming languages like Scala and Haskell, demonstrated through multiple personal projects.
Experience with formal methods, proof assistants, and solvers (inox, lisa, chicken-pi, satapps), indicating a deep understanding of logic and rigorous system design.
Exposure to various programming paradigms and languages including Rust, C++, Go, Python, and JavaScript, showcasing versatility.
Projects involving NP-hard problems and verification tools suggest an aptitude for complex algorithmic challenges relevant to backend engineering.

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.

Andrea Gilot

Key Strengths

Cultural & Operational Fit

Top Skills

Skills

Projects

Key Strengths

Cultural & Operational Fit