The Faculty of Informatics at TU Wien is offering 10 fully-funded PhD positions in its newly founded doctoral college on Automated Reasoning, emphasizing safety and security practices across various domains in fields of security and artificial intelligence.
