Soutenance de thèse de Konstantinos Skianis 2019-03-01
The laboratory LIX
The abbreviation LIX stands for Laboratoire d'Informatique de l'Ecole polytechnique (Computer Science Laboratory of the École polytechnique), where the letter X represents the Polytechnique per French tradition. LIX is a mixed research unit (UMR 7161) consisting of two tutelles: the École polytechnique and the National Center for Scientific Research (CNRS). LIX falls under the jurisdiction of the INS2I division (which stands for the National Institute of Sciences of Information and their Interactions) of CNRS.
6 Assistant professor positions open
Auditions: between May 13 and May 24, 2019
Anticipated starting date: September 2019
The Department of Computer Science at École Polytechnique welcomes applications for :
- three Assistant Professors and one "Monge" assistant professor in Computer Science;
- a MONGE assistant professor in Data Science and Artificial Intelligence;
- an assistant professor in the Internet of Things. Positions starting September 2019.
The chosen candidates will become a member of the LIX, where they will develop an original research activity in one of the existing teams. Henceforth, candidates must present a scientific project and/or expertise in one of the research domains of the LIX laboratory.
The responsibilities and missions of Assistant Professor positions at Ecole Polytechnique are similar to positions of «Maître de Conférences» in French Universities. Monge positions are tenure-track positions of two times three years, during which the holder of the position will have to pass his «Habilitation à Diriger les Recherches» (habilitation thesis – the holder will benefit from a partial discharge of his teaching duties). After six years, the holder of the Monge position will be tenured as a professor (with responsibilities and missions analogous to the positions of « Professeur des Universités » in France), in case of a positive evaluation from the department committee.
Candidates are invited to contact Eric Goubault (Chair of the Department of Computer Science), François Morain (Vice-Chair of the Department of Computer Science), or Mireille Régnier (Director of LIX), as well as the head(s) of the team(s) most relevant to their research project.
Candidates should hold a Ph.D. and should have demonstrated great ability in research and teaching. They must be able to contribute to computer science education at all teaching level (Bachelor, Ingénieur polytechnicien program, Master of Science and Technology). They will have to show how they will integrate in the teaching teams of basic and more specialized computer courses, and will have to be able to teach at least in one or more of the following domains: algorithmics, programming at all levels (in languages including C++), but also computer architecture, operating systems, compilation, and logic and complexity.
Recruited faculty members will strengthen one of the research teams of the Computer Science Laboratory of the Ecole Polytechnique (LIX) (including ALCO, COMBI, MAX, and AMIBIO for more algorithmic profiles, and COMETE, PARSIFAL and TYPICAL for profiles more related to semantics). Their ability to contribute to project-based teaching, and to strengthen the links between teaching, research and applications, will be an important selection criterion.
The selected candidate will be a member of the Laboratory of Computer Science of the Ecole Polytechnique (LIX), where she or he will develop an original research activity in one of the following teams: DATASCIM, CEDAR ou STREAM. Candidates must present a scientific project and / or expertise in data science and artificial intelligence.
The selected candidate will be a member of the Laboratory of Computer Science of the Ecole Polytechnique (LIX), where she or he will develop an original research activity in the « Networks » team. Candidates must present a scientific project and / or expertise in relation to IoT.
Sémin'Ouvert : « Under and over approximated reachability analysis for the verification of control systems », par Sylvie Putot (équipe Cosynus)
This talk will present a class of methods to compute under and over approximating flowpipes for uncertain differential systems, possibly with delays, systems that are pervasive in the modeling of networked control systems. Computing over-approximations of the reachable states has become a classical tool for the safety verification of control systems. Under-approximations are notoriously more difficult to compute, and their use for verification much less studied. I will discuss the guarantees and properties that can be obtained from the joint use of these under and over-approximations for control systems with inputs and disturbances.