Du modellierst die Planungslogik, die aus Kundenwünschen einen baubaren Grundriss macht, mit einem Constraint-Solver statt mit Heuristiken.
Deine Mission
Deine Aufgaben
- Neue Constraint-Architektur: klare Trennung zwischen Basis-Constraints, die für jedes Haus gelten, und herstellerspezifischen, objektbasierten Erweiterungen
- Modellierung und Härtung des Solvers mit Google OR-Tools CP-SAT, inklusive Laufzeit bei mehrgeschossigen Plänen
- Verständliche Diagnose statt Timeout: Wenn eine Anforderung mathematisch nicht erfüllbar ist, muss der Nutzer erfahren, was er ändern soll
- Übersetzung von Bebauungsplan-Vorgaben und Preislogik in Constraints
- Aufbau einer belastbaren Testsuite für Solver-Ergebnisse
Dein Profil
- Mehrjährige Erfahrung in der Entwicklung produktiver Python-Systeme, nicht nur von Prototypen
- Nachweisbare Erfahrung mit mathematischer Optimierung oder Constraint Programming: OR-Tools CP-SAT, SCIP, Gurobi, MiniZinc oder ein selbst gebauter Solver
- FastAPI oder ein vergleichbares asynchrones Framework, PostgreSQL über die reine ORM-Nutzung hinaus
- Du schreibst Tests, ohne dass man dich darum bittet
- Deutsch oder Englisch fließend, Code und Dokumentation sind auf Englisch
Von Vorteil
- Geometrie und CAD: DXF, IFC, computational geometry, Polygon-Operationen
- Bau-, Architektur- oder Planungsdomäne: Bauordnung, Bebauungsplan, DIN 18065
- Entwicklung von LLM-Anwendungen mit strukturierten Ausgaben und Validierungsschleifen
- Docker und AWS
Was wir bieten
- Verantwortung für den fachlichen Kern des Produkts, nicht für einen Randbereich
- Direkter Draht zum CTO und zu den Gründern, ohne Zwischenebene
- Echte Pläne aus laufenden Partnerprojekten ab der ersten Woche
- Virtuelle Anteile am Unternehmen (VSOP)
Stack und Werkzeuge
Python FastAPI OR-Tools CP-SAT PostgreSQL Claude API
#J-18808-Ljbffr
