What we offer
We take on design, development and research contracts, deliver training, and write technical documentation, for systems where reliability, safety and security matter most.
Safety-critical systems
Design and development, data safety assurance, verification and validation, formal methods and proof, and software metrics.
Secure systems
Porting software to CHERI hardware and development on the seL4 microkernel.
Embedded systems
Embedded kernels, hard and soft real-time systems, CAN bus, hardware interfacing and real-time audio.
Systems software
Linux and open-source development in Python, C, C++ and assembler.
Rapid prototyping
Working web applications built quickly with Python, Flask, HTML and CSS, to test ideas before full investment.
Test infrastructure
Hardware and software test harnesses and emulators, including support for formal verification.
Networks
Network design, deployment, monitoring and security.
Training and technical writing
Courses and workshops on data safety and high-integrity engineering, plus clear technical documentation.
How we work
- 1Understand the problem
- 2Prototype quickly
- 3Verify rigorously
- 4Hand over with full documentation