71 formal-verification-computer-science positions at King Abdullah University of Science and Technology
Sort by
Refine Your Search
-
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
-
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
-
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...
-
The wire-line nuclear magnetic resonance (NMR) tool is a well-borehole logging technology that is routinely used for exploration and reservoir characterization. NMR logging is a fast imaging
-
(Composites Lab) is located at King Abdullah University of Science and Technology and is part of the Physical Science and Engineering Division. The Composites Lab started at KAUST in 2009 and is an integrated