74 formal-verification-computer-science positions at King Abdullah University of Science and Technology
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
The Principal Awards and Contracts Administrator acts as the expert for KAUST in regard to Research Agreements. The Principal Awards and Contracts Administrator represents KAUST in all contract negotiations with funding agencies, industrial sponsors and academic institutions worldwide. The...
-
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
-
http://www.kaust.edu.sa . More information about the BESE Division and the Marine Science Program is available at http://bese.kaust.edu.sa .
-
. 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
-
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
-
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
-
, 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
-
language processing, computational biology and healthcare. Our group focuses on important and fundamental open problems in machine learning research and challenging applications in diverse fields (e.g., biology and