Czechia
I'm an experienced software engineer, passionate about typed functional programming and Scala in particular. I specialize in pure FP libraries from the TypeLevel organization (Cats, Cats Effect, fs2, Doobie, http4s, ...) and ZIO and have helped to design, build and maintain many systems using these technologies. I have also made several contributions to (not only) these Free Open Source libraries/tools, fixing bugs, making improvements or adding new features. I'm well versed in the latest best practices in the field of software engineering regarding Continuous Integration, Infrastructure as Code and DevOps and have experience with popular technologies like Kubernetes, PostgreSQL, Kafka, OpenAPI, Redis, GCP, gRPC/Protobuf or RabbitMQ.
The back-end team. Scala, functional programming, Typelevel libraries (Cats Effect, fs2, fs2-kafka, http4s, Doobie, & other), tAPIr, sbt, OpenAPI, Google Cloud Platform micro-services, Postgres, Kubernetes, Redis, Kafka, TestContainers, GitHub, GitHub Actions, cdk8s Claude Code for scaling up coding across the company codebase. Authentication, Keycloak, OAuth 2.0, OpenID Connect, SAML, SCIM User authentication, management and automated provisioning, license management, billing, integration with 3rd party services (Google, Microsoft, Salesforce, Slack, etc.) Exposing functionality to customers for AI integration via MCP and a purpose-built command-line tool (as an alternative to MCP).
Internal Threat lab information systems. Scala, Typelevel libraries (Cats Effect, fs2, http4s, Doobie, & other), sbt, gRPC/Protobuf, OpenAPI, Postgres, Kubernetes, RabbitMQ, Redis, Kafka, Teamcity, Kotlin, TestContainers, GitHub and a little bit of Rust
Risk, Finance and Treasury Treasury Model execution engine -- modelling of data, execution of models, report generation Scala, Spark, Impala, Hive, Akka, sbt, ScalaZ, git, TeamCity
Risk and Analytics Market Object and Static Service; multi-process service with graph-based engines that construct market objects and can apply scenario based shocks (US FED CCAR, FRTB); integration of C++ quant library F#, C#, PowerShell, PSake, BitBucket git, TeamCity, Nancy, Akka.NET / WCF
development of Air traffic management software system C89, Oracle Pro*C, Bash, glib, Oracle SQL, hg
development of Air traffic management software system C89, Oracle Pro*C, Bash, glib, Oracle SQL, hg