This is a relatively new company which was established in 2015 to transform one of the co-founders’ PhD thesis into a marketable product. The SME makes critical embedded computation software. The software is designed to help programmers write calculations. In simple words, it works like ‘spell check’ software but instead it checks the codes of the programmes and indicates where there might be a problem of accuracy or stability performance and gives suggestions on how to change the code to solve the problem. The software is developed with the collaboration of some partners from academia and currently its main target market is the defence and aerospace sectors. Numalis currently employs six people.