81 formal-verification-computer-science positions at King Abdullah University of Science and Technology
Sort by
Refine Your Search
- 
                Listed
 - 
                Category
 - 
                Program
 - 
                Field
 
- 
                
                
                
The Computer Science program in the Computer, Electrical and Mathematical Sciences and Engineering Division (https://cemse.kaust.edu.sa ) at King Abdullah University of Science and Technology (KAUST
 - 
                
                
                
The Computer Science program in the Computer, Electrical and Mathematical Sciences and Engineering Division (https://cemse.kaust.edu.sa ) at King Abdullah University of Science and Technology (KAUST
 - 
                
                
                
The Electrical and Computer Engineering (ECE) Program within the Computer, Electrical, and Mathematical Sciences and Engineering (CEMSE) Division at King Abdullah University of Science and
 - 
                
                
                
The Applied Mathematics and Computational Sciences (AMCS) program in the Computer, Electrical and Mathematical Sciences and Engineering Division (https://cemse.kaust.edu.sa) at King Abdullah
 - 
                
                
                
We are seeking a highly motivated and quantitatively skilled Research Specialist with a strong background in data science, statistics, and programming to support ongoing and new research projects in
 - 
                
                
                
We are currently seeking exceptional candidates to join our faculty in the Physical Sciences and Engineering (PSE) Division to lead pioneering research in polymer chemistry, particularly in
 - 
                
                
                
We invite applications for a faculty position in computational science and engineering with a focus on geophysics or fluid dynamics, as well as machine learning with one of the following experiences
 - 
                
                
                
The Head of the KGSP oversees Saudi Arabia's most important STEM scholarship for the nation's highest-performing students. The KGSP is not only a crucial strategic source of Saudi talent for KAUST but also the strongest pipeline of talented scientists, innovators, and thought leaders for Saudi...
 - 
                
                
                
Education: Ph.D. or M.S. in Computer Science, AI, Computer Vision, or related field Experience: 3+ years in computer vision and deep learning, with specific focus on microscopic imaging, generation
 - 
                
                
                
We invite applications for a faculty position in chemical engineering with a focus on process modeling, control, and optimization, as well as data-driven methods for sustainable energy and advanced