Pierre Beaucamp
Software Engineer at G-Research
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolPierre Beaucamp is a London-based software engineer with 11 years of experience building performant, correct systems in Go and TypeScript while exploring languages like Zig, Haskell, and APL. He has led engineering for Teleport Cloud, converting an enterprise product into a subscription SaaS and building internal tooling, and later helped design a content-cached CI/CD platform at RWX that leverages modern kernel and networking features. His open-source contributions span core language work on the proof-oriented FStar and operational/backend improvements for Teleport, reflecting a blend of language-level rigor and DevOps practicality. Comfortable across Kubernetes, AWS, and CI automation, Pierre also brings hands-on security and compliance experience from earlier roles and a pragmatic focus on operational excellence.
11 years of coding experience
10 years of employment as a software developer
Computer Science, Computer Science at Technical University of Munich
German, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (23)
back-end-development10
makefile10
cicd10
fstar10
go10
automated-build10
golang10
jenkins10
jenkins-ci10
kubernetes9
dockers9
ocaml9
docker9
kubernetes-pods9
aws9
Programming languages (26)
Github contributions (5)
gravitational/teleport
Apr 2019 - Aug 2022
The easiest, and most secure way to access and protect all of your infrastructure.
Role in this project:
DevOps Engineer & Backend Developer
DevOps Engineer & Backend DeveloperContributions:23 reviews, 25 commits, 27 PRs in 3 years 4 months
Contributions summary:Pierre contributed to various aspects of the Teleport project, including documentation updates related to the user interface and the website. They also updated and integrated external libraries. Their work included automating builds using make files and Jenkins. Furthermore, they addressed errors related to DynamoDB and autoscaling configuration, indicating backend expertise.
pamsshrdpjumpserversecure
FStarLang/FStar
May 2018 - Jul 2018
A Proof-oriented Programming Language
Role in this project:Back-end Developer & DevOps Engineer
Back-end Developer & DevOps EngineerContributions:10 commits, 1 comment in 2 months
Contributions summary:Pierre's commits primarily involve merging branches and modifying code related to the F* programming language and its build process. The contributions include changes in FStar_Errors.ml and FStar_Extraction_Kremlin.ml, suggesting involvement in core language features and extraction mechanisms. Furthermore, the user made modifications to build scripts and configuration files, indicating DevOps responsibilities.
homotopy-type-theorycoq-librarytype-theorysat-solvercompiler
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.