-
. Explainable AI (XAI) aims to bridge this gap. Despite ongoing research, fundamental challenges and limitations in XAI methods persist. We are seeking a highly motivated postdoctoral fellow to develop novel
-
the analysis of ILs using the following methods NMR, FTIR, DSC, TGA, GC (MS, headspace analysis), viscometry, etc. Have a strong background in the Python programming language, preferably also in machine learning
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions