Aesthetic Integration

Algorithm Design, Reinvented. We create groundbreaking tools that analyse algorithms, helping make them safe, fair and transparent.

Created by leading innovators in software safety, trading system design and risk management, AI's patent-pending formal verification technology is revolutionising the safety, stability and transparency of global financial markets.

Aesthetic Integration London, United Kingdom
Aug 04, 2017
Full time
DESCRIPTION We're looking for an exceptional quantitative analyst with experience working with financial data, developing trading strategies, and performing risk and microstructure analysis for leading financial institutions. You will be responsible for using cutting-edge automated reasoning tools developed by AI to analyze microstructure models from leading global venues (exchanges, dark pools, crossing networks, etc.). REQUIREMENTS Essential Skills Strong software development skills Experience with large financial datasets Deep understanding of market microstructure Experience with risk modelling and strategy design Highly Desirable Functional programming e.g. OCaml, Haskell, SML and Lisp. Python development Java development & application deployment C and C++ development Web development Essential Experience Working with complex software systems Designing efficient algorithms MSc and/or PhD in CS/Maths or equivalent experience. Highly Desirable Formal verification and static analysis techniques Automatic and interactive theorem proving Compiler development Concurrency theory and concurrent systems Build system management and best practices
Aesthetic Integration London, United Kingdom
Aug 04, 2017
Full time
DESCRIPTION We’re looking for talented R&D engineers who have significant experience working with complex software systems to join our team in London. You will be contributing to Imandra, the cutting edge automated reasoning engine that powers AI’s algorithm analysis technology. REQUIREMENTS Essential Skills Strong software development skills Functional programming e.g. OCaml, Haskell, SML and Lisp. Highly Desirable Python development Java development & application deployment C and C++ development Web development Essential Experience Working with complex software systems Designing efficient algorithms MSc and/or PhD in CS/Maths or equivalent experience. Highly Desirable Formal verification and static analysis techniques Automatic and interactive theorem proving Compiler development Concurrency theory and concurrent systems Build system management and best practices