Open to opportunities

Carlos Sousa

@carlossousa

Message

Embedded Software Engineer specializing in Python and critical systems.

Brazil

Message

What I'm looking for

I am seeking opportunities that allow me to leverage my R&D skills in dynamic teams, focusing on innovative projects in embedded systems and cybersecurity.

I am an embedded software engineer with extensive hands-on experience in developing innovative solutions for critical systems, particularly in the fields of aeronautics and defense. My expertise lies in Python tools, embedded systems, and software verification, where I have successfully delivered projects that comply with stringent standards such as DO-178C. My background in C, C++, and VHDL complements my ability to work in high-stakes environments, ensuring robust and reliable code delivery.

Throughout my career, I have collaborated with multidisciplinary teams to create tools that enhance software verification processes. Notably, I developed a Python-based tool for automated verification of VHDL software, which streamlined compliance checks and improved workflow efficiency. My academic pursuits, including a Master’s degree in Electrical Engineering, have further honed my research skills, particularly in cybersecurity and cyber threat intelligence automation.

I am passionate about leveraging my R&D and software skills in international settings, contributing to global teams that prioritize innovation and excellence in technology. I thrive in environments that challenge me to push the boundaries of technology while maintaining a focus on quality and compliance.

Experience

Work history, roles, and key accomplishments

Product Development Engineer

Embraer

Feb 2025 - Present (4 months)

Developed a Python-based tool for automated verification of VHDL software in compliance with DO-178C standards. Led requirements elicitation and specification for VHDL code verification tools, collaborating with multidisciplinary engineering teams.

Python Jira SVN

Graduate Researcher

Universidade de Brasília (UnB)

Dec 2024 - Present (6 months)

Conducting master's level research with a focus on Electrical Engineering, specifically in cybersecurity and CTI automation. Developed Python-based enrichment tools for CTI workflows.

Cybersecurity CTI Python Research Data Enrichment

Trainee

Embraer

Mar 2024 - Present (1 year 3 months)

Specialized in embedded software architecture, RTOS, and verification processes. Developed data coupling and control coupling analysis tool using C and Python for aeronautical embedded systems.

Embedded Software RTOS C#Python Data Analysis

First Sergeant

Federal District Military State Police

Jan 1999 - Present (26 years 5 months)

Currently serving in Internal Affairs Forensics. Previously implemented and maintained security solutions for critical infrastructure, including the configuration of the Nagios monitoring system.

Forensics Security Systems Nagios Problem Solving

Education

Degrees, certifications, and relevant coursework

Universidade de Brasília (UnB)

Master's degree, Electrical Engineering

Currently conducting master's level research in Electrical Engineering, with a primary focus on cybersecurity and Cyber Threat Intelligence (CTI) automation. Developed Python-based enrichment tools to streamline CTI workflows.

Universidade Federal de Pernambuco (UFPE)

Postgraduation, Embedded Software for the Aeronautical Industry

Completed a postgraduate specialization in Embedded Software for the Aeronautical Industry, a program in partnership with Embraer. Gained expertise in embedded software architecture, RTOS, and critical verification processes. Developed a data coupling and control coupling analysis tool using C and Python for aeronautical embedded systems.

Universidade de Brasília (UnB)

Bachelor of Science, Computer Engineering

Earned a Bachelor of Science in Computer Engineering, focusing on practical application and research. Built a PyMISP integration module for automated threat intelligence enrichment and developed various embedded systems projects.