Schichtplanung in einer Frankfurter Klinik-Verwaltung automatisieren
Übersicht
Worum es bei diesem Projekt geht.
Sie erhalten die Anforderungsbeschreibung (zu besetzende Posten pro Stunde), die Mitarbeitenden-Daten (Verfügbarkeit, Qualifikationen, Wünsche) und die historischen Schichtpläne der letzten drei Monate. Modellieren Sie das Problem als SAT mit harten Nebenbedingungen (Mindestbesetzung, gesetzliche Ruhezeiten) und Fairness als gewichtete Soft-Constraints (gleichmäßige Verteilung von Wochenend- und Nachtschichten). Lösen Sie für einen Monat mit Z3 oder einem ähnlichen SMT-Solver und vergleichen Sie das Ergebnis mit dem Altplan auf Fairness-Metriken. Liefern Sie das Modell, einen Fairness-Report und eine Empfehlung, wo eine Erweiterung Richtung CP-SAT sinnvoll wäre.
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.
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