Siemens Industry Software | Researcher / Compiler Developer | Belgium | Onsite Full-Time
In our aero research team at Siemens Industry Software we have two open positions for a compiler specialist with embedded systems interests or an embedded systems specialist with compiler interests to work on a new programming language for developing safety critical / autonomous systems.
You will investigate and develop a proof of concept of a new dataflow programming language which aims to combine high-level, safe-by-construction code which is optimized for correctness and clarity, with low-level control over data representations and memory management in order to achieve better performance.
You will work on the compiler internals to implement code generation that targets LLVM IR for cross compilation and deployment of programs to Arm boards. In addition you will work on contract based design methodologies and how code can be tested and verified automatically by making use of SMT solvers like Z3.
<a href="
You can always contact me personally for questions or more information. See profile for email.