PhD Position in Machine Learning for Software Engineering and Formal Methods

Constructor Knowledge Labs invites applications for a PhD position focused on developing a World Model for the Constructor Fabric project, which transforms informal company knowledge into production software. The role involves building a model that predicts the consequences of architectural decisions and works with formal architectural skeletons, gear contracts, and a domain-specific language. Candidates will engage in research spanning formal methods, architecture synthesis, DSL design, and machine learning for software engineering.