AWS Science of Security seeks researchers to design, develop, evaluate, and deploy automated reasoning solutions ensuring software correctness, security, and reliability. You will work on constraint solving, model checking, static analysis, and program analysis to advance security in AWS services.
Join a fast-moving, startup-like team within AWS Security, collaborating with renowned researchers to deliver impactful tools and verification frameworks for complex business problems and secure
#J-18808-LjbffrApplied Scientist - Automated Reasoning for Security in seattle at Unknown Company
This position is listed as full time and onsite.