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 (35)
tlaplus10
ssreflect10
cryptanalysis10
proofs10
verification10
fhe10
ieee10
coq10
high-speed10
security9
cryptography9
formal-verification9
encryption9
theorem-proving9
compiler9
Programming languages (7)
Github contributions (5)
formosa-crypto/formosa-mlkem
Feb 2020 - Jan 2023
Contributions:494 commits, 159 pushes, 4 branches in 2 years 11 months
mbbarbosa/orthoginalityfe
May 2019 - May 2019
Contributions:11 commits, 6 pushes in 2 days
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.