Peter Tran-jørgensen

Senior Software Developer In A Mortgage Calculation Team

Aarhus, Central Denmark Region
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Peter Tran-jørgensen is a Senior Software Developer with 13 years of experience combining academic rigor from a PhD in software development with hands-on platform and DevOps engineering at Bankdata. He builds Java/Quarkus microservices for mortgage calculations and has led platform work that improved developer experience for ~600 engineers, including migrating Jenkins and Artifactory to OpenShift and cutting CI build times. His background as a researcher and release manager for formal-methods tooling fuels a strong emphasis on automation, observability (Prometheus/Grafana), and incident readiness. Comfortable switching between coding, product ownership and on-call support, he uniquely bridges formal research practices and pragmatic engineering to deliver reliable, scalable financial systems.
code13 years of coding experience
bookDoctor of Philosophy (Ph.D.), software development, formal methods, code generation, software architecture, Doctor of Philosophy (Ph.D.), software development, formal methods, code generation, software architecture at Aarhus University
bookB.Eng., Information and Communication Technology, B.Eng., Information and Communication Technology at VIA University College
bookHigher Technical Examination (HTX) 2003, Higher Technical Examination (HTX) 2003 at Technical Gymnasium
languagesDanish, English
stackoverflow-logo

Stackoverflow

Stats
1reputation
0reached
1answer
0questions
github-logo-circle

Github Skills (172)

windows10
vim10
code-generation10
spacemacs10
eclipse10
linux10
melpa10
emacs-lsp10
emacs-lisp10
vdm10
api10
emacs10
dart10
elisp10
vdm-sl10

Programming languages (11)

PowerShellJavaDockerfileC++ShellCTeXJavaScript

Github contributions (5)

github-logo-circle
peterwvj/emacs.d

Oct 2016 - Jun 2021

Contributions:646 commits, 494 pushes, 9 branches in 4 years 8 months
Contributions:77 commits, 57 pushes, 1 branch in 1 year 11 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.
Request Free Trial