PhD Position: World Models for Software Architecture Synthesis (Constructor Fabric)
Supervisor: Prof. Dr. Alexander Tormasov
About the Position
Constructor Knowledge Labs (CKL), in collaboration with Constructor Technology, invites applications for a PhD position in machine learning for software engineering and formal methods, on the Constructor Fabric project.
Constructor Fabric turns a company's informal knowledge into production software through a pipeline of composable capability units called gears: requirements → architecture → product fit → framework (G1) → application → runtime. We are building a World Model over that pipeline — a model that does not just generate code, but predicts the consequences of an architectural decision: total cost of ownership, unintended side effects, latency and failure behaviour, and whether a proposed composition is even admissible.
The central object is not a digital twin of the application but its formal architectural skeleton: gear contracts (GearSpec), a typed attributed hypergraph of the application (AppGraph), a composition algebra that defines which assemblies are legal, and several semantic projections (types, protocols, resources, security) over which properties are proved, refuted by counterexample, or reported as an explainable &
