Jonas Klamroth studied Computer Science at the Karlsruhe Institute of Technology (KIT), focusing on formal methods and cryptography. He completed his Master's thesis entitled "Modular Verification of JML Contracts Using Bounded Model Checking" under the supervision of Prof. Dr. Bernhard Beckert, and graduated in 2019 with a Master of Science degree.
Since April 2019, he has been working as a research scientist at the FZI Research Center for Information Technology in the Software Engineering (SE) research division. His work primarily focuses on the formal verification of quantum software.
In 2025, Jonas Klamroth earned his PhD with distinction from KIT.