> Markdown version of [/jobs/ext/1373512-center-for-interdisciplinary-data-science-and-artificial-intelligence-cidsai](https://www.wearedevelopers.com/jobs/ext/1373512-center-for-interdisciplinary-data-science-and-artificial-intelligence-cidsai). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md). --- # Center for Interdisciplinary Data Science and Artificial Intelligence (CIDSAI) - **Company:** Nyu Abu Dhabi - **Location:** United States - **Experience:** Experienced - **Contract:** Permanent contract - **Skills:** Artificial Intelligence, Machine Learning, Reinforcement Learning, Large Language Models, Multi-Agent Systems, Isabelle, Information Technology, Coq - **Published:** July 22, 2026 - **Apply:** https://jobs.theeduledger.com/company/nyu-abu-dhabi-337923/job/research-scientist-in-the-center-for-interdisciplinary-data-science-and-artificial-intelligence-cidsai-dr-pierre-youssef-in-san-francisco-ca-okcqwkto8pnlhviinqmpkw7ia7pplt/ ## About the Role The Center for Interdisciplinary Data Science and Artificial Intelligence (CIDSAI) at NYU Abu Dhabi seeks to recruit a highly motivated researcher to work within its foundation cluster, led by Professors Pierre Youssef, Keith Ross, and Saurabh Ray. The position will contribute to CIDSAI's efforts to design AI systems that advance scientific and mathematical discovery, combining machine learning, reasoning, and human-AI collaboration. Successful candidates will work in a dynamic research environment at the intersection of data science, artificial intelligence, and mathematics, alongside faculty and researchers across disciplines. The successful candidate will contribute to one or more of the following components:Reinforcement Learning for ReasoningFormal Verification and Lean AutomationAI-Assisted Collaboration and Problem FormulationPreference will be given to candidates with strong background in machine learning and mathematical reasoning and experience in one or more of the following:Large Language Models (LLMs), multi-agent systems, or reinforcement learning.Formal proof assistants (Lean, Coq, Isabelle, or similar).Programming.Strong mathematical maturity.Requirements: a Bachelor's degree in mathematics or computer science, with evidence of strong mathematical and computational skills. The appointment is for two years, with the possibility of renewal. The terms of employment are very competitive and include housing and educational subsidies for children. Applications will be accepted immediately and candidates will be considered until the position is filled. To be considered, all applicants must submit a cover letter, curriculum vitae, transcript of degree, a maximum three pages summary of research accomplishments and interests, and at least 2 letters of recommendation, all in PDF format. ## Related Videos - [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it) - [Introduction to Azure Machine Learning](https://www.wearedevelopers.com/videos/368-introduction-to-azure-machine-learning) - [Coffee with Developers - Maria Apazoglou](https://www.wearedevelopers.com/videos/1209-coffee-with-developers-maria-apazoglou) - [Quantum computing for developers: Solving optimization problems with Qiskit](https://www.wearedevelopers.com/videos/777-quantum-computing-for-developers-solving-optimization-problems-with-qiskit) - [The shadows of reasoning – new design paradigms for a gen AI world](https://www.wearedevelopers.com/videos/1000-the-shadows-of-reasoning-new-design-paradigms-for-a-gen-ai-world) - [What non-automotive Machine Learning projects can learn from automotive Machine Learning projects](https://www.wearedevelopers.com/videos/397-what-non-automotive-machine-learning-projects-can-learn-from-automotive-machine-learning-projects) ## Related Articles - [How to Become an AI Engineer](https://www.wearedevelopers.com/magazine/331-how-to-become-an-ai-engineer) - [MLOps And AI Driven Development](https://www.wearedevelopers.com/magazine/82-mlops-and-ai-driven-development) - [Coffee with Developers - Maria Apazoglou - Making AI understandable for all in production](https://www.wearedevelopers.com/magazine/475-coffee-with-developers-maria-apazoglou-making-ai-understandable-for-all-in-production) - [What Industries Outside of AI Are Hiring The Most AI Experts?](https://www.wearedevelopers.com/magazine/98-what-industries-outside-of-ai-are-hiring-the-most-ai-experts) - [Got AI ideas but no money? Here are 10 free ways to level up your AI skills with Google Cloud](https://www.wearedevelopers.com/magazine/600-got-ai-ideas-but-no-money-here-are-10-free-ways-to-level-up-your-ai-skills-with-google-cloud) - [Stephan Gillich - Bringing AI Everywhere](https://www.wearedevelopers.com/magazine/489-stephan-gillich-bringing-ai-everywhere)