Jörgen Brandt
Software Engineer, Verification Expert
Brandenburg, Germany
Summary
👤
Senior🎓
Top SchoolJörgen Brandt is a verification-focused software engineer with 12 years of experience, currently working at secunet Security Networks in Berlin after senior and hardware-development roles across industry and academia. He holds advanced degrees in computer science (MSc and Dr. rer. nat. studies at Humboldt and TU Berlin) and has a strong background in programming languages, distributed systems, embedded Linux, and tooling for large-scale data analysis. His career blends research (BiobankCloud, Cuneiform) with practical systems engineering—spanning Java, R, parser generators, KNIME, and real-time Linux/Xenomai. Known as an "educational tourist," he brings continuous curiosity to problem solving and verification challenges, often connecting formal methods and hands-on hardware/software integration.
12 years of coding experience
7 years of employment as a software developer
Dr. rer. nat., Computer Science, Dr. rer. nat., Computer Science at Humboldt-Universität zu BerlinMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at Technische Universität BerlinBachelor of Engineering - BE, Information Technology, Bachelor of Engineering - BE, Information Technology at Hochschule für Technik und Wirtschaft Berlin
German, English
Stackoverflow
210reputation
5kreached
3answers
2questions
Github Skills (71)
racket10
bash10
otp-library10
octave10
distributed-computing10
ffi10
getopt10
distributed-programming10
parallelization10
worker-pool10
matlab10
erlang10
command-line-arguments10
workflow-engine10
machine-learning10
Programming languages (11)
Github contributions (5)
joergen7/effi
Oct 2015 - Jul 2020
Erlang foreign function interface.
Contributions:12 releases, 309 commits, 2 PRs in 4 years 9 months
erlangffioctavematlabpython
joergen7/chef-cuneiform
Sep 2015 - Nov 2018
Contributions:6 releases, 45 commits, 47 pushes in 3 years 2 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.