Remote Otter LogoRemoteOtter

Explore 2 Remote Automated Reasoning Jobs

Elicit logo

ML Research Resident (Q1 2025) - Remote

Elicit

19 weeks ago

Join Elicit as a research resident to develop AI systems that enhance reasoning and transparency.

LLMs
AI Transparency
Software Engineering
Automated Reasoning
United States
Contract
Software Development
$12,000 - $15,000/month
CertiK logo

Software Engineer (Engineer III to Principal) - Formal Methods - Remote

CertiK

143 weeks ago

Join CertiK as a research software engineer to develop tools for ensuring the security and correctness of blockchain applications.

Blockchain
Smart Contracts
Programming Language Theory
Automated Reasoning
US
Full-time
Software Development

No More Jobs Found