Staff AI Research Engineer - Formal Verification
Reasonable
Reasonable is an applied AI research company building formal verification for super-human software development. We pursue correctness guarantees for AI-generated code, enabling provable correctness rather than plausibility. Join a compact, technically deep team shaping the next frontier of formal reasoning and software engineering. As a Member of Technical Staff, you will influence research directions, develop capabilities at the intersection of training and formal methods, and help deliver #J-18808-Ljbffr Reasonable
Vacancy posted 1 day ago
Similar jobs that could be interesting for youBased on the Staff AI Research Engineer - Formal Verification in San Francisco, CA vacancy
- Ephapsys seeks a Staff Research Engineer to advance the SDK and platform, focusing on production-grade AI systems, secure model deployment, and governance. You will work with the founder to translate AI research into hardened, scalable infrastructure. You will lead AI/...Suggested
$195k - $255k
...AI & Machine Learning Generative Systems Hybrid · San Francisco, CA Full... ...Studio. What You Will Do Research and implement specialized fine-tuning... .... Collaborate with compiler engineers to integrate deterministic AST verification into model feedback loops. Publish...SuggestedFull timeRemote workFlexible hoursThemeframer
San Francisco, CA1 day ago$250k - $385k
...Oath Technologies is a new research organization building tools for oversight of advanced AIs. As AIs become more powerful... ...building oversight tools based on formal verification: rather than monitor AIs... ...Oath's research engineers will build novel formal methods...SuggestedFlexible hoursConvergent Research
Berkeley, CA1 day ago$50 per hour
...define solution roadmaps, and mentor junior engineers to elevate the overall capability of the... ...to build a robust, collaborative AI engineering culture. Documentation of architectures... ...: Continuous exposure to cutting‑edge research, mentorship from senior technical leaders...SuggestedFull timeContract workTemporary workWork experience placementCasual workFlexible hoursLockheed Martin
San Francisco, CA4 days ago$300k - $400k
...reliable, interpretable, and steerable AI systems. We want AI to be safe and beneficial... ...a quickly growing group of committed researchers, engineers, policy experts, and business leaders... ...policy: Currently, we expect all staff to be in one of our offices at least 25...SuggestedWork at officeVisa sponsorshipFlexible hoursAnthropic Limited
San Francisco, CA1 day ago$300k - $400k
...and prototypes — fast prototyping with AI tools and building AI-driven products.... ...Role Join Anthropic as an Applied AI Research Engineer to translate large language model capabilities... .... Location-based hybrid policy: staff are expected to be in one of Anthropic’s...Work at officeVisa sponsorshipFlexible hoursvibehackers
San Francisco, CA1 day ago- ...· Full-time We are looking for an AI System Engineer who builds the core AI systems that generate... ...-area tradeoffs, and learn from verification feedback to continuously improve. In... ...Background in compilers, program synthesis, or formal methods. Understanding of hardware...Full timeShift work
TenX Semi
San Francisco, CA1 day ago $180k - $250k
...AI Research Engineer Location: San Francisco, CA Company Stage of Funding: Series A AI Infrastructure Company ($27.5M Raised) Office Type: Hybrid (Monday, Wednesday, Friday In-Office) Salary: $180,000–$250,000 + 0.1–0.4% Equity Company Description We're representing...Work at officeRelocation packageMonday to FridayRecruiting from Scratch
San Francisco, CA4 days ago- ...AI Research Engineer Opportunity Poly is building a better file storage platform for everyone. We've raised $8M from YC, Bloomberg Beta, Felicis, Figma Ventures, AI Grant, and more, and we're looking to grow our founding team of superstar builders and dreamers....Work at office
Poly
San Francisco, CA4 days ago - ...encouraged to apply. Mission Design, train, ship, iterate on, and innovate on the AI brains behind The Path's AI Therapist. Combine research, data science, and engineering to create models, orchestration, and evaluation systems that make therapy conversations...
The Path
San Francisco, CA17 hours ago - ...interpretable, and steerable AI systems. We want AI to be... ...growing group of committed researchers, engineers, policy experts, and business... ..., design (including formal) verification, physical design optimization... ...Currently, we expect all staff to be in one of our offices...Work at officeVisa sponsorshipFlexible hours
Anthropic Limited
San Francisco, CA7 hours ago $180k - $220k
...Role Overview Nimble is looking for an AI Robotics Research Engineer to help us advance our robotics moonshot by designing, developing, training, and implementing robotic foundation models, Vision‑Language‑Action Models, general‑purpose robotic AI models, and reinforcement...Local areaImmediate startFlexible hoursWeekend workNimble
San Francisco, CA1 day ago- ...ML/AI Research Engineer — Agentic AI Lab (Founding Team) Location: San Francisco Bay Area Type: Full-Time Compensation: Competitive salary + meaningful equity (founding tier) Backed by 8VC, we're building a world-class team to tackle one of the industry’s...Full time
Fabrion
San Francisco, CA1 day ago - ...About the Team The Recursive Self-Improvement (RSI) team works across research, engineering, product, and infrastructure to build AI systems that accelerate and ultimately conduct high-quality research at OpenAI. We work to automate real research workflows and improve...
OpenAI
San Francisco, CA2 days ago - Mistral is building a US-based research and engineering organization and seeks a seasoned Talent Acquisition professional to shape recruiting strategy and operations. You will partner with Research leadership to hire researchers, engineers, and senior talent, while delivering...
$200k - $250k
...solutions for Fortune 100 companies. The role requires a strong mathematical background and proficiency in Python, aiming to bridge research and real-world applications in marketing analytics. Compensation ranges from $200K to $250K. #J-18808-Ljbffr Alembic Technologies$215k - $270k
...distributed data environments, Starburst helps enterprises power AI and analytics without the cost and complexity of traditional... ...weekly and measuring results. This is the first dedicated research engineering hire on the team. Role Summary You will own the intelligence...Local areaFlexible hours$160k - $300k
An innovative AI firm in New York is looking for an Applied Research Engineer to enhance their natural language processing systems. The candidate will analyze complex data, develop models, and collaborate with engineers to integrate capabilities. The position demands a...$190k - $270k
Databricks is seeking a Staff Software Engineer for AI Research Infrastructure in San Francisco. The role involves designing and implementing systems for large-scale data processing, developing the research stack for AI research, and partnering with teams to create robust...- LlamaIndex, Inc. is seeking an AI Research Engineer to join the document understanding team in San Francisco. You will work between research and engineering to develop vision-language models for document processing, build data pipelines, and benchmark systems used by customers...
- About LanceDB AI advances at the speed of its research, and research moves at the speed of its data. LanceDB is the AI-native Multimodal Lakehouse: one... ...autonomous vehicles. About the Role As the AI research engineer at LanceDB, you'll work with the research team to...
- Xaira Therapeutics is seeking an experienced research engineer to join its interdisciplinary team in the San Francisco Bay Area or Seattle. You will collaborate with AI scientists, engineers, and drug discovery experts to develop production-ready ML models that accelerate...
- Adamcad is assembling the founding research team to advance AI for parametric CAD in 3D space. The role focuses on training models that interpret natural language to generate CAD, and on building robust representations and evaluation methods for geometric accuracy. You...
- Prime Intellect, Inc. is building an open frontier AI platform that unifies compute, environments, evaluations, and secure sandboxes for end-to-end frontier-scale training and deployment. The role focuses on taking open models from architecture experiments to full pretraining...Remote job
- Starburst in San Francisco, CA is seeking an Applied AI Research Engineer to own the intelligence layer for AIDA, connecting agent reasoning to verified data and turning research into production. You will work across information retrieval, knowledge representation, and...
- LanceDB is seeking an AI Research Engineer to work with the research team on end-to-end training flows across AI domains. You will help showcase how LanceDB accelerates research from data curation to modeling, with a strong emphasis on practical impact and open science...
- Catapult is seeking a highly capable researcher/engineer to push the frontier and build end-to-end systems from idea to product. You will tackle agentic systems, retrieval/knowledge-base work, data processing, evaluation, and experimentation while delivering robust, scalable...
- Sierra is a leading platform for customer-facing AI agents, based in San Francisco and expanding offices globally. We value trust,... ...across the stack to deliver customer value while growing our applied research capabilities and production systems. #J-18808-Ljbffr Candidate
- ...Intelligence , we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide... ...provably correct. About the role Join our team as an AI Engineer and help us push the boundaries of what's possible in logical...Contract work
- Logical Intelligence is seeking an AI Engineer to design, implement, and refine efficient LLM pipelines for scalable distributed training. You will join a team of AI experts and formal verification engineers to push the boundaries of logical reasoning and code correctness...Contract work
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Staff AI Research Engineer - Formal Verification. Be the first to apply!
Related searches
- staff security engineer San Francisco, CA
- staff engineer San Francisco, CA
- senior staff systems engineer San Francisco, CA
- engineering aide San Francisco, CA
- senior staff engineer San Francisco, CA
- staff data engineer San Francisco, CA
- technology administrator San Francisco, CA
- software engineer staff San Francisco, CA
- assistant engineer San Francisco, CA
- staff design engineer San Francisco, CA