1 formal-method-phd PhD positions at Constructor Knowledge Labs gGmbH

PhD Position: World Models for Software Architecture Synthesis (Constructor Fabric)

Constructor Knowledge Labs gGmbH | Bremen, Bremen | Germany | 4 days ago

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