Charlie Lidbury

Imperial Computing graduate with a keen interest in type systems, formal verification, and programming language design.

Undergraduate in Computing with a keen interest in type systems, formal verification, and programming language design.

kalshi.com

cub3.com

symbolica.ai

twosigma.com

London, England, United Kingdom

Contact info

charlielidbury

Experience

Software Engineer

Symbolica AI

• www.linkedin.com/company/symbolica-ai

• Full-time

Mar 2025 - Present

London, United Kingdom

Software Engineer

Kalshi

• www.linkedin.com/company/kalshi

• Full-time

Sep 2024 - Dec 2024

New York, United States

Software Engineer

Citadel

• www.linkedin.com/company/citadel-llc

• Internship

Apr 2023 - Sep 2023

Full Stack Developer

Two Sigma

• www.linkedin.com/company/two-sigma-investments

• Internship

Jun 2022 - Sep 2022

London, England, United Kingdom

Full Stack Developer

CUB3, Inc.

• www.linkedin.com/company/cub3engagement

• Contract

May 2022 - Jun 2022

London, England, United Kingdom

Junior Developer

Digital Parent Company

• www.linkedin.com/company/updigitalguildford

• Contract

Jan 2020 - Sep 2021

Charlie Lidbury

Imperial Computing graduate with a keen interest in type systems, formal verification, and programming language design.

Undergraduate in Computing with a keen interest in type systems, formal verification, and programming language design.

kalshi.com

cub3.com

symbolica.ai

twosigma.com

London, England, United Kingdom

1 connection