VERIMAG is Looking for an Enlightened Software Engineer
=======================================================

VERIMAG is an academic research laboratory associated with the CNRS
(French National Research Center), UJF (Jospeh Fourier University of
Grenoble) and INPG (Grenoble Engineering School). VERIMAG specializes
in all aspects related to the development of reactive real-time
systems, including modeling, programming languages and formal
verification tools.

Kronos is a tool developed at VERIMAG by S. Yovine, A. Olivero, C.
Daws and S. Tripakis for verification of timed automata. The tool
employs symbolic verification techniques using geometrical
linear-algebraic data-structures and algorithms to manipulate clock
values.

In order to enhance the capabilities of Kronos, VERIMAG seeks a
competent research engineer having as much as possible of the
following qualifications:

* M.Sc. or Ph.D. and/or industrial experience in areas related to 
  formal verification.
* Proven record in software development and design (C, C++). 
* Capability of autonomous and cooperative work.
* Algorithmic and mathematical skills.
* Experience in modeling and verification of case-studies. 
* Acquaintance with scheduling problems.

The selected candidate will be employed via a 2-year contract,
according to qualifications. Further extensions of this period
are possible, depending on the results. 

VERIMAG is located at Grenoble, the capital of the French Alps,
surrounded by hi-tech industries, ski resorts and relatively
international atmosphere (3 hours from Paris, 1 hour from Lyon and 2
hours from Geneva and Torino). The common language is French but
English speakers can survive.

More information on VERIMAG is available at: http://www-verimag.imag.fr

Candidates are invited to send their CVs to: Oded.Maler@imag.fr