Design and develop core L1 blockchain infrastructure with a focus on performance, reliability, and correctness. Responsibilities include building custom tooling to automate benchmarking and performance testing pipelines, applying formal verification techniques to write mathematical proofs ensuring software correctness, and contributing to the development of foundational chain architecture and systems.