Nikolaus Huber
Research Associate
Cambridge, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolNikolaus Huber is a research associate at the Institute of Computing for Climate Science with eight years of experience spanning embedded systems, aerospace engineering, and formal tooling for functional languages. He completed a PhD in Computer Science at Uppsala after a Master's in Aerospace and a background in engineering physics, combining rigorous research with hands-on software engineering. His work includes extending property-based testing frameworks for OCaml at Tarides and leading software development for a student rocket/balloon mission, reflecting both low-level systems expertise and practical project leadership. Based in Cambridge, he bridges academic research and industry-grade tooling, with a knack for bringing real-time and embedded platforms into reproducible testing workflows. An understated strength is his cross-domain fluency—able to move from FreeRTOS and CAN bus labs to compiler-level testing infrastructure—making him effective at turning complex scientific problems into robust software.
8 years of coding experience
2 years of employment as a software developer
Vienna University of TechnologyMaster's degree, Aerospace, Aeronautical and Astronautical/Space Engineering, Master's degree, Aerospace, Aeronautical and Astronautical/Space Engineering at Luleå tekniska universitetDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Uppsala University
German, English, Swedish, Sign languages
Github Skills (48)
infiniband10
freertos10
git-repository10
mcu10
bluetooth-le10
microcontroller10
hardware10
zephyr10
iot10
rtos10
bluetooth10
embedded10
architectures10
scalable10
zephyr-rtos9
Programming languages (6)
Github contributions (5)
nikolaushuber/ortac
Jun 2024 - Nov 2024
Runtime assertion checking based on Gospel specifications
Contributions:128 pushes, 20 branches in 5 months
nikolaushuber/opeg
Sep 2022 - Jan 2024
Contributions:28 pushes, 7 branches, 1 tag in 1 year 4 months
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.