Markus Schaden
Senior Software Engineer at Digitec Galaxus AG
Zurich, Zurich, Switzerland
Summary
👤
Senior🎓
Top SchoolMarkus Schaden is a Senior Software Engineer and architect based in Zurich with 10 years of experience building critical microservice landscapes and e-banking solutions for the financial services sector. He is proficient across Java, Kotlin, C#, Python, SQL, Javascript/Typescript and DevOps, and has practical Solidity experience from blockchain-focused roles. Markus has driven architecture and delivery at institutions from SEBA Bank to Digitec Galaxus, combining hands-on implementation with planning and running key ceremonies. He contributes to formal verification tooling—enhancing the Dafny server with code-analysis and verification features—which underscores his interest in correctness and rigorous engineering. Markus pairs a BSc in Computer Software Engineering with a practical, security-conscious approach to building auditable, production-grade systems.
10 years of coding experience
16 years of employment as a software developer
Bachelor of Science - BS Computer Software Engineering, Bachelor of Science - BS Computer Software Engineering at HSR Hochschule für Technik Rapperswil
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (5)
verification10
csharp10
dotnet-core10
netframework10
programming-language9
Programming languages (5)
Github contributions (5)
dafny-lang/dafny
Mar 2017 - May 2017
Dafny is a verification-aware programming language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:62 commits, 1 PR, 3 comments in 2 months
Contributions summary:Markus primarily contributed to the Dafny server, adding functionalities and refining existing features. Their work includes implementing a "symbols" verb to the server, which involves extracting and presenting symbol information (methods, functions, etc.). Additionally, they've integrated "findReference" and "proofs" functionalities, and added version and counterexample features. These changes demonstrate a focus on enhancing the server's capabilities, including code analysis and verification.
compilerdafnyprogramming-languageverification
FunctionalCorrectness/dafny-vscode
Jan 2017 - May 2017
Contributions:129 pushes, 1 branch in 3 months
visual-studio-codevscodevscode-extensiondafnyvisual-studio
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.