11 proof-checking-postdoc-computer-science-logic Fellowship positions at King Abdullah University of Science and Technology
-
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
-
keen interest in genome biology, evolutionary biology, crop domestication history and bioinformatics. The ‘Cereal Genetics and Genomics’ group leverages technological innovations in genomics and
-
to the transition towards net-zero carbon emissions? The group of Prof. Anqi Wang at KAUST is recruiting several postdocs to join our dynamic team. Our research is highly collaborative and interdisciplinary
-
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
-
We invite applications for multiple Postdoc positions in the Accelerated Connected Computing Lab (ACCL) at KAUST! The new research group, supervised by Suhaib Fahmy explores hardware acceleration
-
for a two-year postdoc position. The position will include a competitive salary based on the candidate’s qualifications; benefits include medical and dental insurance, free furnished housing on the KAUST
-
Prof. Suzana Nunes at KAUST has open positions for highly qualified postdoc candidates to work in polymeric membrane development from lab to semi-technical scale to start in April 2021. Information
-
Three postdoctoral positions at the King Abdullah University of Science and Technology (KAUST) under the mentorship of Prof. Jürgen Schmidhuber.This project, located at the intersection
-
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
-
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