Our applied scientists work at the intersection of theory and practice to drive scientific innovation and provide value for our customers. AWS Automated Reasoning teams are responsible for delivering tools that are called billions of times daily. Amazon development teams are integrating automated reasoning tools such as Dafny, P, and SAW into their development processes, raising the bar on the security, durability, availability, and quality of our products. AWS Automated Reasoning teams are changing how computer systems built on top of the cloud are built and operated.
KRAFTON, creators of Player Unknown’s Battlegrounds(PUBG), provides a unique environment for researchers to collaborate with top tier engineers from AAA game makers to apply their academic findings to real-world products. We welcome you to join us and learn about ongoing deep learning research projects in KRAFTON to create virtual friend, and related opportunities (job, internship and academic collaboration).
Microsoft Research (MSR) provides a dynamic environment for research careers with a network of world-class research labs led by globally recognized research scientists and engineers. You are welcome to join this session to learn about the opportunities (job, internship, and academic collaboration) in MSR.
VPlusLab Inc. was founded by the KAIST professors who have developed automated software testing/debugging techniques with industries for 20 years. To improve software quality and reliability cost-effectively, we provide automated software testing tools, training, and services.
We welcome you to join us and learn about VPlusLab Inc. (https://vpluslab.kr) and its automated unit testing tool CROWN 2.0 (https://vpluslab.kr/crown2).
See also this video about VPlusLab Inc.