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
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
.
__,_._,___