Senior Developer for Compiler Project at Warszawa

About our Team

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).

Role and Responsibilities

·      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

Technologies in use

·      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

Skills and Qualifications

·      5 years of 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 Git & GitHub

·      Experience with debugging tools

Nice to have

·      Experience with static analysis tools

Gi Group jest jedną z największych agencji pracy i doradztwa personalnego na świecie. Firma zapewnia kompleksowe usługi w zakresie rekrutacji pracowników wszystkich szczebli, stałego i czasowego zatrudnienia oraz outsourcingu. 

Nr wpisu do Rejestru Agencji Zatrudnienia: 2010