Alexandre聽Amory

Embedded Software Engineer at EnSilica

Rio Grande do Sul, Brazil
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
Alexandre Amory is an embedded software engineer with 11 years of experience specializing in high-performance, safety-critical systems across automotive, robotics, and aerospace domains. He bridges digital hardware design and software, bringing expertise from FPGA and SoC bring-up to Linux OS and middleware integration, and is transitioning his research-rich background into private-sector development roles. His work spans model-driven optimization for heterogeneous platforms (CPU/GPU/FPGA), DVFS-aware real-time tuning, and dependable network-on-chip verification, backed by a PhD and a history of leading verification teams and university research labs. Currently at EnSilica after senior roles at ETAS and contributions to EU H2020 projects, he combines hands-on C/C++/Python engineering with system-level optimization thinking. Notably, he pairs deep academic publication and project-reporting experience with practical toolchain fluency (YOCTO, Vivado, CMake), making him effective at turning research prototypes into production-ready embedded solutions.
code11 years of coding experience
job12 years of employment as a software developer
bookPhD, Computer Science, PhD, Computer Science at Universidade Federal do Rio Grande do Sul
bookMaster, Computer Science, Master, Computer Science at Pontif铆cia Universidade Cat贸lica do Rio Grande do Sul
languagesEnglish, Portuguese, Italian
stackoverflow-logo

Stackoverflow

Stats
1reputation
0reached
0answers
0questions
github-logo-circle

Github Skills (127)

bluepill10
zynqmp10
simulation10
openfoam10
robotics-simulation10
hec-ras10
robotics9
raspberry-pi-camera9
yang9
text-to-speech9
graph-algorithms9
subclassing9
graph-visualization9
ros9
uvm9

Programming languages (16)

C++CSSRustCCMakeMakefileGoMiniZinc

Github contributions (5)

github-logo-circle
Hardware Formal Verification
Contributions:16 commits, 13 pushes, 2 branches in 1 year
formal-verificationhardwarefault-simulationmodel-checkingequivalence-checker
Donnie's software (Arduino Firmware, Player Drivers, Stage simulation models, RPi software)
Contributions:523 commits, 121 pushes, 12 branches in 3 years 3 months
arduinodriverfirmwaresimulationrobotics
Find and Hire Top DevelopersWe鈥檝e 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