{"schemaVersion":"jobsearcher.job.v1","id":"fd3af8614538facc2de80d19","url":"https://jobsearcher.com/jobs/fd3af8614538facc2de80d19","canonicalUrl":"https://jobsearcher.com/jobs/fd3af8614538facc2de80d19","title":"Reinforcement Learning AI Engineer for Verified Code","description":"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.\r\nYou will work on pre-training, fine-tuning, and optimizing state-of-the-art LLMs, integrating results with other teams to deliver robust, verifiable AI solutions across Rust, Go, and smart contract tooling.#J-18808-Ljbffr","company":"Logical Intelligence","rawCompany":"logical intelligence","city":"Millbrae","state":"CA","isRemote":false,"isActive":false,"createdAt":"2026-10-14T02:11:38.260Z","occupations":[{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-1221.00","title":"Computer and Information Research Scientists","slug":"computer-and-information-research-scientists"},{"code":"15-1299.08","title":"Computer Systems Engineers/Architects","slug":"computer-systems-engineers-architects"}],"industries":[{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"513210","title":"Software Publishers","slug":"software-publishers"},{"code":"541512","title":"Computer Systems Design Services","slug":"computer-systems-design-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Reinforcement Learning AI Engineer for Verified Code","description":"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.\r\nYou will work on pre-training, fine-tuning, and optimizing state-of-the-art LLMs, integrating results with other teams to deliver robust, verifiable AI solutions across Rust, Go, and smart contract tooling.#J-18808-Ljbffr","datePosted":"2026-10-14T02:11:38.260Z","dateModified":"2026-10-14T02:11:38.260Z","hiringOrganization":{"@type":"Organization","name":"Logical Intelligence","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Millbrae","addressRegion":"CA","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"fd3af8614538facc2de80d19"},"url":"https://jobsearcher.com/jobs/fd3af8614538facc2de80d19"}}