Research Scientist, AI, Formal and informal Reasoning

Tasks

• Collaborate on state-of-the-art research
• Communicate research to peer audiences
• Contribute to publications
• Design experimental details
• Implement reusable code
• Lead reasoning research
• Mentor team members
• Open source research
• Organize research results
• Run evaluations

Skills & Tech Stack

• Formal reasoning
• Informal Reasoning
• Language Models
• Large Language Models
• Lean 4
• Machine Learning
• Mathematical Reasoning
• PyTorch
• Python
• Reinforcement Learning
• Reinforcement Learning Training

Education

PhD

Roles

• Machine Learning Researcher
• Research Scientist
• Researcher
• Scientist

Location

Paris, Île-de-France, France