MCF Position in computer science at ENS Cachan

Formal Methods and Verification

A Maître de conférence position in Computer Science at LSV and the computer science department of ENS Cachan is open as part of the national hiring campaign. As for any maître de conférence position, prospective candidates need to hold an administrative qualification, in this case from the 27th section of CNU (which is charge of computer science).

The tentative date for the interviews is Mai 15.

The first and foremost consideration of the computer science department and LSV is the scientific acuteness of the application and the quality of the research project, and its integration in the research themes of the lab and in the teaching agenda of the department. Brilliant prospective candidates should apply regardless of the profile for the position.

The hiring policy of LSV, and more generally of ENS Cachan, is to always favor external candidates. In accordance with this principle, none of the staff hired since the foundation of the department fifteen years ago was a former PhD student of LSV.

Research

The Maître de Conférences will undertake their research work at the Laboratoire Spécification et Vérification, a joint lab between ENS Cachan, CNRS and INRIA, in one of the lab's research axes: verification of distributed systems, real-time systems, communicating systems, database systems, security protocols, or in a related theme.

More info:

Teaching

The Maître de Conférences will participate to the organization and teaching duties of the computer science department, which include:

More info:

About LSV