Jan Müller
Software Web Mobile
Engineer

Jan
Blog

About Me

Hey, I'm a software engineer working on websites, APIs, libraries, mobile apps, and CLIs. Beyond development, I occasionally work on tasks related to DevOps and SEO.

As an Open Source enthusiast, I maintain a variety of projects, mostly focused on web development.

Formi

First-order-logic model checking with interactive graph visualization, real-time validation, and textual input.

Formi LogoFormi Logo

Masonry Wall

My popular Vue component for dynamic masonry layouts with SSR support.

WienerTime

A Next.js web app for real-time traffic data of Wiener Linien's public transportation monitors.

Refunk

A Kotlin library for studying primitive recursive functions using a mathematical DSL.

Noted ✏️

A PWA for Markdown-based note-taking, built with Nuxt.js.

Apollo 🚀

A graph-based first-order-logic model checker and the result of my bachelor thesis.

Experiments 🛠️

A space for ideas and doodles that don't fit the scope of a dedicated project.

Experience

  • Senacor Technologies AGSoftware Engineer
    –Today
  • Yatta Solutions GmbHSoftware Engineer (Internship)
    –
  • University of KasselResearch Group Programming Languages / Methodologies
    –
  • University of KasselTheoretical Computer Science / Formal Methods
    –
  • University of KasselAutomative EE Systems and Fundamentals of Electrical Engineering
    –
  • Management Services Helwig Schmitt GmbHSoftware Engineer (Internship)
    –

Education

  • Software Engineering and Internet Computing (M.Sc.)TU Wien
    –Today
  • Computer Science (B.Sc.)University of Kassel
    –
  • University-entrance diploma (Abitur)Wilhelmsgymnasium Kassel
    –

Awards

  • Sponsorship award for outstanding academic achievement · Details
  • Algorithms & data structures programming competition, 1st place
  • DPG-Abiturpreis · Details