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 has been working on final revisions for the pre-proceedings versions of two ICE 2023 papers.
Details
Porting Ouroboros Praos formalisation to new application layer.
Preparing pre-proceedings version of two ICE 2023 papers.
The team is hiring a performance engineering intern - https://apply.workable.com/io-global/j/BFEC5B0AFF/