83 formal-verification-computer-science positions at King Abdullah University of Science and Technology
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
The Data Center Inventory & Deployment Specialist for High-Performance Computing (“HPC”), including Shaheen III supercomputer at the Scientific Computing Center (“SCC”) and other Data Centers
-
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
-
, encompassing organic and polymer chemistry, membrane science and engineering, and electrochemistry and electrochemical engineering. Drawing on these complementary specialisms, we focus on the function-led design
-
The VCC center at KAUST is looking for research scientists in Prof. Wonka's research group. The topics of research are computer vision, computer graphics, and deep learning. A suitable candidate
-
The King Abdullah University of Science and Technology (KAUST) is a world-renowned private university located in Thuwal, Kingdom of Saudi Arabia with a 36 km2 suburban campus directly on the Red Sea
-
The Data Repository Lead will lead the development, launch, management and expansion of KAUST’s institutional data repository and its associated services, a core component of the University’s research data management ecosystem. The role ensures trustworthy stewardship and discoverability of...
-
& Characterization, Extreme Computing, and Informatics. About you The postdoc researcher will be expected to take a leading role in developing and carrying out the research program. The project will require strong
-
beyond biology—integrating the economic and social realities that shape how people use and depend on reef resources. This project takes that step. Building on recent advances that have developed context
-
The Research Output and Preservation Lead is responsible for expanding the University Library's research output and preservation services and provides strategic and operational direction and recommendations for the University Library’s management. This role involves managing initiatives like...
-
One postdoctoral position is currently available at King Abdullah University of Science and Technology (KAUST) for a collaborative project with a starting date of April 1, 2020. The candidate will