Sort by
Refine Your Search
-
of Group/Project: We are building an optimisation-driven framework that makes AI models reliably operate advanced scientific software (e.g., DFT, Wannierisation, and quantum-transport codes) and (ii) uses
-
optimiser that accelerates both workflow efficiency and materials discovery. Main Tasks and responsibilities: AI4LSQUANT aims to accelerate quantum modelling by learning fast, accurate surrogates
Searches related to model checking
Enter an email to receive alerts for model-checking positions