Sort by
Refine Your Search
-
Listed
-
Field
-
/Project: We are building an optimisation-driven framework that (i) makes AI agents reliably operate advanced scientific software (e.g., DFT, Wannierisation, and quantum-transport codes) and (ii) uses
-
/Project: We are building an optimisation-driven framework that (i) makes AI agents reliably operate advanced scientific software (e.g., DFT, Wannierisation, and quantum-transport codes) and (ii) uses
-
the research group of Minoru Otani at the University of Tsukuba. The work will be based on the Effective Screening Medium (ESM), a method and software (https://sugino.issp.u-tokyo.ac.jp/esm/) for the study of
Searches related to software verification
Enter an email to receive alerts for software-verification positions