26 software-formal-method-phd positions at King Abdullah University of Science and Technology in Saudi Arabia
Sort by
Refine Your Search
-
. 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
-
We invite applications for a faculty position in chemical engineering with a focus on process modeling, control, and optimization, as well as data-driven methods for sustainable energy and advanced
-
Applicants must have a PhD in Computer Engineering, Computer Science, or Electrical and Computer Engineering, and have published their research in prestigious conferences and journals in related
-
The Field Engineer will support the development and deployment of a laser-based system. This role requires hands-on prototyping, electronics development, and software integration for real-time
-
We seek a postdoctoral associate with PhD degree in Physics, Electrical Engineering, Materials Science or in related fields specialized in acoustic sensors, device fabrication, and electromechanical
-
post-doc (micro-biology) and 5 PhD students at various stages of their projects. The area is part of the Red Sea Global Giga Project which aims to build a world class sustainable tourist development
-
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
-
: The candidate should have expertise in machine learning and computational methods applied to seismic imaging, inversion, earthquake monitoring, or subsurface characterization. The candidate should have expertise
-
filled. High priority will be given to the overall originality and promise of the candidate’s work rather than the candidate’s sub-area of specialisation. An earned PhD in Statistics or a related field
-
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