Software Engineer | Embedded Systems & AI Safety | Cyber-Physical Systems
Nashville, TN | phamminhquang289@gmail.com
I'm a Software Engineer with 3+ years of experience developing and integrating safety-critical, software-intensive systems for automotive applications. My expertise spans from low-level embedded firmware to cloud-based AI deployment, with a proven track record of transitioning research innovations into robust, validated systems.
Currently pursuing my M.Eng. in Cyber-Physical Systems at Vanderbilt University, I combine deep technical skills in C/C++ and Rust with emerging expertise in AI safety, formal verification, and DevOps infrastructure. My work focuses on ensuring reliability and deterministic performance in resource-constrained, high-stakes environments.
M.Eng. in Cyber-Physical Systems | 2025
M.Eng. in Energy Systems | 2023
B.Eng. in Electrical and Electronics Engineering | 2022
Institute for Software Integrated Systems, Vanderbilt University
May 2025 – Present
Researching Mixture-of-Experts architectures and formal neural network verification for fault-tolerant AI in safety-critical embedded systems. Developing Rust-based test frameworks and bridging AI/ML capabilities with cyber-physical systems safety requirements.
Vanderbilt University IT Department
February 2025 – August 2025
Part-time technical support role managing classroom AV systems, troubleshooting audio-visual equipment, and providing technology assistance for academic events.
Bosch Global Software Technologies Vietnam
April 2023 – December 2024
Full-cycle embedded software development and integration for safety-critical automotive systems. Led CI/CD pipeline development using Jenkins, achieving 50% reduction in system integration time. Designed and executed HIL/SIL integration tests for RH850-based automotive ECUs, and developed power steering systems for Subaru and Honda OEMs. Administered Bitbucket repositories and JIRA for 5+ automotive projects.
November 14, 2024
Recognized for setting up infrastructure for the "Subaru Main Path" to enable development of projects based on the BEV platform.
October 10, 2023
Recognized for exemplary contribution to on-site software reprogramming at the Honda plant in Thailand, minimizing production downtime.
November 2024 – HCM, Vietnam
Recognized for conducting Department Internal Training on "Basic Software Training" and supporting as Training Coordinator.
Authors: Pham, M.Q., Dang, M.D., and others
Research focused on developing a mini SCADA system to monitor and control voltage in rooftop photovoltaic systems. Addresses the paradoxical overvoltage problem that emerges as PV installations increase, providing solutions for stable real-time control in cyber-physical systems.
Authors: Pham, M.Q., and Van Nguyen, N.
Published in "AETA 2022—Recent Advances in Electrical Engineering and Related Sciences" (Lecture Notes in Electrical Engineering, vol 1081, Springer). Studies Active Neutral Point Clamped (ANPC) converters for low- and medium-voltage applications, implementing Carrier-based Sine PWM control schemes for voltage balancing with Si IGBT and SiC MOSFET switches.
Institute for Software Integrated Systems, Vanderbilt University
Research on Mixture-of-Experts architectures for fault-tolerant AI in safety-critical systems. Implementing formal neural network verification with alpha-beta-CROWN to guarantee robustness. Achieved 100% verification success on test samples with formal robustness certificates for classification.
Closed-loop control system with automated CI/CD and monitoring
Adaptive Cruise Control (ACC) system built with MATLAB/Simulink and ROS. Automated testing via GitHub Actions, real-time monitoring with Grafana dashboards, and timestamped PDF reports for vehicle simulations.
Infrastructure-as-Code monitoring stack with Terraform and Kubernetes
Production-grade monitoring platform for microservices using Terraform for IaC, Kubernetes with Helm charts, Prometheus for metrics, and Grafana for dashboards. Includes automated alerting and Slack/Teams integration.
Memory-safe surveillance system for edge devices
Security-focused camera system in Rust emphasizing memory safety and performance for edge computing. Demonstrates low-level system design with secure coding practices.
LLM-powered code documentation automation
AI tool using locally hosted Llama 3 for automated code documentation and commenting. Demonstrates practical LLM deployment for real-world software engineering.
Distributed FreeRTOS system with real-time scheduling
Distributed embedded system combining Tiva TM4C1294 microcontroller with Raspberry Pi 4 running FreeRTOS. Features mutex synchronization, semaphores, and intelligent PWM brightness control with USB serial communication.