82 proof-checking-postdoc-computer-science-logic positions at King Abdullah University of Science and Technology
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
The Librarian for Scholarly Publishing and Information Services provides expert research support and instruction while leading initiatives in scholarly publishing, open access, and information services to advance KAUST’s academic and research mission. This role serves as a strategic liaison to...
-
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
-
In this senior-level Operations Manager role, the KAUST Health (KH) Operations Manager will oversee and ensure that all contractual obligations and KPIs are meticulously met. This includes managing daily operations, monthly invoicing, reviewing quotations, and ensuring that staff rosters align...
-
A Project Manager Lead skilled in leading and delivering complex, multidisciplinary projects within the PDE&C department. An ambitious and pragmatic professional with a proven track record of successfully delivering critical projects, ensuring that key objectives and planned outcomes are met....
-
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
-
Based in the Office of the CAO, the Head of Events & Protocol is responsible for the strategic planning, delivery, and evaluation of a wide range of presidential and institutional-level events across the university (internal/external events). The role leads a team in developing and implementing...
-
The Logistics Services Advisor is responsible for the daily oversight and delivery of key service lines within the Community Services team, including material management, personal effects handling, and mail and courier operations. The role also involves managing the associated service contracts...
-
The Maintenance Quality Assurance Lead is responsible for ensuring that all maintenance activities across community facilities, residential buildings, and external areas adhere to the highest quality, safety, and performance standards. This role involves developing and implementing robust...
-
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