Sebastián Zimmermann
Research Engineer (R&D) at CEA
Paris, Ile-de-France, Argentina
Summary
👤
Senior🎓
Top SchoolSebastián Zimmermann is a research engineer and seasoned software developer with nine years of experience bridging cybersecurity research, SRE, and academic teaching. Currently at CEA, he develops tools to detect vulnerabilities in cryptographic libraries, building on prior formal-methods research and hands-on security work. He has sustained production-grade Kubernetes and AWS platforms at scale (managing multi‑TiB databases and Terraform-driven infra) while shaping CI/CD, observability, and SOC2 practices. As a former chief of practical courses and teaching assistant, he brings deep pedagogy in systems, languages, and concurrency—often translating theory (lambda calculus, parsing, Erlang) into practical tooling and curricula. Colleagues know him for tackling creative, interdisciplinary problems and for automating repetitive support workflows to improve team output. Based between Paris and Argentina, he blends research rigor with pragmatic SRE discipline to harden real-world systems.
9 years of coding experience
4 years of employment as a software developer
Licenciatura en Ciencias de la Computación Ciencias de la computación, Licenciatura en Ciencias de la Computación Ciencias de la computación at Universidad Nacional de Rosario
Spanish, English
Github Skills (10)
las5
autoscaling4
kubernetes4
preprocessor4
k8s4
pcf3
javascript2
python2
compiler1
data-science1
Programming languages (5)
Github contributions (5)
ZimmSebas/HaskDice
Jun 2020 - Jul 2020
Contributions:76 commits, 72 pushes, 4 branches in 1 month
ZimmSebas/Metodos
Oct 2018 - Dec 2019
Contributions:36 commits, 33 pushes, 1 branch in 1 year 2 months
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.