Center for Interdisciplinary Data Science and Artificial Intelligence (CIDSAI)

Nyu Abu Dhabi
United States
27 days ago
Apply on jobs.theeduledger.com
Prepare application

Role details

Contract type
Permanent contract
Employment type
Full-time (> 32 hours)
Experience level
Experienced
Experience required
2 years minimum
Working hours
Regular working hours

Tech stack

Artificial Intelligence Machine Learning Reinforcement Learning Large Language Models Multi-Agent Systems Isabelle Information Technology Coq

Requirements

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.

About the company

NYU Abu Dhabi is the first comprehensive liberal arts and research campus in the Middle East to be operated abroad by a major American research university. Times Higher Education ranks NYU among the top 30 universities in the world, making NYU Abu Dhabi the highest-ranked university in the UAE and MENA region. NYU Abu Dhabi has integrated a highly selective undergraduate curriculum across the disciplines with a world center for advanced research and scholarship. The university enables its students in the sciences, engineering, social sciences, humanities, and arts to succeed in an increasingly interdependent world and advance cooperation and progress on humanity’s shared challenges. NYU Abu Dhabi’s high-achieving students have come from over 120 countries and speak over 100 languages. Together, NYU’s campuses in New York, Abu Dhabi, and Shanghai form the backbone of a unique global university, giving faculty and students opportunities to experience varied learning environments and immersion in other cultures at one or more of the numerous study-abroad sites NYU maintains on six continents.

NYUAD is committed to upholding a culture of non-discrimination, anti-harassment, dignity, and mutual respect; providing equal access and opportunity; and fostering academic excellence in learning, research, and teaching.

Apply for this position

This job is hosted externally. Click below to view the full posting and apply.

Apply on jobs.theeduledger.com
Prepare application

Good distractions

Talks and stories from around this role — technically off-topic, practically not.

2:36 min

Proving strict system constraints using Isabelle

Lars Hupel · World Congress 2023

3:14 min

Constructing mathematical proofs using advanced dependent types

Veit Heller Veit Heller · World Congress 2026 Europe

2:36 min

Applying supervised machine learning for practical rule extraction

Katja Träumner

4:26 min

Background on the Data Lab and organizational structure

Álvaro Martín Lozano · LIVE

2:14 min

Exploring internal AI product initiatives and global engineering roles

Maria Apazoglou · Coffee With Developers

2:59 min

Integrating theorem provers into the development workflow

Lars Hupel · World Congress 2023

Videos

See all

Related articles

See all