Symbolic AI Researcher
In this role, you will join the AI research team to boostrap our symbolic reasoning process using the homoiconic porperty of Common Lisp in conjuction with ML. You can work either remotely or in our Berlin or Brasov offices.
What you'll do
- Participate in the R&D process of bootstraping the symbolic reasoning process in OS 4
- Work closely with our ML Researchers and other Software Engineers to build the heterogenous self-reprogramming process in OS 4
- Work on a Rust, Erlang and VHDL transpiler in Common Lisp
What you'll bring
- Your love for mathematics and abstraction
- Your love for Common Lisp or Lambda Calculus
- Your unlimited ambition, modesty and resilience to failure
We are offering an innovation-driven environment and the opportunity to join like-minded people to build autonomous systems.