Symbolic AI Research Engineer

About Us

We specialize in developing language models designed for the formalization, verification, and solving of complex industrial-scale optimization problems. Our technology enables users to ingest domain knowledge, amend assumptions, design scenarios and perform stress-tests in plain language.

Role Description

We are seeking a full-time Symbolic AI Research Engineer to join our team in Zurich. You will lead the research and implementation of models at the intersection of Large Language Models (LLMs) and formal verification. You will collaborate with a multidisciplinary team to push the boundaries of reliable AI.

Qualifications

• Proficiency in Lean, Coq, Isabelle/HOL, or similar proof assistants.
• Strong understanding of Type Theory and experience with Dependent Types.
• Experience in Functional Programming (e.g., Haskell, OCaml, Lean).
• Understanding of Machine Learning theory and LLM architectures
• Bachelor's, Master's, or Ph.D. in Computer Science, Mathematics, or a related field.
• Excellent communication skills for collaborating in a high-intensity research environment.