Search...

Skill

Formalization Jobs

Explore Formalization jobs in blockchain and crypto. Find positions requiring Formalization skills.

Urgently Hiring

Crypto Beginner JobsFully Remote Jobs

1 open job

Mathematical Scientist for AI Safety Research

LawZero·1 day ago

1 day agoBerlin; Montreal Research Jobs by LawZero

View organization details

Recently funded

Montréal-based nonprofit AI-safety research organization developing safe-by-design advanced AI, centered on its Scientist AI approach.

Funding

Canada and Germany joint funding commitment13 Jul, 58677 Canada and Germany joint funding commitment13 Jul, 58677 NVIDIA computing-resources donation16 Jan, 58505 NVIDIA computing-resources donation16 Jan, 58505 Launch philanthropic contributions18 Sep, 57390 Gates Foundation grant Gates Foundation grant Gates Foundation grant

Investors

Nvidia Eric Schmidt Future of Life Institute Open Philanthropy Bill & Melinda Gates Foundation Government of Canada Government of Germany Government of Canada Government of Germany Jaan Tallinn

View all 11 skills

Ai Safety Formalization Language Model Machine Learning Mathematics Misalignment Neural Network Probabilistic Machine Learning Reward Hacking Safety Guarantee Statistics

View Job Details