Constructor Labs is seeking a PhD candidate for a pivotal role in their Constructor Fabric project, focusing on machine learning for software engineering. The role involves working on formal architecture synthesis and requires a solid background in mathematics and computer science. Responsibilities include developing formal skeletons, engaging in architecture synthesis, and designing domain-specific languages.