Backend Engineer · Process Mining + BPMN Automation
About
Backend engineer specializing in process mining and BPMN-driven workflow automation. Hands-on experience with Camunda, Apache Camel, and Spring in the insurance domain. Currently pursuing an M.Sc. in Computer Science at FernUniversität Hagen, writing a thesis on conformance checking: a unified fitness measure that generalizes token replay from traces and partial orders to labelled Petri nets.
Experience
Software Developer · Inverso GmbH
11.2024 – Present
07.2025 – Present
Designing and implementing a dialog-driven process orchestration for insurance workflows using Spring, Apache Camel, and Camunda BPM. Technical ownership of process logic.
11.2024 – 06.2025
Full-stack development of a web-based property insurance platform (VKB) with Angular & TypeScript in the frontend and Java EE in the backend.
IT Consultant · ISR Information Products AG
05.2024 – 10.2024
Modernization of an enterprise document management platform, migrating legacy content services to IBM FileNet P8. Backend development in Java with Apache Camel for system integration, alongside Angular in the frontend.
Working Student, Full-Stack · msg systems ag
07.2023 – 12.2023
Development of Smart Input Management cloud solutions for insurers on Microsoft Azure. Full-stack work with Angular, NestJS, and TypeScript — building UI components and REST APIs. Agile collaboration using Azure DevOps and Git with CI/CD and code reviews.
Apprentice Software Developer · msg systems ag
09.2020 – 07.2023
Development of components for the nexinsure Insurance Suite for car insurers using Java, JBIT, and Spring. Modeling and automating business processes with Camunda BPM and PostgreSQL to increase straight-through processing rates. Working with Maven, Jenkins, and Git in agile projects.
Education
M.Sc. Computer Science · FernUniversität in Hagen
10.2024 – Present
Thesis: Token Trail Replay — a unified fitness measure for traces, partial orders, and labelled workflow nets. Process Mining research group, supervised by Dr. Robin Bergenthum.
M.Sc. Computer Science · Universität Passau
10.2023 – 09.2024 · 2 semesters, discontinued
Continued part-time at FernUniversität in Hagen alongside full-time work.
B.Sc. Computer Science · FernUniversität in Hagen
10.2020 – 09.2023
Thesis: Stochastic Local Search Algorithms for Abstract Argumentation with Heuristics based on Machine Learning.
Apprenticeship Software Development · msg systems ag
09.2020 – 07.2023
B.Sc. Chemical and Bioengineering · FAU Erlangen-Nürnberg
10.2015 – 04.2020
Thesis: Stereoscopic PIV Investigations of Free Jet Flow Fields.
Skills
Process & BPMCamunda BPM, BPMN, Apache Camel, Process Mining, Conformance Checking, Petri Nets
A unified conformance-checking measure for Petri nets, defined via token trails. Provably specializes to van der Aalst's token replay for traces and to Folz-Weinstein's variant for partial orders, while extending to labelled nets. Formulated as a constrained optimization problem; specialization results verified numerically on randomly generated instances. M.Sc. thesis.
