Research Scientist in the Center for Interdisciplinary Data Science and Artificial Intelligence (CIDSAI) - Dr. Pierre Youssef
Tasks
- Apply machine learning for reasoning
- Build AI assisted collaboration tools
- Design AI systems for scientific and mathematical discovery
- Develop multi-agent systems
- Develop reinforcement learning methods
- Formulate problems with human AI collaboration
- Perform Lean automation
- Use formal verification and automation
Perks/Benefits
Skills/Tech-stack
Agent systems | Coq | Formal verification | Isabelle | Language Models | Large Language Models | Lean | Machine Learning | Mathematical Modeling | Multi-Agent | Multi-Agent Systems | Programming | Reasoning | Reinforcement Learning
Education
Roles
Regions
Countries
States
Cities
Related jobs
-
Automated theorem proving | Concentration Inequalities | Deep learning | Formal Methods | Formal verificationEducational assistance for dependents | Educational subsidy for children | Health and wellness services | Housing subsidy | Relocation allowanceEntry-level Full TimeAbu Dhabi, UAE1d ago
-
Data Science | Data Visualization | Machine Learning | Operations Research | Project ManagementEntry-level InternshipDubai, Dubai, United Arab Emirates1d ago
-
Senior Research Scientist - Computational Biology AED 120K-180KArtificial Intelligence | Bioinformatics | Data Analysis | Data Science | Deep learningConference travel | Professional development | Research-focused environment | Tech transferSenior-level Full TimeAbu Dhabi, UAE1d ago
-
Mid-level Full TimeAbu Dhabi, United Arab Emirates4d ago
-
Senior Data Scientist AED 300K-386KAPIs | Cloud Architecture | Dash | Data Engineering | Data VisualizationSenior-level Full TimeUnited Arab Emirates, Dubai10d ago
-
Artificial Intelligence | Data Management | Deep learning | Language Models | Language ProcessingChild educational subsidy | Health insurance | Housing subsidy | Retirement contributionsEntry-level Full TimeAbu Dhabi12d ago
-
AI Data Scientist AED 180K-240KAWS | Apache Spark | Azure | Computer Vision | Data AnalysisAccommodation | Expense reimbursements twice yearly | Generous holidays | Home visit expense reimbursements | Inclusive work environmentMid-level Full TimeDubai, United Arab Emirates12d ago
-
Senior Data Scientist II - Personalization AED 120K-144KA/B | A/B Testing | Apache Spark | Attention Mechanism | B testingFitness reimbursements | Healthcare benefits | Remote work 30 days per year | Training classes access | Unlimited vacation daysMid-level Full TimeDubai, United Arab Emirates R13d ago
-
Senior-level Full TimeAE-DU-Dubai18d ago
-
AI Governance | AI Safety | Agent-based | Agent-based AI | Causal InferenceSenior-level Full TimeAbu Dhabi, Abu Dhabi, United Arab …20d ago
-
Principal Applied Scientist AED 286K-360KDeep learning | Efficient Fine Tuning | Fine Tuning | Generative AI | GuidanceFlexible medical insurance | Life insurance | Retirement options | Volunteer programSenior-level Full TimeUnited Arab Emirates20d ago
-
Data Scientist - Dubai, UAE USD 80K-110KAPIs | Airflow | Data Ingestion | Data Visualization | Data cleaningComprehensive health insurance | Equity participation | Paid annual leave | Performance bonus | Relocation assistanceMid-level Full TimeDubai, UAE20d ago
-
Data Pipelines | Data Visualization | LLMs | Langchain | Machine Learning30 days annual leave | Comprehensive health insurance | Employee share scheme | Equity participation | Performance bonusEntry-level Full TimeDubai, UAE20d ago
-
Senior Data Scientist (6 months contract) AED 180K-228KA/B | A/B Testing | API Development | B testing | CI/CDFull time contract engagement | On site work location | Potential contract extensionSenior-level ContractAbu Dhabi, United Arab Emirates20d ago
-
Associate Data / Decision Scientist (UAEN) AED 120K-144KData Pipelines | Data Wrangling | Machine Learning | Matplotlib | NumPyMid-level Contract Full TimeAbu Dhabi, Abu Dhabi, United Arab …21d ago
-
Senior-level Full TimeAbu Dhabi23d ago
-
Entry-level Full TimeAbu Dhabi23d ago
-
Data Science | Graph theory | Information Retrieval | Knowledge graphs | Language ProcessingIndependent research environment | International collaborationMid-level Full TimeAbu Dhabi, UAE26d ago
-
Junior Research Scientist in the Division of Science (Computer Science) - Dr. Hanan Salam AED 120K-200KAPI | Affective Computing | Computer Vision | Data Analysis | Human CenteredEducational subsidy | Full health insurance | Housing subsidy | Relocation allowance | Retirement contributionsEntry-level Full TimeAbu Dhabi, UAE28d ago
-
Data Scientist II - Analysis, QC AED 120K-120KA/B | A/B Testing | Apache Airflow | B testing | BigQueryMid-level Full TimeDubai, United Arab Emirates1mo ago
-
Data Scientist AED 156K-180KAWS | Amazon SageMaker | Classification | Data Visualization | Feature EngineeringMid-level Full TimeUnited Arab Emirates1mo ago
-
APIs | Agentic Workflows | Backtesting | Data Pipelines | Data VisualizationAnnual leave | Comprehensive health insurance | Equity participation | Relocation assistance | Visa sponsorshipEntry-level Full TimeDubai, UAE1mo ago
-
Sr. Data Scientist - Analysis (Logistics & QC) AED 312K-386KA/B | A/B Testing | Airflow | B testing | BigQuerySenior-level Full TimeDubai, United Arab Emirates1mo ago
-
Data Scientist Senior Analyst AED 286K-360KAI Governance | Agent Engineering | Agile | Athena | Data GovernanceSenior-level Full TimeUAE Dubai DWTC, United Arab Emirates1mo ago