77 formal-verification-computer-science positions at King Abdullah University of Science and Technology
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
critical to the development of The Kingdom. The boat safety program includes a fleet of small boats and an ocean vessel to support its Marine Science initiatives that are owned and maintained by KAUST
-
stakeholders, the role ensures high-quality curriculum design, alignment with emerging technologies, and impactful program outcomes that contribute to national talent development and lifelong learning objectives.
-
Serve as the Lead for the team ensuring smooth operation of the Linux cluster consisting of 300+ GPU/CPU compute nodes including parallel filesystems and high-performance network. This is partly
-
The AI Lecturer will play a crucial role in supporting the delivery of high-impact Artificial Intelligence (AI) training programs offered by KAUST Academy. This position involves delivering engaging and practical AI instruction to a diverse range of participants, including government sector...
-
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
-
Engineering, and Mechanical Engineering. The selected candidate will work collaboratively with the Dean to determine their home program. Located on the western shores of the Red Sea in Saudi Arabia, KAUST
-
The Statistics (STAT) program in the Computer, Electrical, and Mathematical Sciences and Engineering Division (https://cemse.kaust.edu.sa) at King Abdullah University of Science and Technology
-
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...
-
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 .