Siemens Industry Software is the leading partner in test and mechatronic simulation in the automotive and aerospace industries.
Our team, the aerospace competence center, located in Leuven, Belgium is looking for a researcher with compiler development interests.
Together with the research team, you will work on a new programming language for developing safety critical software for use on for example self driving cars or autonomous aircraft.
You will work on the compiler internals to implement code generation that targets LLVM intermediate representation, which is converted by LLVM to machine code. You will work on the translation of high level programming concepts to lower level LLVM concepts. Furthermore you will work on methods for cross compilation and deployment of programs to Arm boards.
Siemens Industry Software is the leading partner in test and mechatronic simulation in the automotive and aerospace industries.
Our team, the aerospace competence center, located in Leuven, Belgium is looking for a researcher with compiler development interests.
Together with the research team, you will work on a new programming language for developing safety critical software for use on for example self driving cars or autonomous aircraft.
You will work on the compiler internals to implement code generation that targets LLVM intermediate representation, which is converted by LLVM to machine code. You will work on the translation of high level programming concepts to lower level LLVM concepts. Furthermore you will work on methods for cross compilation and deployment of programs to Arm boards.
Siemens Industry Software is the leading partner in test and mechatronic simulation in the automotive and aerospace industries.
Our team, the aerospace competence center, located in Leuven, Belgium is looking for a researcher with compiler development interests.
Together with the research team, you will work on a new programming language for developing safety critical software for use on for example self driving cars or autonomous aircraft.
You will work on the compiler internals to implement code generation that targets LLVM intermediate representation, which is converted by LLVM to machine code. You will work on the translation of high level programming concepts to lower level LLVM concepts. Furthermore you will work on methods for cross compilation and deployment of programs to Arm boards.
Siemens Industry Software is the leading partner in test and mechatronic simulation in the automotive and aerospace industries.
Our team, the aerospace competence center, located in Leuven, Belgium is looking for a researcher with compiler development interests.
Together with the research team, you will work on a new programming language for developing safety critical software for use on for example self driving cars or autonomous aircraft.
You will work on the compiler internals to implement code generation that targets LLVM intermediate representation, which is converted by LLVM to machine code. You will work on the translation of high level programming concepts to lower level LLVM concepts. Furthermore you will work on methods for cross compilation and deployment of programs to Arm boards.
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.
Siemens Industry Software is the leading partner in test and mechatronic simulation in the automotive and aerospace industries.
Our team, the aerospace competence center, located in Leuven, Belgium is looking for a researcher with compiler development interests.
Together with the research team, you will work on a new programming language for developing safety critical software for use on for example self driving cars or autonomous aircraft.
You will work on the compiler internals to implement code generation that targets LLVM intermediate representation, which is converted by LLVM to machine code. You will work on the translation of high level programming concepts to lower level LLVM concepts. Furthermore you will work on methods for cross compilation and deployment of programs to Arm boards.
More info: https://jobs.siemens-info.com/jobs/70396?lang=en-gb
You can always contact me personally for questions or more information. See profile for email.