Description
Constructor Knowledge Labs and Constructor Technology are hiring a PhD researcher in machine learning for software engineering and formal methods on the Constructor Fabric project. The role focuses on formal architectural skeletons, gear contracts, architecture synthesis, DSL design, transition models, and data generation, with responsibilities spanning formal methods, probabilistic and causal modeling, graph machine learning, constraint solving, and large-scale software engineering. The position is full-time for three years in Bremen, Germany, with a November 2026 start date and full financial coverage including a €1,650 monthly stipend, €100 research-cost allowance, and €100 monthly health-insurance subsidy.
