73 proof-checking-postdoc-computer-science-logic positions at King Abdullah University of Science and Technology
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
Manages the maintenance and performance of all Mechanical, Electrical, and Plumbing (MEP) systems across the Primary Nursery Facility located at NEOM. This includes HVAC, hydraulics, plumbing, elevators, electrical networks (high and low current), building automation systems, and fire alarm...
-
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
-
on-site. The engineer will work closely with a multidisciplinary research team to bring the technology from the lab to field-tested implementation. Major Responsibilities – include but are not limited
-
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 are currently seeking outstanding candidates to join our faculty team within the Physical Science and Engineering Division (PSE) to lead pioneering research in: - Carbon Fiber
-
equipment, research and recreational facilities, and computational resources. It is the leading university in citation per faculty according to the QS Rankings. Further information can be found
-
boasts world-class equipment, research and recreational facilities, and computational resources. It is the leading university in citation per faculty according to the QS Rankings. Further information can
-
Applicants must have a PhD in Computer Engineering, Computer Science, or Electrical and Computer Engineering, and have published their research in prestigious conferences and journals in related
-
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
-
computational resources. It is the leading university in citation per faculty according to the QS Rankings. Further information can be found at www.kaust.edu.sa .