The goal of GLIWA is to continually develop its good name as a conveyor of know-how in the embedded timing domain. In this pursuit, GLIWA seeks new experts, who are interested in, on the one hand, deep insight into customer projects and, on the other hand, to take part in the development of future timing tools.

Working at a small company brings many interesting aspects. The high degree of independence and personal responsibility immediately implies a high degree of freedom. There is no clocking in and out and working from home is no problem. GLIWA provides a laptop, internet access and a mobile phone, of course. Official channels are necessarily very short, which pleasantly simplifies work and communication.

Motivation and creativity are encumbered neither by excessive processes and restructuring nor by political point-scoring. Or, in the words of electrical engineering, reactive power is zero. Whenever necessary and possible, employees get together to learn from each other. This affords not only a growth of knowledge but also support from colleagues during critical times in projects. This is a key aspect that we make explicit to customers: when the going gets tough, our employees can always rely on GLIWA back-up.

Besides great levels of customer satisfaction, this strategy has other advantages for employees: interesting insights into other projects, less stress and the good feeling of never being alone.

If you are familiar with C# or if you are an experienced embedded software developer, why not give us a call? We look forward to it.

For the further development of our market-leading product T1 we are looking for experts in the field of static code analysis. With your outstanding knowledge and skills, we would like to significantly expand the functionality of T1 - not least to open up new markets. Your own ideas are in demand and there is plenty of scope for their development. At this point, almost exclusive work from the home office is possible.

Job description

• 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

We are looking for experience, familiarity or knowledge of as many as possible of the following, in order of decreasing importance:

• Analysis of source and machine code
• Very good knowledge of the language C with focus on embedded software
• Very good knowledge of the instruction set of at least one micro-controller, preferably TriCore, Power Architecture, ARM or RH850
• Abstract Interpretation
• Formal methods
• Model checking
• Desirable knowledge in the areas of code generation, compiler construction, denotational / operational semantics and constraint programming would be desirable

General qualification

• Completed degree in computer science or software engineering or a comparable university degree
• Good knowledge of C#/.NET
• Experience in the field of automotive software engineering is an advantage
• Very good knowledge of English in spoken and written
• Very good knowledge of German in spoken and written

You are interested in the position and would like to develop further in a very motivated team? Then we look forward to meeting you in person soon. Start date: immediately.

Please send your CV by email to: .