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 Logo Formi 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.

Experience

  • Senacor Technologies AG Software Engineer
    – Today
  • Yatta Solutions GmbH Software Engineer (Internship)
    –
  • University of Kassel Research Group Programming Languages / Methodologies
    –
  • University of Kassel Theoretical Computer Science / Formal Methods
    –
  • University of Kassel Automative EE Systems and Fundamentals of Electrical Engineering
    –
  • Management Services Helwig Schmitt GmbH Software 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