Program Synthesis Engineer

Vaga não está no LinkedIn

🕒 Outubro 23, 2025

Candidatar-se

Encontrar Vagas Remotas Similares

Receber Emails de Vagas Remotas

📊 Verifique sua pontuação de currículo para esta vaga

Melhore suas chances de conseguir uma entrevista verificando sua pontuação de currículo antes de se candidatar.

Enviar Currículo

PlantingSpace

SiteLinkedInTodas as Vagas

11 - 50 funcionários

🤖 Inteligência Artificial

☁️ SaaS

🏢 Corporativo

💰 Seed Round em 2021-11

Artificial Intelligence • SaaS • Enterprise

A PlantingSpace está desenvolvendo um sistema para representar com precisão o conhecimento e a incerteza, permitindo a descoberta de insights e a resolução de problemas de forma transparente. A plataforma integra informações heterogêneas (sites, bancos de dados, artigos, modelos) e responde a consultas em linguagem natural ou específica de domínio, retornando respostas com distribuições probabilísticas e um relato transparente, passo a passo, do raciocínio, fontes de dados, métodos estatísticos e modelos utilizados. Os usos pretendidos incluem atuação como analistas, assistentes de pesquisa ou cientistas de dados em diversos domínios; a abordagem combina teoria das categorias, estatística bayesiana, deep learning e ciência cognitiva para estruturar, raciocinar e apresentar conhecimento incerto.

Descrição

• Define new features or fixes, based on awareness of overall objectives and challenges • Commit to delivering defined features or fixes end-to-end • Define implementation strategies • Leverage the expertise of other team members effectively • Write design documents for more complex problems • Write clean and performant code • Help other team members to deliver on their goals

🎯 Requisitos

• Designing and implementing complex, non-standard algorithms (graph theory, path finding, custom inference, compilers) • Experience in a collaborative, commercial software engineering environment, working on large codebases and using practices like CI/CD, testing, and code reviews • Implementation of program synthesis frameworks • Strong foundation in computer science algorithms and data structures • Julia, or usage of some more functional or typed languages, e.g. Rust, OCaml, Clojure, C++, or Haskell • Profiling and low level performance optimisation • Mathematics, Computer Science, or Statistics advanced degree.

🏖️ Benefícios

• Our team works fully remotely, and mostly within the CET timezone.