Senior Engineer – Solver & Editor

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