Backend engineer and systems architect focused on reliable distributed systems with Erlang/OTP and Elixir. I design backend and platform architecture that keeps complex products simple to run, from fintech and tax platforms to media and streaming systems, and more recently practical LLM-assisted workflows.
Core Skills
- Erlang/OTP (95%)
- Elixir (95%)
- Distributed Systems (95%)
- System Architecture (90%)
- Go (85%)
- GraphQL (80%)
- LiveView (80%)
- Algolia (75%)
- Javascript (70%)
Certifications
- USMx - STV1.3x: Formal Software Verification
- edX
- Introduction to Functional Programming (Erik Meijer)
- edX Honor Code Certificate
- Introduction to Computer Science and Programming Using Python (MIT)
- edX Honor Code Certificate
- ALGS202x: Graph Algorithms
- edX Honor Code Certificate
- Introduction to Big Data with Apache Spark
- edX Honor Code Certificate
Training
- Automated reasoning and DSL-driven tax domain modeling
- Taxfix (internal platform and domain training)
- EMV, payment processing, and card scheme certification practices
- SumUp (MasterCard/VISA certification workstreams)
Education
- Charles University - Informational science, HCI (1999 - 2006)
- Gymnasium Minerva - High School (1994 - 1999)
Experience
Senior Software Engineer
06/2024 - Present | Berlin, Germany
- Building and maintaining the Stage+ video and audio streaming platform for classical music.
- Working on multiple projects from metadata ingest from internal services, content personalization, search and overall performance, resilience and also DX.
Technologies: Elixir, GraphQL, Redis, PostgreSQL, AWS, Algolia, LiveView
Senior Staff Software Engineer / Tech Lead
10/2022 - 05/2024 | Berlin, Germany
- Set technical direction for a next-generation tax filing platform using automated reasoning and a custom DSL.
- Scaled architecture and engineering practices while remaining hands-on.
- Built and grew an internal team, including hiring and mentoring.
Technologies: Elixir, Go, DSL, GCP, PostgreSQL, MongoDB, Kubernetes, Expert Systems, Knowledge Graphs, Automated Reasoning
Staff Software Engineer / Tech Lead
03/2020 - 09/2022 | Berlin, Germany
- Led backend and platform initiatives for core tax product workflows.
- Improved service reliability and long-term maintainability.
Technologies: Elixir, PostgreSQL, GCP, Kubernetes, Expert Systems, Knowledge Graphs, Automated Reasoning
Senior Software Engineer
11/2019 - 02/2020 | Berlin, Germany
- Contributed to backend systems supporting tax filing workflows and product scale.
Technologies: Elixir, PostgreSQL, GCP, Kubernetes, Expert Systems, Knowledge Graphs, Automated Reasoning
Senior Software Engineer
11/2018 - 11/2019 | Berlin, Germany
- Maintained and extended microservice APIs on Heroku with improved observability and availability.
- Rewrote legacy Node.js services into Go backend components.
- Introduced unified Swagger/Swagger UI for API exploration and collaboration.
Technologies: Go, Node.js, Ruby, Heroku, Swagger, Microservices, PostgreSQL
Senior Elixir Developer
12/2017 - 10/2018 | Berlin, Germany
- Built and maintained lending API products in the Consumer and SME Loan domain.
- Worked across Elixir/Erlang, RDBMS, Redis, Docker, and Concourse.
Technologies: Elixir, Docker Swarm, Concourse, PostgreSQL
Senior Backend Engineer
06/2017 - 11/2017 | Berlin, Germany
- Integrated third-party APIs and improved route-planning backend scalability.
- Stabilized and extended an Erlang/OTP prototype into a production replacement service.
Technologies: Erlang/OTP, REST APIs, Microservices, Neo4j, PostgreSQL
Software Engineer
08/2016 - 06/2017 | Berlin, Germany
- Built backend capabilities for a SaaS rule engine platform on AWS.
- Contributed to performance work reaching 100k RPS on basic workflows.
Technologies: Go, AWS, PostgreSQL, SaaS
Software Developer
02/2016 - 08/2016 | Berlin, Germany
- Implemented contactless NFC reader support in backend card payment systems.
- Supported MasterCard and VISA certification preparation and backend quality improvements.
Technologies: Erlang/OTP, Payments, NFC, ISO8583, PostgreSQL
Senior Big Data Engineer
09/2013 - 02/2016 | Berlin, Germany
- Scaled a big-data streaming system from ~5k to ~60k RPS and operated traffic around 5B events/day.
- Contributed to Erlang-based realtime analytics and Hadoop/Spark batch processing components.
Technologies: Erlang/OTP, Hadoop, Spark, Big Data, Event Streaming, AWS
Erlang Software Developer
11/2012 - 09/2013 | Berlin, Germany
- Developed EMV backend systems for card payments with fault-tolerant Erlang architecture.
- Implemented ISO8583/GICC integrations and contributed to certification efforts.
Technologies: Erlang/OTP, Postgres, EMV, ISO8583, Payments, Fault Tolerance
Cofounder
09/2008 - 11/2012 | Prague, Czech Republic
- Co-designed and built a digital signage platform with Erlang/OTP, messaging, and cloud operations.
- Led architecture and implementation across backend and platform components.
Technologies: Erlang/OTP, Cloud, Messaging, Distributed Systems, Flex
Selected Earlier Roles
Web Specialist, Software Engineer, Analyst
2000 - 2008 | Prague, Czech Republic
- Held progressive roles across HSBC Bank Prague Branch, self-employed web development, Bonicom, eAdvise (Vodafone outsourcing), Emris, Logos, and e-Fractal.
- Worked across IT support, web and backend development, SharePoint/.NET ecosystems, Java enterprise projects, and early team leadership responsibilities.
- Built broad foundations in full software lifecycle delivery, client-facing consulting, and cross-functional collaboration in banking and enterprise domains.
Technologies: Java, .NET, SharePoint, Web Development, Enterprise Systems