Goedel Team Update
· One min read
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 submitted two papers for publication, carried out consultancy with other teams and has an opening for an intern.
Details
-
Finalised and submitted two papers to ICE 2023
-
Studying Praos paper.
-
The team is hiring a performance engineering intern - https://apply.workable.com/io-global/j/BFEC5B0AFF/
-
Design exploration for congestion management.