83 formal-verification-computer-science positions at King Abdullah University of Science and Technology
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
genomics, protein engineering, cloning/assembly workflows, cell line development). You will work closely with computational experts to establish innovative, high-throughput, high-fidelity screening platforms
-
We use cookies which are necessary to make our site work. We may also use additional cookies to analyse, improve and personalise our content and your digital experience. For more information, see our Cookie Policy and the list of Google Ad-Tech Vendors . You may choose not to allow some types of...
-
Professor Max Frenzel is currently recruiting for a 2-year Post-doc position (extendable) to join the new Mineral Exploration and Exploitation Group at KAUST. The focus of the position will be on the development of new methods integrating a variety of data types (remote sensing, geology,...
-
The Bioscience Program in the Biological and Environmental Science and Engineering (BESE) Division at King Abdullah University of Science and Technology (KAUST) is launching a significant initiative
-
The Yavuz Lab at King Abdullah University of Science and Technology (KAUST), Saudi Arabia, is accepting applications for postdoctoral scholars. Successful candidates will conduct research
-
The VCC center at KAUST is looking for postdoctoral researchers and research scientists in Prof. Wonka's research group. The topics of research are computer vision, computer graphics, and deep
-
. · Cross-Functional Communication & Influence Bridge the gap between engineering, InfoSec, compliance, and operations teams; translate technical decisions into risk and policy terms. · Lifecycle Ownership
-
all aspects of these complex problems. In the Composites Lab, you will find skills ranging from theoretical mechanics, applied mathematics, and computer science to material science and chemical
-
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
-
efficiency. Working within the Scientific Computing Center (SCC) data center and other Data Centers, hosting HPCs, including Shaheen III, the Data Center Hardware & Equipment Specialist manages data center