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
The team is working on porting an existing formalisation of Ouroboros Praos to a newer foundation.
Details
The team worked on documentation.
The team worked on an application layer for the Praos formalisation.
The team is hiring a performance engineering intern - https://apply.workable.com/io-global/j/BFEC5B0AFF/