The team works on applied research and consulting in formal methods that is directly applicable to evidence based engineering in Core Tech and beyond.
High level summary
This sprint the team had two paper accepted for ICE 2023 (https://www.discotec.org/2023/ice). The event will be held in Lisbon on 19th June 2023. The papers will be published in EPTCS.
Details
Application layer for Praos formalisation in review.
Participating in interactive peer review process for ICE 2023.
The team is hiring a performance engineering intern - https://apply.workable.com/io-global/j/BFEC5B0AFF/