[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] PhD position at VERIMAG

VERIMAG laboratory offers a PhD student position in Modeling and Analysis of Systems with Dynamic Architectures

The work will be done in the context of the BIP framework (www.bip-components.com). BIP is a language and an 
associated toolset supporting a rigorous and accountable system design flow. It has been successfully used in 
many industrial projects including the development and implementation of wireless sensor network applications 
and embedded applications on many-core chips.

Starting date: May 1st, 2013 (a later starting date can be discussed)

Requirements: Candidates should hold an MSc in Computer Science, or a related topic. Strong background in formal 
methods, automata and languages, logic is expected and knowledge in Component-based modeling and programming is 
a plus. Good written and oral communication skills in English are required (French is not necessary).

Candidates are invited to send their application by email to Dr.Marius BOZGA (Marius.Bozga@xxxxxxx) or 
Prof. Saddek Bensalem (Saddek.Bensalem@xxxxxxx). Please, include a CV, a motivation letter and contact information 
for referees.