Senior Functional Programmer

London - Hybrid

We're partnered with a start-up who are developing a ground-breaking architecture for logical reasoning in AI, tackling real-world challenges in semiconductors, software, quantum computing, and more. They are backed by a $200 million funded AI life-sciences firm, with the intent to spin out and raise venture capital imminently.

You'll focus on functional programming to support neural network and software development.

Responsibilities:

• Lead the design and development of AI system components using functional programming expertise.

• Implement and optimise algorithms for automated theorem proving.

• Utilise various logic systems in algorithm development.

• Integrate AI components like machine learning models and symbolic reasoning engines.

• Apply advanced mathematical concepts and optimisation techniques in system design.

Required Experience:

• Functional programming experience essential. ideally Lean.

• Some experience or interest in building AI systems.

• Ideally worked in a start-up.

• Ideally has a PhD in Computer Science, Mathematics or a similar field.

NOTE: We are unable to offer sponsorship and candidates must be based in the UK.