Sort by
Refine Your Search
-
expected to know theoretical methods of ab initio electronic structure calculations and/or nuclear dynamics for small molecules and/or related topics in ultracold quantum many-body physics. We also expect
-
of the planned research is to develop novel, highly useful synthetic methods, based on electrochemical oxidations mediated by hypervalent iodine species. The project will also involve mechanistic investigations
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions