Great opportunity for PhD students!! At Database Systems Lab in AWS, we are working on a wide range of efforts towards ensuring correctness of distributed systems by integrating formal methods in all the stages of development process. Feel free to DM me or Ankush Desai