More jobs:
Research Engineer: Formal Methods & AI Reasoning
Job in
San Francisco, San Francisco County, California, 94199, USA
Listed on 2026-05-20
Listing for:
Acceler8 Talent
Full Time
position Listed on 2026-05-20
Job specializations:
-
Engineering
Research Scientist, AI Engineer (Applied/Software) -
Research/Development
Research Scientist
Job Description & How to Apply Below
Acceler8 Talent is seeking a Research Engineer specializing in Formal Methods & Reasoning in San Francisco, California. The role focuses on applying rigorous systems thinking to align AI models through formal verification and interpretation.
Ideal candidates will have backgrounds in compilers, formal verification, or research engineering. A PhD is preferred but deep technical creativity is paramount. Join a small, innovative environment and contribute to groundbreaking AI research.
#J-18808-LjbffrTo View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
Search for further Jobs Here:
×