[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