28 software-formal-method-phd positions at King Abdullah University of Science and Technology
Sort by
Refine Your Search
-
researchers and external partners in the specific area of expertise. Participate in developing and implementing instrumental analytical methods in the specific area of expertise. Provide training to students
-
. Contribute to writing methods sections and developing reproducible analysis scripts. 3. Technical Infrastructure Manage code repositories and collaborative workflows using GitHub/GitLab. Maintain documentation
-
. The position emphasizes implementation and prototyping of systems that combine AI algorithms with IoT hardware and software. About KAUST Established in 2009, King Abdullah University of Science and Technology
-
than the candidate’s sub-area of specialization. An earned PhD in Mathematics or a related field, and strong publication record in top-tier journals are required. Senior candidates must have demonstrated
-
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
-
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
-
We seek a postdoctoral associate with PhD degree in Physics, Electrical Engineering, Materials Science or in related fields specialized in acoustic sensors, device fabrication, and electromechanical
-
post-doc (micro-biology) and 5 PhD students at various stages of their projects. The area is part of the Red Sea Global Giga Project which aims to build a world class sustainable tourist development
-
: The candidate should have expertise in machine learning and computational methods applied to seismic imaging, inversion, earthquake monitoring, or subsurface characterization. The candidate should have expertise
-
experience in agronomy, soil science, engineering methods, and precision agriculture in semi- and hyper-arid regions. Specifically, we will be testing the effects of soil amendment technologies pioneered by