2 proof-checking-postdoc-computer-science-logic PhD scholarships at RWTH Aachen University in Germany
Sort by
Refine Your Search
-
a world-class doctoral training programme in risk assessment, resilience engineering, and smart technologies. Its scientific vision targets: (1) the development of a holistic multi-hazard risk
-
a world-class doctoral training programme in risk assessment, resilience engineering, and smart technologies. Its scientific vision targets: (1) the development of a holistic multi-hazard risk
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions