Job Openings

Principal Software Engineer (PolySpace Kernel)

Job #:	6914-GM
Job Title:	Principal Software Engineer (PolySpace Kernel)
Location:	Grenoble
% Travel:	None to Minimal
Area of Interest:	Principal Software Engineer (PolySpace Kernel)

Job Summary

This key developer will work as part of a high-tech team to improve existing capabilities and develop innovative ones in the PolySpace Kernel team.

Responsibilities

You will design and implement improvements and new features in the key modules of PolySpace products.
You are comfortable working on a large code base with minimal guidance and you will also:

Specify, design and implement the key core components of the PolySpace products
Provide technologically innovative ideas (what to develop and why?).
Provide innovative engineering ideas (how to develop them in the most efficient way?).
Keep up with technological innovations in the Abstract Interpretation, Static Analysis, and formal proof domains.

* The candidate must have good written and spoken English.

Qualifications

Excellent oral and written English and communication.
A Master or Ph.D. in Computer Science, Computer Engineering or other related engineering field.
Experience in Formal Methods
Working knowledge of functional programming languages (SML and/or OCAML).
Minimum of 2 years development experience

Nice to Have:

Good French language skills
Experience in the area of abstract interpretation and formal proofing methodologies.
Experience with Programming Language Semantics, Object Oriented Development
Knowledge of MATLAB, Simulink, or other Model Based design products
Knowledge of C or C++ Programming
Knowledge of UML, MATLAB, Simulink, or other Model Based Design products