-
energy system modeling with strong ties to academic and industry partners. The PhD is intended to be formally enrolled at EPFL. The ideal starting date is June 2026, or upon mutual agreement. We live a
-
intelligence. The PhD position will be formally hosted at Empa, with opportunities for research stays at partner institutions in Switzerland and France. The starting date is flexible, ideally in September 2026
-
to complementary expertise in energy systems, spatial analysis, and artificial intelligence. The PhD position will be formally hosted at Empa, with opportunities for research stays at partner institutions in
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions