6 formal-methods Postdoctoral research jobs at King Abdullah University of Science and Technology
Sort by
Refine Your Search
-
be involved in the three-year project “High Dimensional Hierarchical Optimization methods for Machine Learning and Stochastic Optimal Control”. Background or expertise in one or more of the following
-
on the development of new methods integrating a variety of data types (remote sensing, geology, geophysics, geochemistry) for geological modelling and advanced exploration targeting of mineral deposits
-
experience in agronomy, soil science, engineering methods, and precision agriculture in semi- and hyper-arid regions. Specifically, we will be testing the effects of soil amendment technologies pioneered by
-
integration methods for the different data types. In terms of applications, the candidate will be free to choose their own case study(s). Additionally, close collaboration with other group members is expected
-
technologies. Key Responsibilities: Develop and optimize hard carbon synthesis processes using bio-based and non-bio-based precursors. Explore innovative methods to enhance material properties for energy storage
-
-based precursors. · Explore innovative methods to enhance material properties for energy storage applications and other emerging technologies. · Conduct detailed structural, chemical, and