Martin Halder

Technical Consultant at Arkadia Labs GmbH

Zurich, Zurich, Switzerland
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
Martin Halder is a Technical Consultant based in Zurich with 14 years of hands-on experience designing and delivering embedded and cloud-native systems. He combines deep expertise in Linux, C/C++, and Python with practical knowledge of CI/CD and orchestration tools such as Jenkins, Kubernetes, HashiCorp stack, and major clouds (GCP, AWS, Azure). His career bridges low-level embedded development and higher-level infrastructure automation, reflecting roles from hardware/software engineering to project management. Currently at Arkadia Labs, he has a consistent consulting track record across Swiss technology firms, bringing pragmatic solutions for secure, distributed systems. Martin holds a Master in Computer Science focused on distributed and embedded systems and security, which informs his emphasis on reliable, auditable implementations. Colleagues value his ability to translate complex technical constraints into maintainable architectures across the full stack.
code15 years of coding experience
job10 years of employment as a software developer
bookDiplom-Ingenieur Elektrotechnik (BA), Automation, Diplom-Ingenieur Elektrotechnik (BA), Automation at Berufsakademie Ravensburg
bookMaster of Computer Science, Diplom-Informatiker, Distributed and Embedded Systems, Security, Master of Computer Science, Diplom-Informatiker, Distributed and Embedded Systems, Security at Ulm University
stackoverflow-logo

Stackoverflow

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

Github Skills (40)

vault9
api-gateway9
neovim-plugin9
nvim8
cli8
qdrant8
service-discovery8
consul8
neovim8
cloudbees8
kubernetes8
tui8
data-center8
klocwork7
ai-agent7

Programming languages (9)

TypeScriptHCLJavaC++CSSMakefileGoLua

Github contributions (5)

github-logo-circle
mhalder/emacs-from-scratch

Jan 2021 - Jan 2026

An example of a fully custom Emacs configuration developed live on YouTube!
Contributions:2 pushes in 5 years
emacsmelpaemacs-configurationyoutube
mhalder/qdrant-mcp-server

Oct 2025 - Jun 2026

MCP server for semantic search using local Qdrant vector database and OpenAI embeddings
Contributions:18 PRs, 29 pushes, 23 branches in 8 months
openaiqdrantsemantic-searchvector-databaseclaude
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