{"jobs":[{"absolute_url":"https://job-boards.greenhouse.io/logicalintelligence/jobs/4117916009","data_compliance":[{"type":"gdpr","requires_consent":false,"requires_processing_consent":false,"requires_retention_consent":false,"retention_period":null,"demographic_data_consent_applies":false}],"internal_job_id":4080106009,"location":{"name":"San Francisco"},"metadata":null,"id":4117916009,"updated_at":"2026-06-02T13:30:13-04:00","requisition_id":"6","title":"AI Engineer in ML Data","company_name":"Logical Intelligence","first_published":"2026-02-05T02:02:44-05:00","language":"en","application_deadline":null,"content":"\u0026lt;h3\u0026gt;\u0026lt;strong\u0026gt;Who we are\u0026lt;/strong\u0026gt;\u0026lt;/h3\u0026gt;\n\u0026lt;p\u0026gt;At Logical Intelligence, we\u0026#39;re revolutionizing software development with AI-powered formal verification. We\u0026#39;ve developed groundbreaking agents that provide mathematical guarantees of code correctness, ensuring that software behaves exactly as intended while proactively identifying bugs and security vulnerabilities. Our novel foundation model enables scalable, precise reasoning for formally verifiable code across Rust, Golang, and smart contract VMs.\u0026amp;nbsp; We’ve won ​​a well-known formal verification benchmark called PutnamBench, which consists of 672 hard math problems from the William Lowell Putnam Exam, the oldest collegiate mathematics competition in North America. Backed by a world-class team – including ICPC champions, a Fields Medalist and an ACM Turing Award winner – we\u0026#39;re building the future where all code is provably correct.\u0026lt;/p\u0026gt;\n\u0026lt;h3\u0026gt;\u0026lt;strong\u0026gt;About the role\u0026lt;/strong\u0026gt;\u0026lt;/h3\u0026gt;\n\u0026lt;p\u0026gt;Join our team as an AI Engineer and help us push the boundaries of what\u0026#39;s possible in logical reasoning! We’re looking for a motivated individual to design and refine the data and ML pipelines for scaled distributed training and validation of ML models. You\u0026#39;ll work closely with a talented team of AI experts, EBM specialists, formal verification engineers, and software developers to create groundbreaking solutions.\u0026lt;/p\u0026gt;\n\u0026lt;h3\u0026gt;\u0026lt;strong\u0026gt;What you\u0026#39;ll do\u0026lt;/strong\u0026gt;\u0026lt;/h3\u0026gt;\n\u0026lt;ul\u0026gt;\n\u0026lt;li\u0026gt;Research new reasoning algorithms and models\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Develop model benchmarking processes and tools\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Build effective and efficient ML data pipelines\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Adjust frameworks and interfaces to accelerate machine learning development\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Develop the infrastructure for data augmentation pipelines and synthetic data generation\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Collaborate with other teams to understand their pain points and priorities to define milestones of the corresponding roadmaps\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Derive practical solutions and integrate them with the results of other teams to provide the best overall resolution\u0026lt;/li\u0026gt;\n\u0026lt;/ul\u0026gt;\n\u0026lt;h3\u0026gt;\u0026lt;strong\u0026gt;Qualifications\u0026lt;/strong\u0026gt;\u0026lt;/h3\u0026gt;\n\u0026lt;ul\u0026gt;\n\u0026lt;li\u0026gt;You have an M.Sc. focusing on one or more of the following areas: Computer Science, Artificial Intelligence, Mathematics, or a closely related field\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;3+ years of production experience in ML Infra, DataOps, distributed training\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Expertise in programming languages and tools critical for high-performance computing in Python/C++ and machine learning including Deep Learning frameworks like PyTorch /TensorFlow/JAX\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Ability to understand deep learning algorithms, e.g. in natural language processing, reasoning\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Familiarity with Azure/AWS/GCP cloud products for MLOps and DataOps pipelines\u0026amp;nbsp;\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Proficiency with Kubernetes clusters and distributed compute assets\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Strong communication and teamwork skills\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Readiness to explore and promote cutting edge technologies in ML Infrastructure domain and beyond\u0026lt;/li\u0026gt;\n\u0026lt;/ul\u0026gt;\n\u0026lt;p\u0026gt;\u0026lt;strong\u0026gt;Bonus Points\u0026lt;/strong\u0026gt;\u0026lt;/p\u0026gt;\n\u0026lt;ul\u0026gt;\n\u0026lt;li\u0026gt;Demonstrated publications in any of the major conferences\u0026amp;nbsp;\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Multi-node and multi-GPU training\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Mathematical Reasoning – discrete math and logic\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Formal Verification - lean\u0026lt;/li\u0026gt;\n\u0026lt;/ul\u0026gt;\u0026lt;div class=\u0026quot;content-conclusion\u0026quot;\u0026gt;\u0026lt;p\u0026gt;\u0026lt;a href=\u0026quot;https://logicalintelligence.com/\u0026quot; target=\u0026quot;_blank\u0026quot;\u0026gt;logicalintelligence.com\u0026lt;/a\u0026gt;\u0026lt;/p\u0026gt;\u0026lt;/div\u0026gt;","departments":[{"id":4028531009,"name":"AI RESEARCH","child_ids":[],"parent_id":null}],"offices":[{"id":4027587009,"name":"Belgrade","location":"Belgrade, Belgrade, Serbia","child_ids":[],"parent_id":null},{"id":4027585009,"name":"Remote (outside USA)","location":"Belgrade, Belgrade, Serbia","child_ids":[],"parent_id":null},{"id":4027586009,"name":"Remote (USA)","location":"San Francisco, California, United States","child_ids":[],"parent_id":null},{"id":4027584009,"name":"San Francisco","location":"San Francisco, California, United States","child_ids":[],"parent_id":null}]},{"absolute_url":"https://job-boards.greenhouse.io/logicalintelligence/jobs/4227228009","data_compliance":[{"type":"gdpr","requires_consent":false,"requires_processing_consent":false,"requires_retention_consent":false,"retention_period":null,"demographic_data_consent_applies":false}],"internal_job_id":4119899009,"location":{"name":"San Francisco"},"metadata":null,"id":4227228009,"updated_at":"2026-04-22T14:58:44-04:00","requisition_id":"7","title":"AI Engineer, LLMs","company_name":"Logical Intelligence","first_published":"2026-04-20T19:15:24-04:00","language":"en","application_deadline":null,"content":"\u0026lt;h3\u0026gt;\u0026lt;strong\u0026gt;Who we are\u0026lt;/strong\u0026gt;\u0026lt;/h3\u0026gt;\n\u0026lt;p\u0026gt;At Logical Intelligence, we\u0026#39;re revolutionizing software development with AI-powered formal verification. We\u0026#39;ve developed groundbreaking agents that provide mathematical guarantees of code correctness, ensuring that software behaves exactly as intended while proactively identifying bugs and security vulnerabilities. Our novel foundation model enables scalable, precise reasoning for formally verifiable code across Rust, Golang, and smart contract VMs.\u0026amp;nbsp; We’ve won ​​a well-known formal verification benchmark called PutnamBench, which consists of 672 hard math problems from the William Lowell Putnam Exam, the oldest collegiate mathematics competition in North America. Backed by a world-class team – including ICPC champions, a Fields Medalist and an ACM Turing Award winner – we\u0026#39;re building the future where all code is provably correct.\u0026lt;/p\u0026gt;\n\u0026lt;h3\u0026gt;\u0026lt;strong\u0026gt;About the role\u0026lt;/strong\u0026gt;\u0026lt;/h3\u0026gt;\n\u0026lt;p\u0026gt;Join our team as an AI Engineer and help us push the boundaries of what\u0026#39;s possible in logical reasoning! We’re looking for a motivated individual to design, implement, and refine efficient Large Language Models (LLMs) pipelines for scaled distributed training. You\u0026#39;ll be at the forefront of designing and refining algorithms that go beyond the capabilities of traditional LLMs. You\u0026#39;ll work closely with a talented team of AI experts, EBM specialists, formal verification engineers, and software developers to create groundbreaking solutions.\u0026lt;/p\u0026gt;\n\u0026lt;h3\u0026gt;\u0026lt;strong\u0026gt;What you\u0026#39;ll do\u0026lt;/strong\u0026gt;\u0026lt;/h3\u0026gt;\n\u0026lt;ul\u0026gt;\n\u0026lt;li\u0026gt;Implement new reasoning algorithms and models\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Evaluate reasoning approaches, including latent space reasoning\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Pre-train, fine-tune, and modify the State-of-the-Art LLMs\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Optimizing and scaling LLM pipelines\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Adjust frameworks and interfaces to accelerate machine learning development\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Derive practical solutions and integrate them with the results of other teams to provide the best overall resolution\u0026lt;/li\u0026gt;\n\u0026lt;/ul\u0026gt;\n\u0026lt;h3\u0026gt;\u0026lt;strong\u0026gt;Qualifications\u0026lt;/strong\u0026gt;\u0026lt;/h3\u0026gt;\n\u0026lt;ul\u0026gt;\n\u0026lt;li\u0026gt;Deep understanding of transformers\u0026#39; internals, and ability to make radical changes to the architecture and handle higher-order derivatives\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Expertise in programming languages and tools critical for high-performance computing in Python/C++ and machine learning including Deep Learning frameworks like PyTorch /TensorFlow/JAX\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Expertise in optimizing machine learning systems, including general techniques and LLM-specific optimizations\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Understanding state-of-the-art approaches in LLM reasoning\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Ability to understand complex learning approaches, such as energy-based models\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;3+ years of production experience in ML Infra, DataOps, distributed training. Proficiency with Kubernetes clusters and distributed compute assets\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Strong communication and teamwork skills\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Readiness to explore and promote cutting edge technologies in ML Infrastructure domain and beyond\u0026lt;/li\u0026gt;\n\u0026lt;/ul\u0026gt;\n\u0026lt;p\u0026gt;\u0026amp;nbsp;\u0026lt;/p\u0026gt;\n\u0026lt;p\u0026gt;Bonus Points:\u0026lt;/p\u0026gt;\n\u0026lt;ul\u0026gt;\n\u0026lt;li\u0026gt;Demonstrated publications in any of the major conferences\u0026amp;nbsp;\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Experience in EBM or latent reasoning\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Demonstrated publications in any of the major conferences\u0026amp;nbsp;\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Mathematical Reasoning – discrete math and logic\u0026lt;/li\u0026gt;\n\u0026lt;/ul\u0026gt;\u0026lt;div class=\u0026quot;content-conclusion\u0026quot;\u0026gt;\u0026lt;p\u0026gt;\u0026lt;a href=\u0026quot;https://logicalintelligence.com/\u0026quot; target=\u0026quot;_blank\u0026quot;\u0026gt;logicalintelligence.com\u0026lt;/a\u0026gt;\u0026lt;/p\u0026gt;\u0026lt;/div\u0026gt;","departments":[{"id":4028531009,"name":"AI RESEARCH","child_ids":[],"parent_id":null}],"offices":[{"id":4027584009,"name":"San Francisco","location":"San Francisco, California, United States","child_ids":[],"parent_id":null}]},{"absolute_url":"https://job-boards.greenhouse.io/logicalintelligence/jobs/4117912009","data_compliance":[{"type":"gdpr","requires_consent":false,"requires_processing_consent":false,"requires_retention_consent":false,"retention_period":null,"demographic_data_consent_applies":false}],"internal_job_id":4080101009,"location":{"name":"San Francisco"},"metadata":null,"id":4117912009,"updated_at":"2026-04-22T14:58:44-04:00","requisition_id":"5","title":"AI Researcher in EBM","company_name":"Logical Intelligence","first_published":"2026-02-05T01:51:59-05:00","language":"en","application_deadline":null,"content":"\u0026lt;h3\u0026gt;\u0026lt;strong\u0026gt;Who we are\u0026lt;/strong\u0026gt;\u0026lt;/h3\u0026gt;\n\u0026lt;p\u0026gt;At Logical Intelligence, we\u0026#39;re revolutionizing software development with AI-powered formal verification. We\u0026#39;ve developed groundbreaking agents that provide mathematical guarantees of code correctness, ensuring that software behaves exactly as intended while proactively identifying bugs and security vulnerabilities. Our novel foundation model enables scalable, precise reasoning for formally verifiable code across Rust, Golang, and smart contract VMs. We’ve won ​​a well-known formal verification benchmark called PutnamBench, which consists of 672 hard math problems from the William Lowell Putnam Exam, the oldest collegiate mathematics competition in North America. Backed by a world-class team – including ICPC champions, a Fields Medalist and an ACM Turing Award winner – we\u0026#39;re building the future where all code is provably correct.\u0026lt;/p\u0026gt;\n\u0026lt;h3\u0026gt;\u0026lt;strong\u0026gt;About the role\u0026lt;/strong\u0026gt;\u0026lt;/h3\u0026gt;\n\u0026lt;p\u0026gt;Join our team as an AI Research Engineer and help us push the boundaries of what\u0026#39;s possible in logical reasoning! We’re looking for a motivated individual to build, maintain, and improve innovative approaches including (but not limited to!) energy-based modeling (EBM). You\u0026#39;ll be at the forefront of designing and refining algorithms that go beyond the capabilities of traditional Large Language Models (LLMs), tackling complex reasoning challenges. You\u0026#39;ll work closely with a talented team of AI experts, EBM specialists, formal verification engineers, and software developers to create groundbreaking solutions.\u0026lt;/p\u0026gt;\n\u0026lt;h3\u0026gt;\u0026lt;strong\u0026gt;What you\u0026#39;ll do\u0026lt;/strong\u0026gt;\u0026lt;/h3\u0026gt;\n\u0026lt;ul\u0026gt;\n\u0026lt;li\u0026gt;Research new reasoning algorithms and models\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Pre-train and fine-tune the State-of-the-Art LLMs\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Combine Reasoning algorithm and LLMs\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Build effective and efficient ML pipelines\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Collaborate with other teams to understand their pain points and priorities to define milestones of the corresponding roadmaps\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Derive practical solutions and integrate them with the results of other teams to provide the best overall resolution\u0026lt;/li\u0026gt;\n\u0026lt;/ul\u0026gt;\n\u0026lt;h3\u0026gt;\u0026lt;strong\u0026gt;Qualifications\u0026lt;/strong\u0026gt;\u0026lt;/h3\u0026gt;\n\u0026lt;ul\u0026gt;\n\u0026lt;li\u0026gt;You have an M.Sc. or Ph.D. (preferable) focusing on one or more of the following areas: Computer Science, Artificial Intelligence, Mathematics, or a closely related field\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;You have subject matter expertise and research in one or more of the following areas: Machine Learning, Deep Learning, Reasoning, Energy-based Modeling (preferable)\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Expertise in programming languages and tools critical for high-performance computing in Python/C++ and machine learning including Deep Learning frameworks like PyTorch /TensorFlow/JAX\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Strong communication and teamwork skills\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Experience with explicit and implicit reasoning\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Provable record of Energy-based usage for different problems\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Hands-on with algorithms used to train Energy-based models\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Demonstrated research publications in any of the major conferences (CVPR, ICLR, ICML, NeurIPS, ICCV, AAAI, ACL, etc.)\u0026lt;/li\u0026gt;\n\u0026lt;/ul\u0026gt;\n\u0026lt;p\u0026gt;\u0026lt;strong\u0026gt;Bonus Points\u0026lt;/strong\u0026gt;\u0026lt;/p\u0026gt;\n\u0026lt;ul\u0026gt;\n\u0026lt;li\u0026gt;Multi-node and multi-GPU training\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Mathematical Reasoning – discrete math and logic\u0026lt;/li\u0026gt;\n\u0026lt;li\u0026gt;Formal Verification - lean\u0026lt;/li\u0026gt;\n\u0026lt;/ul\u0026gt;\u0026lt;div class=\u0026quot;content-conclusion\u0026quot;\u0026gt;\u0026lt;p\u0026gt;\u0026lt;a href=\u0026quot;https://logicalintelligence.com/\u0026quot; target=\u0026quot;_blank\u0026quot;\u0026gt;logicalintelligence.com\u0026lt;/a\u0026gt;\u0026lt;/p\u0026gt;\u0026lt;/div\u0026gt;","departments":[{"id":4028531009,"name":"AI RESEARCH","child_ids":[],"parent_id":null}],"offices":[{"id":4027587009,"name":"Belgrade","location":"Belgrade, Belgrade, Serbia","child_ids":[],"parent_id":null},{"id":4027585009,"name":"Remote (outside USA)","location":"Belgrade, Belgrade, Serbia","child_ids":[],"parent_id":null},{"id":4027586009,"name":"Remote (USA)","location":"San Francisco, California, United States","child_ids":[],"parent_id":null},{"id":4027584009,"name":"San Francisco","location":"San Francisco, California, United States","child_ids":[],"parent_id":null}]}],"meta":{"total":3}}