Consulting

In addition to providing support contracts for the Songlark toolchain, we are also available for general consulting work. This consulting is available for application-specific work, work on the Songlark toolchain, as well as more broad work.

Our expertise is in programming languages and formal methods. We have a particular focus on compiler optimisations, light-weight formal methods such as model checking and property-based testing, and embedded systems.