Program Synthesis Engineer

Job not on LinkedIn

October 23

Clojure

Haskell

Rust

Apply Now
Logo of PlantingSpace

PlantingSpace

Artificial Intelligence • SaaS • Enterprise

PlantingSpace is developing an advanced AI system that aims to represent knowledge and uncertainty to facilitate the discovery of insights and enable transparent problem-solving. The company is addressing the challenges of accessing and combining vast amounts of information spread across various mediums such as websites, databases, and scientific literature. Their system uses a probabilistic framework for reasoning and learning, making use of components like category theory, Bayesian statistics, and deep learning to improve the transparency and reliability of AI's reasoning capabilities. PlantingSpace's approach involves developing a universal language for representing heterogeneous information and employing a visual and natural language representation to make reasoning processes understandable. The company provides their AI services in various domains, acting as research assistants, analysts, or data scientists, and focuses on harnessing cutting-edge AI techniques to enhance analysis and problem-solving.

11 - 50 employees

🤖 Artificial Intelligence

☁️ SaaS

🏢 Enterprise

💰 Seed Round on 2021-11

📋 Description

• 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

🎯 Requirements

• 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.

🏖️ Benefits

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

Apply Now

Similar Jobs

October 23

Kryterion, Inc.

201 - 500

📚 Education

🏢 Enterprise

☁️ SaaS

Associate Director of Engineering at Kryterion driving technical strategy and leading engineering teams. Focus on scalable software solutions for underserved individuals to earn credentials globally.

🇺🇸 United States – Remote

⏰ Full Time

🟠 Senior

🖥 Software Engineer

October 23

Tenjin

11 - 50

☁️ SaaS

🤝 B2B

🎮 Gaming

Senior Mobile SDK Engineer developing and maintaining mobile SDKs for iOS, Android, and Unity. Collaborating with app developers to resolve integration challenges and enhance user experience.

🇺🇸 United States – Remote

💵 $125k - $225k / year

💰 $2.5M Seed Round on 2016-06

⏰ Full Time

🟠 Senior

🖥 Software Engineer

October 22

Quartermaster

2 - 10

🤖 Artificial Intelligence

🔒 Cybersecurity

🚗 Transport

Administrative Assistant supporting engineering, product, and leadership teams at Quartermaster startup. Managing day-to-day administrative tasks and improving team efficiency in a fast-paced environment.

🇺🇸 United States – Remote

⏰ Full Time

🟢 Junior

🟡 Mid-level

🖥 Software Engineer

🚫👨‍🎓 No degree required

October 22

Closing Gap

1 - 10

🤝 B2B

🎯 Recruiter

👥 HR Tech

Freelance WordPress Developer creating modern, high-performing websites for The Closing Gap. Responsible for design, customization, and code maintenance in a remote setting.

🇺🇸 United States – Remote

💵 ₹5k / year

⏰ Full Time

🟡 Mid-level

🟠 Senior

🖥 Software Engineer

October 22

OM1, Inc.

51 - 200

🤖 Artificial Intelligence

⚕️ Healthcare Insurance

💊 Pharmaceuticals

Director/Senior Director of Engineering focusing on the data platform strategies at OM1. Leading a global team to enhance data processing efficiency and capabilities.

🇺🇸 United States – Remote

⏰ Full Time

🟠 Senior

🖥 Software Engineer

Developed by Lior Neu-ner. I'd love to hear your feedback — Get in touch via DM or support@remoterocketship.com