AI Engineer: LLM Reasoning & Formal Verification
Logical Intelligence
Logical Intelligence in San Francisco is seeking an AI Engineer to design and refine algorithms for Large Language Models (LLMs). You will implement innovative reasoning approaches while collaborating with AI experts to drive advancements in formal verification. The ideal candidate will have extensive experience in ML Infrastructure, particularly in optimization and distributed training. Strong programming skills in Python/C++ and familiarity with state-of-the-art ML frameworks are essential. #J-18808-Ljbffr Logical Intelligence
Vacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the AI Engineer: LLM Reasoning & Formal Verification in San Francisco, CA vacancy
- Harrison Clarke is seeking an AI Agent Engineer to design and build production-grade AI agents for... ...creating complex, reliable systems that can reason and operate in real-world environments.... ...candidate will have experience with LLM-powered systems, strong knowledge of agent...Suggested
$150k - $250k
...: Full Time · Department: AI/ML · Work type: Hybrid · USD... ...We are looking for an AI Engineer to build and ship LLM-powered healthcare... ...speech models, and medical reasoning. What you’ll do Develop and... ...the required eligibility verification form upon hire. We’re excited...SuggestedFull timeWork from homeFlexible hours$150k - $225k
AI Software Engineer (Top AI/LLM Startup) AI Software Engineer (Top AI/LLM Startup) Focus Capital Markets provided pay range This range is provided by Focus Capital Markets. Your actual pay will be based on your skills and experience — talk with your recruiter to learn...SuggestedFull timeFreelanceRemote work2 days per week- ...is a data orchestration engine for company and people intelligence. We build AI systems that gather,... ...production‑grade AI agents that reason over complex human and... ...This is not a generic LLM application role. You... ...such as identity verification, entity resolution, and...Suggested
- ...revolutionizing software development with AI-powered formal verification. We've developed groundbreaking... ...model enables scalable, precise reasoning for formally verifiable code across... ...About the role Join our team as an AI Engineer and help us push the boundaries of what...SuggestedContract work
$193.4k - $220.7k
...we are creating responsible and reliable AI systems, changing banking for good. For years... ...to build world-class applied science and engineering teams to deliver our industry leading... .... Invent and introduce state-of-the-art LLM optimization techniques to improve the performance...Local area$350k
Mirendil is seeking research engineers in San Francisco to build the post-training stack for frontier reasoning models. You will engage in designing experiments and iterating... ...focusing on scalable infrastructure for large-scale AI research. The position offers a base salary of...- Daemo AI, an early-stage AI startup based in San Francisco, is looking for a Full Stack Engineer to own the development of their intelligence platform. The role involves working on real-time data pipelines, LLM summarization, and building user-facing web portals. The ideal...
- ...Yutori is reimagining how people interact with the web by building AI agents that can reliably do everyday digital tasks. We are... ...a superhuman generalist web‑agent Work closely with product engineers to translate cutting‑edge AI capabilities into reliable product...Work at officeRelocationVisa sponsorship
Yutori
San Francisco, CA2 days ago - Arcadia is looking for a Senior Software Engineer (AI Agents) in San Francisco. In this pivotal role, you will build core systems for an intelligent... ...Your responsibilities will include designing production-grade LLM systems, collaborating closely with the founding team, and...
- About Kinro Kinro builds AI sales agents for the insurance industry... ...star is selling insurance in LLM platforms (ChatGPT, Gemini ...... ...in agentic systems. You can reason across the stack: application... ...product environments where engineers talk directly to users and ship...
- ABOUT THE ROLE AI Engineers at Varick own the intelligence layer. You design, build, and optimize... ...enterprise workflows (multi-step reasoning, tool calling, exception handling) Build... ...engineering with at least 1-2 years focused on LLM applications or AI systems in production...
- Goodfin is an AI-native investment platform giving accredited investors... ...don’t just surface data, but reason, act, and iterate. We’re... ..., ship constantly, and expect engineers to think like builders and... ...actions. Design and implement LLM‑powered systems that go beyond...
$171k - $242k
Artos AI in San Francisco is seeking an engineer to join their fast-paced team focused on AI/ML applications. The role involves developing and scaling a... ...skills. The position requires hands-on experience with LLM-based applications and a solid understanding of tools like...Work at office$190k - $270k
...HP IQ is HP’s new AI innovation lab. Combining startup agility... ...assembling a diverse, world‑class team—engineers, designers, researchers, and... ...management, and multi‑step reasoning across LLMs, APIs, and edge‑... ...C++, or Python. Proficient in LLM integration into multi‑agent...Full timeTemporary workLocal areaFlexible hoursHP IQ
San Francisco, CA14 hours ago- ...electricity markets is looking to hire a Leading AI Engineer to drive the next phase of their platform... ...production-grade AI systems that can reason over complex datasets, explain outcomes,... ...trading & asset performance data Develop LLM-driven decision-making systems used in...
Storm4
San Francisco, CA14 hours ago $218.4k - $365.2k
...efforts. Job Category: Software Engineering About Salesforce Salesforce is the #1 AI CRM, where humans with agents drive... ...deploying AI‑assisted agents or LLM‑powered workflows in production environments... .... Accommodations If you need a reasonable accommodation during the...Immediate startSalesforce.Com Inc
San Francisco, CA14 hours ago$150k - $200k
...Samba AI Agent Developer Samba is a media intelligence company... ...Think critically about LLM capabilities and limitations—understand... ...from each Develop context engineering strategies—understanding how... ...Gemini, open-source) and can reason about which to use for a given...Local areaSamba TV
San Francisco, CA5 days ago$182k - $242k
CoreWeave is The Essential Cloud for AI™. Built for pioneers by... ...The Role As a Software and AI Engineer, IT Systems, you’ll design and... ...services in Node.js and Go. AI/LLM Experience: Solid familiarity... ...disabilities are provided reasonable accommodations for the hiring...Permanent employmentTemporary workCasual workWork at officeFlexible hours$286.2k - $326.7k
...creating responsible and reliable AI systems, changing banking for... ...‑class applied science and engineering teams to deliver our industry... ...and introduce state‑of‑the‑art LLM optimization techniques to improve... ...required to provide needed reasonable accommodations. #J-18808-...Remote jobFull timePart timeLocal area- ...forefront of integrating modern AI and LLMs into the Oura... ...traditional ML with modern LLMs, reasoning systems, and robust evaluation... ...months and years. As a Senior AI Engineer, you will design, build, and... ...systems that make this possible: LLM-backed workflows, retrieval...Temporary workWork at officeLocal areaRemote workFlexible hours
$314.8k - $359.3k
Senior Distinguished AI Engineer At Capital One, we are creating responsible and reliable AI... ...Invent and introduce state-of-the-art LLM optimization techniques to improve the performance... ...the extent required to provide needed reasonable accommodations. For technical support or...Full timePart timeLocal area$160k - $260k
...the United States to help them hire. AI Product Engineer Location: San Francisco, CA (... ...clinicians to deploy reliable clinical reasoning agents at scale. Their platform powers... ...approach Experience with AI agents or LLM-powered workflows Strong ownership mentality...H1bWork at officeRemote workVisa sponsorshipRelocation package3 days per weekRecruiting from Scratch
San Francisco, CA4 days ago$164.7k - $266k
...orchestrated campaigns to autonomous, AI‑driven customer journeys. As an AI GTM Engineer on the Growth team, you’ll apply... ...design, retrieval strategies, LLM evaluation frameworks, and common... ...Docusign is committed to providing reasonable accommodations for qualified individuals...Contract workWork at officeLocal areaRemote work2 days per week$160k - $207k
...Semgrep gets smarter as you build, with AI that learns your context to cut false... ...semgrep.dev. About the role As an AI engineer, you’ll apply LLM technologies throughout our stack to... ...disciplines—from physics and philosophy to formal methods research and full-fledged...Currently hiringLocal areaRemote workWeekend work3 days per week$156.4k - $301k
...Director in EY’s Forward Deployed Engineering team, you will support the... ...development, and deployment of AI-driven, data-centric solutions... ...Develop and implement AI and LLM-powered applications leveraging... ...EY is committed to providing reasonable accommodation to qualified individuals...Summer holidayLocal areaFlexible hoursEY
San Francisco, CA14 hours ago$155k - $235k
...Databricks, to the semantic and AI layers that sit on top. This... ...looking for a Senior AI Data Engineer to lead the AI engineering workstreams... ...on AI/ML infrastructure or LLM-powered applications Strong... ...or strong systems thinking to reason confidently about...Local areaHome officeFlexible hours- ...incubate and scale revolutionary AI‑powered enterprise software... ...are seeking an experienced AI Engineer with deep expertise in Reinforcement... ...execution of RL‑driven AI reasoning models and systems that power... ...in large language model (LLM) training and fine‑tuning , across...Flexible hours
- ...companies (Seed/Series A) are hiring engineers to build the next generation of AI-native systems across enterprise... ...go beyond copilots — software that reasons, takes action, and executes real-world... ...building and shipping production LLM or agent-based systems that take actions...
$180k - $215k
Staff/Senior Agentic AI Engineers (Multiple roles) Heartflow is a medical technology company... ...intelligent agents to execute multi‑step medical reasoning and data workflows securely and at scale... .... Active contributions to open‑source LLM or Agentic AI frameworks. Experience...Local areaWorldwideRelocation
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to AI Engineer: LLM Reasoning & Formal Verification. Be the first to apply!
Related searches
- ai engineer San Francisco, CA
- ai ml engineer San Francisco, CA
- ai research engineer San Francisco, CA
- senior ai engineer San Francisco, CA
- machine learning ai engineer San Francisco, CA
- ai developer San Francisco, CA
- ai prompt engineer San Francisco, CA
- ai engineer remote San Francisco, CA
- python ai developer
- generative ai engineer