James Hobson
PHD Fellow at University of Bergen
Bergen, Vestland, Norway
Summary
👤
Senior🎓
Top SchoolJames Hobson is a PhD fellow and software engineer with 11 years of experience focused on air traffic control systems and research-driven tooling. He combines practical industry work—developing screen recorders and prototyping systems at Jotron and building analysis tools at Arm—with a deep interest in programming language theory and provable, correct-by-construction code. Based in Bergen, Norway, he blends academic rigor from UiB and Oxford with hands-on engineering across embedded and backend domains. James favors building software you can mathematically trust, bringing formal thinking to real-world safety-critical problems. He’s comfortable moving between prototyping and production, and often surfaces subtle correctness issues before they reach users.
11 years of coding experience
5 years of employment as a software developer
Bachelor's degree Computer Science and Philosophy, Bachelor's degree Computer Science and Philosophy at University of OxfordMaster's degree Informatics, Master's degree Informatics at University of Bergen (UiB)
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (112)
haskell10
hackage10
cabal10
upstream10
appimage9
ubuntu9
manjaro9
centos8
linux8
servant8
irc8
fedora8
gnu8
packaging8
opensuse8
Programming languages (9)
Github contributions (5)
jotron-as/CPP-Parsing-Combinators
Apr 2021 - Jun 2022
A header only library that provides parser combinators to C++
Contributions:17 commits, 3 PRs, 11 pushes in 1 year 1 month
cppheaderheader-onlyheader-only-libraryparsing
advancebsd/utlose-init
Jan 2022 - May 2022
Utløse Init. A BSD licensed init system
Contributions:4 reviews, 19 commits, 8 PRs in 4 months
licensedutlinit-systembsdinit
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.