Software Developer for Static Code-Analysis (f/m/d)
GLIWA is a worldwide leading provider for timing related analysis and interdisciplinary expert services. With the powerful Analysis Suite T1, we offer the most efficient software-based timing analysis optimization and verification tools for embedded software.
Position Description
As a Software Developer for Static Code-Analysis you have the responsible task to maintain, and expand the static code testing features in T1.
- Specification, design and implementation of static code analysis algorithms
- Development of the corresponding test-plans as well as unit-tests and system-tests
- Further development of our products in the field of static analysis
Qualifications
- Experience in analysis of source and machine code
- Excellent knowledge of the language C with focus on embedded software
- Excellent knowledge of the instruction set of at least one micro-controller, preferably TriCore, Power Architecture, ARM, RH850 or x86
- Experience in abstract Interpretation
- Knowledge of formal methods
- Knowledge of model checking
- Desirable knowledge in the areas of code generation, compiler construction, denotational / operational semantics and constraint programming would be desirable
- Advanced knowledge of C#/.NET
- Degree in computer science or software engineering or a comparable university degree
- Excellent English knowledge
- Experience in the field of automotive software engineering is an advantage
- Knowledge of another European language in spoken and written is a plus
Benefits
We care for our employees in many different ways. Find out more here.
Contact
Do you have any questions about the position or application? We’d love to hear from you and are looking forward to an email or a call.
+49 881 138522-0
