High-confidence validation
of analog and mixed-signal circuits



Work Packages





Private area

Job offers

Job offers

(updated April 14, 2007)

We are looking for candidates for the following positions:
  1. Inria expert engineer (ingénieur Expert INRIA)
  2. Postdoc in LJK (post-doc au laboratoire LJK)

Position : INRIA Expert Engineer
Full description in English
Full description in French

Starting time:  Before September 2007
Gross Salary (before tax): between 2400 euros and 2800 euros following the professional and the educational background.

Context: Within the BipOp team (, the engineer will work on the project VAL-AMS (a common French ANR project with the VERIMAG laboratory and and the Laboratory Jean Kuntzmann) concerning the simulation and the validation of hybrid electrical circuits ( tdang/VAL-AMS/).

Position Description: The numerical simulation of electrical circuits is of utmost importance for the design and the validation of electrical circuits. In this context, the need for an efficient hybrid (analog/ digital) simulator is unavoidable. The approach proposed by the BipOp project is to recast a certain class of hybrid systems into the framework of the non smooth dynamical systems. This framework provides us with some definitions of global solutions together with reliable and efficient simulation tools, robust with respect to modes changes and events. This approach, which has been already successfully implemented for the nonsmooth mechanical systems has been implemented in the scientific software platform SICONOS ( for small electrical circuits. The objective of this job is to formalize the treatment of large electrical circuits from theirs descriptions in terms of SPICE-type netlists. More precisely, the job consists in:
- analyzing the basic methods to formulate circuit equations (Sparse Tableau Analysis, Modified Nodal Analysis),
- understanding the difficulties and the specificities of the non smooth formulation of circuits,
- proposing a method and implementing a software module in C++ for the automatic formulation of circuits inside SICONOS,
- validating the approach by a set of industrial tests.

_Required skills and educational background_
- Master or Ph. D thesis in Applied Mathematics/Numerical Analysis.  - Scientific computing: Linear Algebra and Ordinary Differential Equations  - Notion in Graph Theory.
- C++ programming

Contact  A curriculum vitæ and a cover letter have to be sent in preference by e-mail to
- Vincent Acary (, Projet BipOp, INRIA RhÆone Alpes, Innovallée, 655 avenue de l Europe, Montbonnot 38334 Saint Ismier Cedex, FRANCE
and with a copy to
- Marie-Anne Dauphin, (, Service des Ressources Humaines, INRIA Rhône Alpes, Innovallée, 655 avenue de l Europe, Montbonnot 38334 Saint Ismier Cedex, FRANCE

Post-doc position at LJK laboratory

Full description in .pdf

Beginning: September 2007
: 12 months
: Laboratoire Jean Kuntzmann, Grenoble, France
: Antoine Girard (

Scientific context This post-doc position is opened within the ANR funded project
VAL-AMS (High Confidence Validation of Analog and Mixed Signal Circuits)
( The VAL-AMS project brings
 together researchers from the Laboratory Verimag and the Laboratory Jean
Kuntzmann. The goal of this project is to improve the state of the art of analog
and mixed signal design by investigating simulation-based analysis methods
which can guarantee some level of confidence in the results. The project
intends to build an experimental platform for validating the correctness of
analog and mixed-signal circuits, a component of increasing importance for
the functioning of modern embedded system. The platform will combine two
technologies currently being developed by the partners: an effiient and
physically-accurate simulator for large analog and mixed-signal circuits and
the methods for covering the state space of such circuits by choosing
appropriate input signals.

Job Scope

The recent notion of bisimulation metrics allows us to infer from a tra jectory of a
dynamical system, the behaviour of an infinite number of tra jectories located in its
neighbourhood. Thus, the validation of an infinite number of tra jectories is made
possible using only a finite number of numerical simulations. Particularly, the
postdoctoral fellow will work on the following problems:
   - Definition of algorithms for the selection of the tra jectories that need to be
simulated. The goal is to find efficient strategies allowing the minimization of
      the number of numerical simulations needed for the validation of the system.
   - Development of bisimulation metrics for models of analog and mixed signal

The succesful candidate should have a Ph.D. in Applied Mathematics or a related
area (such as Computer Science or Automatic Control). Programming experience
(C++, Matlab) and knowledge of mathematics required.