Samsung Electronics is putting a lot of effort into software quality and software development process. In cooperation with other Samsung Electronics centers and Open Source community we are developing Static Verification Analyzer tool to detect code errors. Our goal is to detect hidden defects in C/C++/C#/Java/Kotlin code.
As part of the project we are planning to develop core engine, defect analysis engine, structure analysis engine and continue integration of open source components (like Clang, OpenJDK, SpotBugs, KotlinC).
Technologies in use
•LLVM 16.0.6, Clang 16 (will be upgraded)
•C/C++ (14-17) and will be 20
•Java
•Kotlin
•Go Tools
•GitHub & Atlassian tools
If you share our faith in the power of technology that changes reality, you work with passion, you have a curiosity about the world and you still want to learn - this is the place for you, and we know what types of working conditions to create to foster your development. We are looking for people who can turn bold visions of the future into projects and products that will serve millions of people around the world.