Pauline Bolignano

Engineering Manager

London, England, United Kingdom9 yrs 1 mo experience

AI ML PractitionerAI Enabled

Key Highlights

Over 10 years of experience in Automated Reasoning.
Expert in Generative AI and Formal Methods.
Proven leadership in engineering management roles.

Stackforce AI infers this person is a SaaS expert with a focus on Automated Reasoning and Generative AI.

Contact

Skills

Core Skills

Automated ReasoningGenerative AiSecurityFormal MethodsCryptography

Other Skills

AlgorithmsAmazon Web Services (AWS)Artificial Intelligence (AI)Business StrategyCloud ComputingCommunicationComputer ScienceCreative IdeationCreativity and InnovationCybersecurityEngineeringEngineering LeadershipEngineering ManagementHiringInterpersonal Skills

About

I am an Automated Reasoning specialist and Generative AI practitioner. I have 10+ years experience in Automated Reasoning (Formal Verification, Static Analysis), working both as an Applied Scientist and a Manager.

Experience

Snyk

Senior Engineering Manager

Jun 2025 – Present · 9 mos · London Area, United Kingdom · On-site

Manager of the Rule Intelligence team, part of Snyk Code.

Prime video & amazon studios

2 roles

Science and Engineering Manager

Promoted

Jul 2021 – Dec 2024 · 3 yrs 5 mos

Automated Reasoning / Generative AI / Engineering

Formal MethodsSystem ArchitectureBusiness StrategyEngineeringTeam DevelopmentProject Management+16

Applied Scientist

Sep 2019 – Aug 2021 · 1 yr 11 mos

Prime Video Automated Reasoning. Worked on an Automated-Reasoning-based Coding Copilot to assist developers in finding potential vulnerabilities in their code. See https://www.amazon.science/blog/how-automated-reasoning-improves-the-prime-video-experience

Formal MethodsStrategic ThinkingSystem ArchitectureTheorem ProvingAmazon Web Services (AWS)Interpersonal Skills+23

Amazon web services

2 roles

Applied Scientist

Jun 2017 – Sep 2019 · 2 yrs 3 mos · London, Royaume-Uni

Automated Reasoning Group

Formal MethodsSecurityVirtualizationStrategic ThinkingSystem ArchitectureTheorem Proving+22

Intern in Hypervisor Security

Aug 2016 – Oct 2016 · 2 mos · Région de Dresden, Allemagne

Formal MethodsSecurityVirtualizationCryptographyTheorem ProvingSoftware Development+8

Inria and prove & run (cifre)

PhD Student

Oct 2013 – May 2017 · 3 yrs 7 mos · Région de Paris, France

Formal methods for minimizing the trusted computing base in micro-kernel based operating systems
Supervisors : Thomas Jensen and Vincent Siles
January 2015 - March 2015: Internship at TU Berlin, in the team of Professor Seifert.
August 2016 - October 2016: Internship at Amazon Web Service, Dresden, Germany.

Formal MethodsSecurityVirtualizationTheorem ProvingInterpersonal SkillsSoftware Development+11

Prove & run

2 roles

Research Engineer

Mar 2013 – Jun 2013 · 3 mos

Further research on my internship subject.

Formal MethodsSecurityVirtualizationCryptographyTheorem ProvingSoftware Development+7

Intern Research Engineer

Sep 2012 – Feb 2013 · 5 mos

Modeling cryptographic protocols and proving properties on them.
Skills:
Knowledge on online payment protocols.
Cryptographic protocol modeling.
Cryptographic protocol verification.

Formal MethodsSecurityVirtualizationCryptographyTheorem ProvingSoftware Development+6

Gemalto

Intern software engineer

May 2011 – Sep 2011 · 4 mos · Meudon, France

Elaborating a solution for exchanging signed and encrypted mails on Iphone (IOS 4.2 platforms), using keys on a smart-card.
Skills:
Objective-C
Cryptographic protocols
Smart-Cards (APDU exchanges)

SecurityCryptographySoftware DevelopmentAlgorithmsPython (Programming Language)