Friday, March 28, 2014

[beasiswa] [INFO] PhD position - Formal Methods - Bordeaux and Brussels Universities

  

Here is an announcement for an open PhD position, co-supervized  between Bordeaux University (France) and Brussels University (ULB,  Belgium). The PhD student will mainly work in Bordeaux, with regular  visits in Brussels. This PhD is funded by the ANR project ExStream  for a duration of 3 years. The monthly stipend is approximatively  1550 euros (after taxes, so including health insurance, social  security coverage). Prospective starting date is in fall 2014.      Title: Data stream processing under strong resource constraints    We are interested in algorithms that operate on data in a sequential  manner. In this thesis, we would like to define efficient procedures  that, given an operation on data (validation, query or  transformation), specified by an automaton, a transducer, or a  logical formula, synthesize an algorithm performing the desired  operation in a streaming fashion, and in a scenario where resources  are limited. Given strong resource constraints, e.g., finite memory,  such an algorithm may not exist. A variant of this problem is  therefore to decide whether the specification is realizable under  the given constraints.    Applicants must hold a Master's degree or equivalent in the area of  computer science with an emphasis on formal methods and automata theory.    Contacts:  - Anca Muscholl (LaBRI): anca@labri.fr  - Emmanuel Filiot (ULB): efiliot@ulb.ac.be   - Olivier Gauwin (LaBRI): olivier.gauwin@labri.fr

__._,_.___
Reply via web post Reply to sender Reply to group Start a New Topic Messages in this topic (1)
INFO, TIPS BEASISWA, FAQ - ADS:
http://id-scholarships.blogspot.com/

===============================

INFO LOWONGAN DI BIDANG MIGAS:
http://www.lowongan-kerja.info/lowongan/oil-jobs/

===============================

INGIN KELUAR DARI MILIS BEASISWA?
Kirim email kosong ke beasiswa-unsubscribe@yahoogroups.com
.

__,_._,___
at