Are you interested in building more reliable DevOps systems? As part of SafeIaC, we have two fully-funded PhD positions available at the intersection of Artificial Intelligence and Formal Methods, focused on improving the reliability of Infrastructure as Code (IaC) and Policy as Code (PaC).
