Software Development Engineer, Automated Reasoning Group

We are building the next generation of formally verified AI infrastructure in the Amazon Web Services (AWS), Neuron Automated Reasoning group. We are seeking a talented and passionate Software Development Engineer who wants to work at the intersection of programming language theory, formal verification, and cloud-scale service architecture. As a Software Engineer on this team, you will become an expert on Lean 4, a leading open-source functional programming language and interactive theorem prov…