Internship position for World Models for Software Architecture (Constructor Fabric)

Constructor Labs · · Full-time

Description

<p><strong>About the Project</strong></p> <p>Constructor Fabric turns a company's informal knowledge into production software through a pipeline of composable capability units called <em>gears</em>: requirements → architecture → product fit → framework (G1) → application → runtime. We are building a <strong>World Model</strong> over that pipeline — a model that does not just generate code, but predicts the <em>consequences</em> of an architectural decision: total cost of ownership, unintended side effects, latency and failure behaviour, and whether a proposed composition is even admissible.<br>The central object is not a digital twin of the application but its <strong>formal architectural skeleton</strong>: 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 <strong>gap</strong>. All of it is written in a <strong>domain-specific language</strong> whose syntax trees and graphs we keep in a projectional editor (JetBrains MPS)…

View full original posting → Source: Arbeitnow