Sort by
Refine Your Search
-
apply operando methods for studies of zinc-based batteries, mainly rechargeable zinc-air batteries. A combination of diffraction and tomography will be applied, using in-house facilities as
-
approximation algorithm, using linear programming methods. Over the next years, the project will grow to a collaborate team of 4-5 PhD students and Postdocs. The successful candidate will work directly with the
-
Policy Implications and Recommendations Case Studies of Successful Innovation Funding Methods The project will employ a combination of methods, including machine learning (ML) and generative AI (GenAI
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions