Company Imagine
Posting Date 3/17/2006
Job Location Roanne, France
Description The selected candidate will: # Contribute to the specification, design, implementation and maintenance of a new interactive and optimizing Modelica compiler (see http://www.modelica.org), including:
- Semantic analysis of Modelica programs
- Bytecode generation and virtual machine implementation
- Simplification of equations (index reduction, BLT transformation, symbolic Jacobian calculation, code optimization)
- Coupling with a DAE or ODE numerical solver

# Help the existing team to integrate the new compiler in the AMESim environment

# Contribute to the development and integration of pre-post processing tools and command interpreters

Qualifications Technical experience in the field of compiler implementation (preferably using functional programming languages such as Objective Caml) and tools such as Lex and Yacc (or equivalent) and notions of symbolic calculus (computer algebra systems) as well as operational research (especially, network flows).

Knowledge of hybrid physical system simulation and modeling languages such as Modelica or VHDL-AMS is a huge advantage.

Contact Denis Fargeton
Email jobs_5@amesim.com
Website www.amesim.com

NULLSTONE
Automated Compiler Performance Analysis Suite.
nullstone.com

Compiler Books
Parsing, Code Generation, Optimization, Language Design, Debuggers, Compiler Theory
compilerbooks.com

Compiler Optimizations
Dead Code Elimination, Hoisting, Function Inlining, Loop Fusion, Code Motion, Constant Folding, ...
compileroptimizations.com