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).
- Develop and perform research in static code analysis domain
- Integrate with newest versions of Open Source compilers & libraries (LLVM, Clang, OpenJDK, Kotlin, Roslyn)
- Improve analysis engines and checkers
- Maintain integrated open source static analysis engines
- Develop architecture, documentation, tests
- LLVM 16.0.6, Clang 16 (will be upgraded)
- C/C++ (14-17) and will be 20
- Java (OpenJDK 21 and will be upgraded)
- Kotlin (2.0 and will be upgraded)
- Go Tools
· 5 year’s experience as software developer
- Professional experience with at least two languages (C/C++, C#, Java/Kotlin, Go)
- Professional experience or good academic understanding of compilers (frontend & backend)
- Experience with debugging tools
- Experience with Git & GitHub
- Experience with static analysis tools
- Team:
- Friendly working atmosphere
- Wide range of trainings (technical / soft-skills / e-learning platform)
- Opportunity to work in multiple projects
- Multidisciplinary and multicultural team
- Working with the latest technologies on the market
- Monthly integration budget
- Possibility to attend local and foreign conferences
- Opportunity to participate in science research (scientific papers, project proposals, patents applications, development of own side-projects)
- Equipment:
- Laptop and PC workstation + 2 external monitors
- OS: Windows, Linux
- Benefits:
- Private medical care (possibility to add family members)
- Multisport card
- Life insurance
- Lunch card
- A partial reimbursement of the cost of an English language course
- Possibility to learn Korean for free
- Variety of discounts (Samsung products, theaters, restaurants)
- Unlimited free access to Copernicus Science Center for you and your friends
- Possibility to test new Samsung products
- Location:
- Office in Warsaw Spire near metro station
- Attractive relocation package
- Hybrid model of work – 3 days from the office per week
- Team:
- Friendly working atmosphere
- Wide range of trainings (technical / soft-skills / e-learning platform)
- Multidisciplinary and multicultural team
- Working with the latest technologies on the market
- Monthly integration budget
- Equipment:
- Laptop and PC workstation + 2 external monitors
- OS: Windows, Linux
- Benefits:
- Variety of discounts (Samsung products, theaters, restaurants)
- Unlimited free access to Copernicus Science Center for you and your friends
- Possibility to test new Samsung products
- Location:
- Office in Warsaw Spire near metro station
- Hybrid model of work – 3 days from the office per week