73 formal-verification-computer-science positions at King Abdullah University of Science and Technology
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
As part of a major initiative to strengthen its research in Marine Science, the Marine Science Program (MarS) in the Biological and Environmental Science and Engineering (BESE) Division at KAUST is
-
The King Abdullah University of Science and Technology (KAUST) is a world-renowned private university located in Thuwal, Kingdom of Saudi Arabia with a 36 km2 suburban campus on the Red Sea, a
-
. Develop sensing principles, data acquisition, and measurement systems. Upscale technology and validate its integration into a variety of structures, including structures for mobility, energy, and civil
-
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
-
http://www.kaust.edu.sa . More information about the BESE Division and the Marine Science Program is available at http://bese.kaust.edu.sa .
-
, scripting, backup, monitoring and automation skills are required. This is a highly technical role requiring high performance computing (HPC) or large scale computing experience, in complex environments.
-
containment. The prohibitively high computational cost of such simulations necessitates the development of efficient and robust surrogate models for general GCS modeling tasks, especially when inverse modeling
-
The Innovations in Desalination Technologies Theme at Water Desalination and Reuse Center (WDRC) in King Abdullah University of Science and Technology (KAUST), invites suitably qualified applicants
-
) in King Abdullah University of Science and Technology (KAUST), Saudi Arabia (https://interfaciallab.kaust.edu.sa ). These positions are intended to investigate the effects of the soil amendment
-
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