Manuel Barbosa
Customer Service Engineer Trainee at Siemens Healthineers
Porto, Portugal
Summary
👤
Senior🎓
Top SchoolManuel Barbosa is a Systems Engineering graduate and early-career cloud and service engineer with 11 years of professional experience, currently training as a Customer Service Engineer at Siemens Healthineers in Porto. He built an AI-augmented MVP that automated business proposal slides using Streamlit, Python, Amazon Bedrock and Terraform during a cloud engineering internship, demonstrating practical full-stack and IaC skills. As IT Department Coordinator at his university, he combined technical delivery with team leadership, and his extracurricular role coaching children's gymnastics highlights patience and people management. Manuel balances a technical drive with an active outdoor lifestyle—mountain biking and hiking—that feeds his problem-solving stamina and resilience.
11 years of coding experience
Bachelor's degree, Systems Engineering, Bachelor's degree, Systems Engineering at Instituto Superior de Engenharia do Porto
English, Portuguese
Github Skills (23)
tlaplus10
ssreflect10
proofs10
fhe10
ieee10
coq10
security9
verification9
cryptography9
formal-verification9
encryption9
compiler9
theorem-proving8
high-speed8
opam8
Programming languages (7)
Github contributions (5)
formosa-crypto/formosa-mlkem
Feb 2020 - Jan 2023
Contributions:1 review, 494 commits, 4 PRs in 2 years 11 months
pq-code-package/mlkem-libjade
Mar 2024 - Dec 2025
ML-KEM implementation in libjade with high assurance
Contributions:1 PR, 14 pushes in 1 year 9 months
machine-learning
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.