Schichtplanung in einer Frankfurter Klinik-Verwaltung automatisieren
Übersicht
Worum es bei diesem Projekt geht.
Modelliere die Schichtplanung als SAT-Problem, löse es mit Z3 und erstelle einen Fairness-Report – inklusive verifizierbarem Zertifikat.
Das Briefing
Was Du tust und was Du zeigst.
Wie lässt sich ein Monatsschichtplan für 180 Verwaltungsmitarbeitende automatisch erzeugen, der alle gesetzlichen Restriktionen erfüllt und Fairness messbar besser ausbalanciert als das Altsystem?
Earning criteria — what you'll demonstrate
- SAT-/SMT-Solver für realistische Planungsprobleme einsetzen
- Harte und weiche Nebenbedingungen sauber trennen
- Fairness als messbares Ziel modellieren und bewerten
- Eine Methodenentscheidung gegenüber einer Verwaltung verteidigen
Studienpassung
Wo dies in Dein Studium passt.
Schärft dieselben Fähigkeiten, die Dein Studium von Dir erwartet.
Automated Planning
Master · Ai Ml
Fit score: 1
Fähigkeiten
Fähigkeiten, die Du unter Beweis stellst.
Jede taucht auf Deinem verifizierten Zertifikat auf.
Karrieren
Berufe, auf die dies Dich vorbereitet.
Echte Berufsbezeichnungen. Echte Skill-Brücken. Wähle die, die Deinem Werdegang am nächsten kommt.
Karrierewege, die das aufbaut
Kanonische RollenAI Engineer
Reale Schichtplanung als SAT-/SMT-Problem zu modellieren und zu lösen ist eine seltene und sehr nachgefragte Kompetenz für AI Engineers in regulierten Branchen.
Dieses Projekt schärft
- sat-solving
- constraint-programming
- scheduling
Applied AI Scientist
Fairness als formal modellierbares Ziel zu behandeln und gegen einen Status-quo zu vergleichen ist eine Kerntätigkeit von Applied AI Scientists in regulierten Domänen.
Dieses Projekt schärft
- constraint-programming
- model-evaluation
- scheduling
AI Solutions Architect
Die Empfehlung einer möglichen CP-SAT-Erweiterung als zweiten Bauabschnitt ist genau das, was AI Solutions Architects in der Konzeptphase liefern.
Dieses Projekt schärft
- optimization
- scheduling
- python
Noch eine Sache