Jonas Kaiser
About Jonas Kaiser
Jonas Kaiser is a Senior DevOps Engineer currently working at ioki, a DB company, in Frankfurt am Main, Germany. He has a strong background in computer science and extensive experience in software engineering, server administration, and functional programming.
Work at ioki
Jonas Kaiser currently serves as a Senior DevOps Engineer at ioki, a DB company, since 2020. His role involves overseeing the development and operational aspects of software engineering. Prior to this position, he worked at ioki as an Experte Software Engineering from 2019 to 2020. His responsibilities include maintaining a modern CI/CD software development lifecycle, which focuses on utilizing tools such as GitLab and Nexus.
Previous Experience in Software Development
Before joining ioki, Jonas Kaiser worked as a Backend Developer at dataWerks GmbH for six months in 2018. He also gained experience as an intern at Google in 2010, where he worked for two months in the Munich area. Additionally, he served as a Research Assistant at Saarland Informatics Campus from 2012 to 2018, contributing to various research projects in computer science.
Education and Expertise
Jonas Kaiser holds a Bachelor of Arts in Computer Science from the University of Cambridge, which he completed from 2007 to 2010. He furthered his education at Universität des Saarlandes, where he earned a Master of Science in Computer Science from 2010 to 2013. He also obtained a Doctor of Engineering in Mathematics and Computer Science from the same institution, completing his studies in 2019. His academic background provides a strong foundation for his expertise in software engineering and functional programming.
Technical Skills and Knowledge
Jonas Kaiser possesses strong practical experience with functional programming languages, including Haskell, Scala, ML, and Ocaml. He has expertise in provisioning virtual hardware using Openstack, SaltStack, and Terraform, particularly for high-performance computing pipelines. His technical knowledge extends to administering a Linux server landscape, managing Debian and CentOS machines, and implementing services such as DNS and DHCP. He also has a basic understanding of core Machine Learning principles.
Research and Presentation Skills
During his PhD research, Jonas Kaiser worked with the type theory-based proof assistant Coq to verify complex mathematical results. He has demonstrated the ability to present intricate technical results effectively to both expert audiences and undergraduate students, showcasing his communication skills in technical environments.