
11 - 50 funcionários
🤖 Inteligência Artificial
🤝 B2B
🏢 Corporativo
Artificial Intelligence • B2B • Enterprise
A Logical Intelligence é uma empresa de pesquisa e engenharia de IA que desenvolve modelos baseados em energia (EBMs) e sistemas de raciocínio/prova formais para produzir código verificado para sistemas críticos de segurança. Suas tecnologias principais incluem o Aleph prover — um sistema de raciocínio formal de ponta — e o Kona 1. 0 (uma oferta de EBM). A liderança mostrada em seu site inclui Eve Bodnia (Fundadora & CEO), Yann LeCun (Presidente Fundador, Conselho de Pesquisa Técnica), e diretores técnicos seniores. A empresa enfatiza a verificação formal automática para geração de código, benchmarks de prova de teoremas formais, e aplicação de raciocínio EBM com LLMs como interfaces para escalar IA confiável e agente para aplicações críticas.
🕒 Julho 27
🗣️🇺🇸🇬🇧 Inglês obrigatório
Melhore suas chances de conseguir uma entrevista verificando sua pontuação de currículo antes de se candidatar.

11 - 50 funcionários
🤖 Inteligência Artificial
🤝 B2B
🏢 Corporativo
Artificial Intelligence • B2B • Enterprise
A Logical Intelligence é uma empresa de pesquisa e engenharia de IA que desenvolve modelos baseados em energia (EBMs) e sistemas de raciocínio/prova formais para produzir código verificado para sistemas críticos de segurança. Suas tecnologias principais incluem o Aleph prover — um sistema de raciocínio formal de ponta — e o Kona 1. 0 (uma oferta de EBM). A liderança mostrada em seu site inclui Eve Bodnia (Fundadora & CEO), Yann LeCun (Presidente Fundador, Conselho de Pesquisa Técnica), e diretores técnicos seniores. A empresa enfatiza a verificação formal automática para geração de código, benchmarks de prova de teoremas formais, e aplicação de raciocínio EBM com LLMs como interfaces para escalar IA confiável e agente para aplicações críticas.
• Research new reasoning algorithms and models • Develop model benchmarking processes and tools • Build effective and efficient ML data pipelines • Adjust frameworks and interfaces to accelerate machine learning development • Develop the infrastructure for data augmentation pipelines and synthetic data generation • Collaborate with other teams to understand their pain points and priorities to define milestones of the corresponding roadmaps • Derive practical solutions and integrate them with the results of other teams to provide the best overall resolution
• You have an M.Sc. focusing on one or more of the following areas: Computer Science, Artificial Intelligence, Mathematics, or a closely related field • 3+ years of production experience in ML Infra, DataOps, distributed training • 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 • Ability to understand deep learning algorithms, e.g. in natural language processing, reasoning • Familiarity with Azure/AWS/GCP cloud products for MLOps and DataOps pipelines • Proficiency with Kubernetes clusters and distributed compute assets • Strong communication and teamwork skills • Readiness to explore and promote cutting edge technologies in ML Infrastructure domain and beyond
Candidatar-se🕒 Julho 27
Software Developer responsible for leveraging AI tools to develop innovative solutions. Engaging in full-stack development with a focus on Microsoft technologies in a remote capacity.
🗣️🇺🇸🇬🇧 Inglês obrigatório
🕒 Julho 27
Forward Deployed AI Engineer deploying AI solutions for fraud prevention in financial institutions. Collaborating with clients to optimize their unique fraud operations and enhance technological transformation.
🗣️🇺🇸🇬🇧 Inglês obrigatório
🕒 Julho 27
Full-stack .NET engineer integrating AI features for healthcare software solutions at Optivate. Collaborating across teams to design and maintain responsive services and support tools.
🗣️🇺🇸🇬🇧 Inglês obrigatório
🕒 Julho 27
Enterprise AI Architect designing and implementing enterprise-scale AI solutions at Tiger Analytics. Collaborating with business and engineering leaders to drive AI adoption across the organization.
🇺🇸 Estados Unidos – Remoto (EUA)
⏰ Tempo Integral
🟠 Sênior
🔴 Especialista
🤖 Engenheiro de IA
🦅 Patrocina Visto H1B
🗣️🇺🇸🇬🇧 Inglês obrigatório
🕒 Julho 27
Tech Lead overseeing an AI Inference team at WEKA, bridging research and production-grade engineering. Leading and mentoring engineers while driving execution on high-performance systems.
🇺🇸 Estados Unidos – Remoto (EUA)
💰 $140.000.000 Series E - WEKA em 2024-05
⏰ Tempo Integral
🟠 Sênior
🤖 Engenheiro de IA
🗣️🇺🇸🇬🇧 Inglês obrigatório