-
district cooling networks in both greenfield and brownfield urban contexts. The position is closely connected to the SWiM project and contributes to developing methods and tools that support a cost-effective
-
implements survey experiments and other causal inference methods (e.g. difference-in-differences and synthetic control). Your competencies We are looking for applicants with a strong interest in causal
-
Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance of combined classical and
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions