7 results
Lead the language-model research strand of the BELLE project in the ARGO team. Work covers evaluation and improvement of AI-generated formal proofs, expert preference datasets, Lean/Mathlib code quality, reinforcement learning and translation between proof assistants. Responsibilities include research leadership, supervision and reproducible open-source…
Closes
The A. Mathis Group for Computational Neuroscience and AI (CNAI), led by Professor Alexander Mathis, is recruiting two postdoctoral fellows. The group studies how to measure and understand behaviour with AI, how brains and embodied agents learn to control the body, and how the brain builds a sense of the body through proprioception; it develops open-source…
One research appointment in the Imperfect Information Learning Team at RIKEN’s Center for Advanced Intelligence Project. The team develops machine-learning methods that remain effective when training information is incomplete or otherwise imperfect. Work spans supervised, unsupervised and reinforcement learning, including algorithm design, theoretical…
Four-month, full-time research fellowship developing machine-learning infrastructure and reinforcement-learning methods. Projects can address training performance, distributed systems, synthetic-data and environment pipelines, or model generalization. Fellows receive researcher mentorship, a weekly stipend and benefits. Applications are reviewed on a…
Three postdoctoral openings in data-driven mathematical modelling, supervised by Clemens Heitzinger. Research covers reinforcement-learning theory and policy evaluation, differential-equation systems, reasoning and language models, and physical AI. Responsibilities include original research, algorithm development, publications, collaboration, mentoring and…
Ai2's Robotics team is hiring a research scientist to investigate foundation models for robotics and develop open methods, datasets, benchmarks, and models. The work combines large-scale simulation with real robots, spanning manipulation, planning and control, reinforcement or imitation learning, sim-to-real transfer, world models, and broadly competent…
Ai2's Asta team is recruiting a research scientist to advance open agentic systems for scientific reasoning. The role spans language-model post-training, data generation and curation, control strategies, evaluation, literature synthesis, hypothesis formation, scientific coding, computational experiments, and data analysis in collaboration with human…
End of results.