Logic List Mailing Archive

PhD student position in first-order temporal logic, Toulouse (France)

Dear colleagues,

we invite applications for a PhD at Onera/DTIM, Toulouse (presentation below).

This is a funded 3-year position, starting next Fall, co-advised by Julien 
Brunel and David Chemouil.

French or English should be spoken fluently.

Please apply (CV + university grades + motivation letter) quickly if interested 
(mail: <firstname.lastname@onera.fr>).

* MAIN TOPIC

First-order temporal logic in the context of formal system specification and 
automated verification

* CONTEXT

The PhD will take place in an on-going research project where, together with 
colleagues from various labs, we investigate the design of a formal 
specification language well-adapted to the modelling of both the structural and 
behavioural aspects of systems *and* amenable to efficient automated 
verification. We are also developing accompanying free/open-source software.

The exact topic for the PhD will depend on the candidate's interests, however 
maturity with formal approaches is obviously an essential prerequisite. At the 
time of beginning the PhD, the candidate should hold an MSc in Computer 
Science, Logic, or Mathematics and relevant knowledge in e.g. logic, formal 
verification techniques...

* ONERA/DTIM Toulouse

The PhD will take place at the Computer Science Department (DTIM) of Onera, the 
French aerospace research center, in Toulouse. DTIM has in particular a 
long-standing expertise in formal techniques applied to the complete 
development lifecycle of critical aerospace software and systems.

Toulouse, situated south-west of France, is the 4th largest city in the 
country. There are more than 100,000 students and the city is particularly 
renowned for its vibrant student life. See e.g. 
<http://en.univ-toulouse.fr/our-strengths> for more information.


-- 
David Chemouil // Onera/DTIM Toulouse // tel:+33-5-6225-2936
<http://www.onera.fr/staff/david-chemouil>