68 proof-checking-postdoc-computer-science-logic Postdoctoral positions in United Arab Emirates
Sort by
Refine Your Search
-
Employer
-
Field
-
the security, resilience, and trustworthiness of the increasingly digitalized and connected built environment. Applicants with expertise in construction engineering and management, computer science
-
. About LANDMark (Land Assets, National Development and Markets) This project, developed by Etienne Wasmer, professor of Economics and program head in Economics at NYUAD, and funded for the next 6 years
-
expertise in construction engineering and management, computer science, cybersecurity, artificial intelligence, robotics, digital twins, Building Information Modeling (BIM), or related disciplines
-
30 Jul 2026 Job Information Organisation/Company NEW YORK UNIVERSITY ABU DHABI Research Field Computer science Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Application
-
programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Description The Smart Materials Lab (Panče Naumov Group) at the Division of Science and Mathematics, New
-
the position is filled. About NYUAD: NYU Abu Dhabi is a degree-granting research university with a fully integrated liberal arts and science undergraduate program in the Arts, Sciences, Social Sciences
-
Post-Doctoral Associate to conduct research in solid-state nuclear magnetic resonance spectroscopy, materials synthesis, computational chemistry, and advanced structural characterization of functional
-
programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Description The Kamei Reverse Bioengineering Laboratory within the Divisions of Science and Engineering at
-
Post-Doctoral Associate in the Center for Interdisciplinary Data Science and Artificial Intelligence
the theoretical foundations of data science and AI. Responsibilities: Conduct research on automated reasoning and proof checker, AI-assisted collaboration. Develop and analyze algorithms for learning and
-
Science Instrumentation. The successful candidate will join the Quantum center and will focus primarily on the design, construction, and deployment of advanced instruments for quantum-optical and spin-based