37 formal-verification-computer-science research jobs at King Abdullah University of Science and Technology
Sort by
Refine Your Search
-
The Computer Vision-Core Artificial Intelligence Research (Vision-CAIR ) group led by Prof. Mohamed Elhoseiny at the CS Program of the King Abdullah University of Science and Technology (KAUST) is
-
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
-
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,...
-
keen interest in genome biology, evolutionary biology, crop domestication history and bioinformatics. The ‘Cereal Genetics and Genomics’ group leverages technological innovations in genomics and
-
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
-
, encompassing organic and polymer chemistry, membrane science and engineering, and electrochemistry and electrochemical engineering. Drawing on these complementary specialisms, we focus on the function-led design
-
to Single Cell Analytics. The Living Systems Laboratory (livingsystems.kaust.edu.sa) offers an excellent interdisciplinary environment where experimentalists work closely with computational experts utilizing
-
& Characterization, Extreme Computing, and Informatics. About you The postdoc researcher will be expected to take a leading role in developing and carrying out the research program. The project will require strong
-
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