Benjamin Kiesl-Reiter serves as a Senior Applied Scientist at Amazon Web Services (AWS). In this role, he is part of the AWS Bedrock Automated Reasoning checks team, where his work centers on integrating large language models with automated reasoning techniques. The primary goal of his efforts is to enhance the reliability of AI systems.

Prior to his current position, Kiesl-Reiter held a role as a Postdoctoral Researcher at the Cispa Helmholtz Center For Information Security.