Peter Tran-jørgensen
Senior Software Developer In A Mortgage Calculation Team
Aarhus, Central Denmark Region
Summary
👤
Senior🎓
Top SchoolPeter 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.
14 years of coding experience
Doctor 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 UniversityB.Eng., Information and Communication Technology, B.Eng., Information and Communication Technology at VIA University CollegeHigher Technical Examination (HTX) 2003, Higher Technical Examination (HTX) 2003 at Technical Gymnasium
Danish, English
Stackoverflow
1reputation
0reached
1answer
0questions
Github Skills (133)
windows10
vim10
code-generation10
eclipse10
code-generator10
linux10
melpa10
vdm10
api10
emacs10
elisp10
dart10
formal-methods10
vdm-sl10
cross-platform10
Programming languages (11)
Github contributions (5)
overturetool/vdm2c
Jan 2016 - Sep 2019
Working repository for the development of a VDM to C code generator
Contributions:19 releases, 551 commits, 431 pushes in 3 years 8 months
code-generationcode-generatorvdmc
peterwvj/emacs.d
Oct 2016 - Jun 2021
Contributions:646 commits, 494 pushes, 9 branches in 4 years 8 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.