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 (87)
haskell10
hackage10
cabal10
appimage10
centos9
desktop-application9
linux9
ubuntu9
cabal-install9
opensuse9
fedora9
packaging9
debian8
operating-system8
rhel8
Programming languages (10)
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
cppparser-combinators
yobson/jhc-components
Feb 2021 - Aug 2022
JHC Haskell compiler split into reusable components
Contributions:3 commits, 2 PRs, 5 pushes in 1 year 6 months
compilerhaskell
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.