Dimas Filho
Software Engineer at Meta
United Kingdom
Summary
👤
Senior🎓
Top SchoolDimas Filho is a systems-focused software engineer with 11 years of experience building embedded and cloud-scale infrastructure, now contributing at Meta after leadership roles at Keelvar and AWS. He blends deep embedded C expertise—authoring POS firmware, thermal print engines and an embedded NoSQL journal—with cloud automation and network-critical BGP routing software developed in Python, Java and Ruby. His background in automated reasoning (Master’s) and hands-on work across full stacks enables pragmatic system design, from ARM7 emulators and NFC integrations to multi-region production deployments and CI-driven delivery. A mentor and technical lead, he has a track record of shipping reliable, highly available systems and tooling that bridge hardware constraints and large-scale distributed architectures. Notably, he has built both developer-facing tools (POS emulators, maintenance GUIs) and core infrastructure components, demonstrating an unusual mix of low-level engineering and cloud-native practice.
11 years of coding experience
15 years of employment as a software developer
Master’s Degree Automated Reasoning and Knowledge Representation, Master’s Degree Automated Reasoning and Knowledge Representation at Universidade Federal de PernambucoBachelor’s Degree Computer Science, Bachelor’s Degree Computer Science at Faculdade de Tecnologia e Ciências de PernambucoEstácio de Sá University
English, Portuguese, Spanish, German, Italian
Github Skills (12)
linux7
ide6
windows6
php6
macos6
python5
reasoner5
cpp5
cross-platform5
rust4
description-logics4
remote-control1
Programming languages (1)
Github contributions (5)
dmfilho/raccoon
Aug 2014 - Aug 2015
Contributions:17 commits, 63 pushes, 1 branch in 1 year
logicsmethodmodifieddescription-logicsconnection
dmfilho/pgen
Jan 2015 - Dec 2015
Contributions:20 pushes, 1 branch, 1 comment in 10 months
utfparsersc99utf-8parser-generator
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.