Thales Silva
Desenvolvedor De Software Integrado at Volkswagen Group Digital Solutions [Portugal]
Fundão, Castelo Branco, Portugal
Summary
👤
Senior🎓
Top SchoolThales Silva is an embedded developer with nine years of hands-on experience building hardware and firmware across medical, automotive and consumer device domains. He has deep C/C++ expertise from low-level microcontroller work (AVR, MSP430, ARM7) to Embedded Linux and Android kernel and driver development for Samsung devices. At Capgemini he contributed MISRA-compliant AUTOSAR components and integration test automation for a Renault powertrain project, while earlier roles focused on PCB design, functional test JIGs and production process validation at Philips. He combines firmware, board layout and test automation skills—an uncommon full-stack edge in embedded productization. Bilingual Brazilian/Portuguese citizen based in Portugal, he brings both academic depth (Master’s in Biomedical Engineering) and practical factory-to-field experience. Outside work he keeps curiosity alive—his GitHub bio simply reads “café,” hinting at a hands-on, pragmatic developer mindset.
10 years of coding experience
13 years of employment as a software developer
Master's degree, Biomedical/Medical Engineering, Master's degree, Biomedical/Medical Engineering at Universidade Federal do AmazonasEspecialização em Desenvolvimento de Novos Produtos, NPI, Especialização em Desenvolvimento de Novos Produtos, NPI at Universidade do Estado do Amazonas
English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (18)
c-language9
kotlin9
incremental-learning9
checker9
sat-solver9
cpp9
smt8
python8
formal-verification8
model-checking8
verification8
beagleboard7
device-tree5
spotify4
lexical-analysis2
Programming languages (4)
Github contributions (5)
janislley/LSVerifier
Oct 2020 - Jul 2021
LSVerifier - Large Systems Verifier
Contributions:86 commits, 99 pushes, 6 branches in 9 months
bounded-model-checkingc-languageformal-verificationmodel-checkingopen-source-software
thalestas/pacudroid
Mar 2021 - Nov 2023
Contributions:5 releases, 9 pushes, 7 branches in 2 years 9 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.