Dimas Filho

Software Engineer at Meta

United Kingdom
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Dimas Filho is a software engineer with over 11 years of experience spanning system design, embedded development, Linux, and automated reasoning. He has led and delivered scalable software across startups and hyperscale environments, most recently at Meta, after previous leadership roles at Keelvar and AWS. His career also includes entrepreneurship as a Business Owner at Bitroot Software and hands-on embedded work for RedePOS, reflecting a versatile end-to-end skill set. He holds a Master’s degree in Automated Reasoning and Knowledge Representation from UFPE and degrees in Computer Science and Information Systems from Brazilian universities. Based in the United Kingdom, he combines deep technical depth with leadership to architect reliable, scalable systems and mentor teams through complex challenges.
code11 years of coding experience
job15 years of employment as a software developer
bookMaster’s Degree, Automated Reasoning and Knowledge Representation, Master’s Degree, Automated Reasoning and Knowledge Representation at Universidade Federal de Pernambuco
bookBachelor’s Degree, Computer Science, Bachelor’s Degree, Computer Science at Faculdade de Tecnologia e Ciências de Pernambuco
bookEstácio de Sá University
languagesEnglish, Portuguese, Spanish, German, Italian
github-logo-circle

Github Skills (13)

linux7
ide6
windows6
node-js6
macos6
php6
python5
reasoner5
cpp5
cross-platform5
rust4
description-logics4
remote-control1

Programming languages (1)

C++

Github contributions (5)

github-logo-circle
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.
Request Free Trial