Miguel De Carvalho
Software Engineer at TRACTIAN 𝗨𝗦
Brazil
Summary
👤
Senior🎓
Top SchoolMiguel De Carvalho is a software engineer with 8 years’ experience building low-latency, data-intensive backend systems in Rust and Go, currently focused on large-scale industrial IoT platforms. He designs and operates distributed microservices, real-time processing pipelines and streaming architectures (gRPC, Kafka, ScyllaDB) with strong emphasis on observability, fault tolerance and production reliability. Miguel has bridged performance-critical C++ signal and 3D geometry processing (CGAL) with cloud-native services, once cutting a Python bottleneck by rewriting a library in Rust to move latency from milliseconds to microseconds. He’s delivered end-to-end robotics and IoT products—from edge firmware and C++ signal processing to Go/Rust backends and interactive 3D visualizations—shipping a hazardous-environment-certified robotics product with 98.7% measurement accuracy. Based in Sweden and fluent in both systems and product thinking, he pairs hands-on optimization with pragmatic tooling (HTMX, Axum, Tokio) to accelerate iteration and reduce operational risk.
8 years of coding experience
4 years of employment as a software developer
Bachelor's Degree in Control and Automation Engineering, Mechatronics, Robotics, and Control and Automation Engineering, Embedded Systems and Computer Vision, Bachelor's Degree in Control and Automation Engineering, Mechatronics, Robotics, and Control and Automation Engineering, Embedded Systems and Computer Vision at Universidade Federal de Uberlândia - UFU
Stackoverflow
13reputation
425reached
0answers
3questions
Github Skills (26)
bluetooth7
i2c7
beaglebone-black7
maze6
logging6
observer-pattern6
gpio6
recursion6
tplink6
adc6
photon6
spi6
dac6
robotics6
intel6
Programming languages (4)
Github contributions (5)
MiguelRavagnani/Gaviota
Mar 2022 - Dec 2022
Simple 2D game engnie
Contributions:7 commits, 2 PRs, 3 pushes in 9 months
2d-gamegame2d
MiguelRavagnani/facerecog
Nov 2018 - Dec 2020
Contributions:35 pushes, 1 branch in 2 years
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.