You're seeing this page as if you were . The main menu is still yours, though. Exit from immersion
Patrik K.PK

Patrik K.

Software & Data Engineering

€800/day
Konstanz, DE
3-7 years

Average response time: 1 hour

About Patrik

I bring many years of experience in software and data engineering, open source, teaching, research, and IT consulting. I'm looking for interesting projects where I can apply my knowledge and further level up my skills.
  • German

    Native or bilingual

  • English

    Fluent

Can work on-site
Konstanz (up to 30km), Zürich (up to 30km), Frauenfeld (up to 30km), Winterthur (up to 30km)

Experience

  • University of Innsbruck
    Security Research
    RESEARCH
    November 2018 - Today (7 years and 7 months)
    Innsbruck, Austria
    I'm pursuing a PhD in Computer Science at the Security and Privacy Lab at the University of Innsbruck, Austria. My dissertation is titled "Proof-of-Work Consensus: Protocol Design, Security, and Incentives" and wraps three publications:
    • In 2022, with my supervisor Rainer Böhme: "Parallel Proof-of-Work with Concrete Bounds". Published in Advances in Financial Technologies – AFT '22. https://doi.org/10.1145/3558535.3559773
    • In 2023, with Ben Glickenhaus, George Bissias, and Gregory Griffith: "Tailstorm: A Secure and Fair Blockchain for Cash Transactions". Published in Advances in Financial Technologies – AFT '23. https://doi.org/10.4230/LIPIcs.AFT.2023.6
    • In 2025, alone: "Automated Selfish Mining Analysis for DAG-Based PoW Consensus Protocols". Published in Applied Cryptography and Network Security – ACNS ’25. https://doi.org/10.1007/978-3-031-95761-1_8
    For my research, I've programmed a lot of tooling for automated and reproducible analysis of consensus protocols: protocol specifications, network simulation, attack search with reinforcement learning and MDPs, evaluation, and visualization. The code is available on GitHub: https://github.com/pkel/cpr

    Reinforcement Learning Python Ocaml Rust IT-Security
  • Stadt Konstanz
    Climate Data Platform
    PUBLIC SECTOR
    May 2024 - November 2025 (1 year and 6 months)
    Konstanz, Germany
    Building the Climate Data Platform, a central component of the city's Smart Green City program. The funding Smart City grant program has a strict mandate to use open source software and release all new software as such. Hence there is full transparency about what I built:
    • The climate data platform itself; based on Hypertegrity UDSP, Postgres, PostgREST, Python, Dagster, Kubernetes and ArgoCD. https://github.com/sgc-kn/platform
    • Public dashboards; a static website based on Observable Framework. https://stadtdaten.konstanz.digital/ and https://github.com/sgc-kn/dashboards
    • “Konstanz in Zahlen”: data management and validation with Python and Pydantic. https://github.com/sgc-kn/konstanz-in-zahlen
    Python PostgreSQL Kubernetes Webdesign Data Engineer
  • University of Innsbruck
    Teaching
    EDUCATION AND E-LEARNING
    November 2018 - February 2022 (3 years and 3 months)
    Innsbruck, Austria
    I taught computer engineering and networks for undergrad students, first and third semester. During the pandemic we went fully online: streaming lectures and seminars on Twitch and running weekly automated and randomized tests (with R/exams) for about 250 students.
    Assembler C R Learning Management System Twitch

Recommendations

Be the first to recommend Patrik

Help this freelancer shine by sharing your experience working together.

These freelancer profiles also match your criteria

AgathaA

Agatha Frydrych

Backend Java Software Engineer

4.7

(3)

2

BaptisteB

Baptiste Duhen

Fullstack developer

4.6

(4)

5

AmedA

Amed Hamou

Senior Lead Developer

4

(2)

7

AudreyA

Audrey Champion

Web developer

4.3

(3)

4

Education

  • Ph.D. Candidate
    Security and Privacy Lab, University of Innsbruck, Austria
    2025
    Researching the design, security, and incentives of proof-of-work consensus protocols. I expect to complete this degree in Q1/2026.
  • M.Sc. Computer Science
    University of Innsbruck, Austria
    2018
    Focus on Formal Methods and Information Security

Skill set

Categories