Post-Doctoral Associate in the Center for Interdisciplinary Data Science and Artificial Intelligence (CIDSAI) - Dr. Pierre Youssef

Tasks

• Analyze algorithms
• Conduct research
• Contribute to academic publications
• Contribute to seminars
• Develop algorithms
• Mentor researchers
• Participate in collaborative research

Perks/Benefits

• Educational assistance for dependents
• Educational subsidy for children
• Health and wellness services
• Housing subsidy
• Relocation allowance

Skills/Tech-stack

Automated Reasoning | Automated theorem proving | Bandit Algorithms | Complexity analysis | Concentration Inequalities | Deep learning | Formal Methods | Functional Inequalities | High-dimensional probability | Language Models | Large Language Models | Learning Theory | Machine Learning | Markov processes | Matrix theory | Neural Networks | Optimization Algorithms | Proof assistants | Proof checking | Random matrix theory | Reinforcement Learning | Statistical Learning | Statistical Learning Theory | Stochastic analysis | Theorem Proving