1 software-verification PhD positions at Constructor Knowledge Labs gGmbH

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

Constructor Knowledge Labs gGmbH | Bremen, Bremen | Germany | about 19 hours 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