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 teams presented two papers at ICE 2023.
Details
-
Presented two papers at ICE 2023: https://www.discotec.org/2023/ice
-
Analysing and implementing chain synchronization mini protocol
-
The team is hiring a performance engineering intern - https://apply.workable.com/io-global/j/BFEC5B0AFF/