Jobs at LIPN lab Professor : Hiring a full professor in Computer ScienceHiring an associated professor on formal verification