🛠 Tech Stack

💼 About This Role

You'll build a program synthesis pipeline for a system that represents domain knowledge as modular probabilistic models, with applications in finance and scientific research. You'll choose your focus between theory and production, working with cutting-edge Bayesian statistics and category theory. You'll collaborate with a remote-first team that values intellectual curiosity and real impact.

🎯 What You'll Do

• Design and implement complex algorithms for program synthesis
• Write clean, performant code and design documents
• Collaborate with team members to deliver features end-to-end
• Leverage expertise in graph theory, path finding, and compilers

📋 Requirements

• 3+ years experience in commercial software engineering
• Experience designing complex, non-standard algorithms (graph theory, compilers)
• Proficiency in CI/CD, testing, and code reviews in large codebases
• Strong foundation in computer science algorithms and data structures

✨ Nice to Have

• Experience with program synthesis frameworks
• Proficiency in Julia, Rust, OCaml, or Haskell
• Advanced degree in Mathematics, Computer Science, or Statistics

🎁 Benefits & Perks

• 🏖️ Fully remote work within CET timezone
• 📚 Exposure to cutting-edge research in Bayesian statistics and category theory
• 🔬 Choice of focus between theory and production systems
• 🤝 Strong collaborative culture with direct feedback and iterative development