Skill

Autoformalization Jobs

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

Urgently Hiring

Crypto Beginner JobsFully Remote Jobs

2 open jobs

Research Engineer

Resolution·1 hour ago

1 hour agoSalary: 141K - 930KBerkeley, California; Remote Hybrid Full Time Ai Jobs by Resolution

Hybrid · Berkeley · Required

View organization details

Recently funded

Resolution is an independent nonprofit AI-alignment research institute focused on theory, empirics, and automation intended to increase confidence in aligned advanced AI.

Funding

OpenAI API-credit grant22 Sep, 58633 Coefficient Giving grant20 Feb, 58483 Manifund grant to Timaeus8 May, 55775 SFF-2023-H2 general-support grant to Timaeus

Investors

Survival and Flourishing Fund (SFF)Coefficient Giving Manifund OpenAI

View all 12 skills

Ai Alignment Autoformalization Cuda Distributed Training Experiment Gpu Optimization Jax Lean Machine Learning Python Pytorch Research Automation

View Details

View Job Details

Job for Web3 Beginners

Research Scientist

Resolution·1 month ago

1 month agoSalary: 141K - 930KBerkeley, California; Remote Hybrid Full Time Research Jobs by Resolution