Thales Silva
Embedded Developer at Randstad Digital 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.
9 years of coding experience
11 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
Github Skills (22)
kotlin10
checker10
verification9
incremental-learning9
sat-solver9
cpp9
smt8
python8
model-checking8
c-language8
formal-verification7
device-tree6
overlays5
spotify3
scrolling2
Programming languages (4)
Github contributions (5)
thalestas/pacudroid
Mar 2021 - Nov 2023
Contributions:5 releases, 9 pushes, 7 branches in 2 years 9 months
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
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.