onsite
Research Scientist, AI, Formal and informal Reasoning
Research Scientist, AI, Formal and informal Reasoning
The Research Scientist will collaborate on state-of-the-art AI research, focusing on formal and informal reasoning. Key responsibilities include designing experiments, implementing reusable code, leading reasoning research, and contributing to publications. The role also involves mentoring team members, organizing research results, and running evaluations.
About the role
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
Perks/Benefits
* N/A
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
Regions
Europe
Countries
France
States
Île-de-France, FR
Cities
Paris, Île-de-France, FR
Skills
Formal reasoningInformal ReasoningLanguage ModelsLarge Language ModelsLean 4Machine LearningMathematical ReasoningPyTorchPythonReinforcement LearningReinforcement Learning Training