26 software-formal-method-phd positions at King Abdullah University of Science and Technology in Saudi Arabia
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
-
We're seeking a Full-Stack Developer to build secure, cross-platform web interfaces for our AI-powered submicron imaging platform. You'll create intuitive applications that work seamlessly across
-
conventional simulators. Finite element-based methods such as Mixed-Finite-Element or Control-Volume methods are convenient thanks to their suitability for complex unstructured grids. Applications are sought
-
The Software Engineer for Marine Sciences will be instrumental in overseeing the software and database systems for the Red Sea Research Center and the IOP Ocean Observing System. This effort
-
Application documents: 1) Brief cover letter, explaining your motivation for applying, 2) Detailed curriculum vitae (including your email address), 3) Complete transcript of grades from all your university-level studies. We do not ask for more information/documents at this point (but you can...
-
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
-
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
-
researchers and external partners in the specific area of expertise. Participate in developing and implementing instrumental analytical methods in the specific area of expertise. Provide training to students
-
positions (PhD, MS, MS–PhD, Agronomist, Field Engineer, Field Technician, and Postdoctoral Scholar) in Professor Himanshu Mishra’s research Group (Interfacial Lab) in King Abdullah University of Science and
-
. The position emphasizes implementation and prototyping of systems that combine AI algorithms with IoT hardware and software. About KAUST Established in 2009, King Abdullah University of Science and Technology