Paul Bartell
Embedded Software Engineer at Amazon Web Services (AWS)
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolPaul Bartell is an Embedded Software Engineer in Seattle with 12 years of experience building and hardening low-level systems for robotics, avionics, and IoT. He currently contributes to the FreeRTOS team at AWS, where his open-source work improving kernel test infrastructure, sanitizers, and coverage tooling has measurably increased reliability across widely used RTOS distributions. Past roles span robotics at Applied Dexterity and Energid, avionics development at Garmin, and secure networking at Tempered Networks, giving him a rare blend of firmware, kernel, and hardware bring-up expertise. Paul is comfortable across C/C++, Python, kernel modules and debian packaging, and routinely implements platform-specific workarounds for ARM architectures. He combines pragmatic engineering with a tester’s eye for robustness—often addressing subtle memory and portability issues before they reach production.
12 years of coding experience
9 years of employment as a software developer
Bachelor of Science (BS), Electrical Engineering, Bachelor of Science (BS), Electrical Engineering at University of WashingtonAssociate of Science (A.S.) (Running Start), Science - Engineering, Associate of Science (A.S.) (Running Start), Science - Engineering at Shoreline Community CollegeShorewood Highschool
Greek, French, English
Github Skills (30)
unit-testing10
c-language10
testing10
freertos10
memory-management10
test-framework10
c1110
c1710
iot10
rtos10
sys10
rt10
code-coverage10
embedded10
portability10
Programming languages (5)
Github contributions (5)
FreeRTOS/FreeRTOS
Feb 2021 - Dec 2022
'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.
Role in this project:
QA Engineer / Test Automation Engineer
QA Engineer / Test Automation EngineerContributions:299 reviews, 135 commits, 79 PRs in 1 year 10 months
Contributions summary:Paul significantly contributed to enhancing the testing infrastructure of the FreeRTOS kernel. Their work involved adding and enabling memory extensions for unit tests, integrating fake assertions, and enabling address sanitization to detect memory-related issues. Furthermore, the user implemented coverage filtering mechanisms, including scripts and configurations, and updated the core_checker.py script for better test coverage analysis. These changes ultimately improved the robustness and reliability of the FreeRTOS kernel through comprehensive testing.
kernelsourceforgeopcualinuxsubmodules
FreeRTOS/FreeRTOS-Kernel
Apr 2021 - Nov 2022
FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
Role in this project:Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:174 reviews, 20 commits, 61 PRs in 1 year 8 months
Contributions summary:Paul primarily contributes to the FreeRTOS kernel, focusing on portability and platform-specific adaptations. Contributions include updating version macros, normalizing line endings, adding configuration options, and implementing workarounds for hardware errata. They demonstrate expertise in low-level system programming by modifying files related to various processor architectures, including ARM Cortex-M4 and Cortex-M7, as well as assembly language files.
kernelwindows-driverlinuxfreertos-kernelfreertos
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.