76 formal-verification-computer-science positions at King Abdullah University of Science and Technology
Sort by
Refine Your Search
-
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
-
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 .
-
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...