Assistant Professor in Computing Science at ENS Paris-Saclay

Formal Methods and Verification

LSV and the Department of Computer Science of ENS Paris-Saclay invite applications for a faculty position at the level of Assistant Professor / Maître de conférence. According to the French national regulations, candidates should hold a qualification from the 27th section of CNU.

Application modalities will be announced in January 2018.

When assessing the qualification of each applicant, attention will be paid firstly to the scientific potential and the strength of the proposed research project. We encourage applications from outstanding candidates, even if their specialisation is not listed explicitely.

The policy of LSV and ENS Paris-Saclay is commited to favouring external candidates.


LSV is a joint laboratory of ENS Paris-Saclay, CNRS, and INRIA. The laboratory intends to engage into novel research directions on topics connecting its current areas of expertise with other disciplines taught at ENS Paris-Saclay. Areas of interest include, but are not limited to, verification of biological systems, formal methods and quantum computing, circuit verification, or verification and statistical methods.

The successful candidate will pursue his or her research within one of the current research axes of LSV, or help builing up a new axe as outlined above.

Additional information:


The successful candidate will participate in the teaching and administration duties of the Department of Computer Science, which include:

Additional information:

About LSV