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 Szenario
Die Klinikgruppe hat 4.200 Mitarbeitende insgesamt, davon 180 in der zentralen Verwaltung, und sieht in einer faireren Schichtplanung einen wichtigen Hebel gegen die hohe Fluktuation im Backoffice.
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.
Studienzuordnung folgt in Kürze.
Fähigkeiten
Fähigkeiten, die Du unter Beweis stellst.
Jede taucht auf Deinem verifizierten Zertifikat auf.
- Sat Solving
Apply sat solving to solve real industry problems and demonstrate production-level capability.
- Constraint Programming
Apply constraint programming to solve real industry problems and demonstrate production-level capability.
- Scheduling
Apply scheduling to solve real industry problems and demonstrate production-level capability.
- Python
Write clean, efficient Python for data processing, automation, and backend services.
- Optimization
Apply optimization to solve real industry problems and demonstrate production-level capability.
- Model Evaluation
Apply model evaluation to solve real industry problems and demonstrate production-level capability.
Karrieren
Berufe, auf die dies Dich vorbereitet.
Echte Berufsbezeichnungen. Echte Skill-Brücken. Wähle die, die Deinem Werdegang am nächsten kommt.
AI 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