Software Project Manager or Software Engineering Expert (M/F)

Job Description

Missions

Lead the software project management lifecycle across one or more phases: analysis, design, development, testing, integration, and deployment, ensuring compliance with requirements, standards, and security protocols.

Collaborate within a network of engineers to provide technical support for researchers distributed across multiple sites.

Activity

- Lead software projects throughout all or part of their lifecycle.

- Analyze requirements and contribute to the development of functional project specifications.

- Design solutions by leveraging in-depth technical expertise.

- Execute software development tasks.

- Design, specify, and perform tests based on requirements and functional specifications, following a defined testing strategy.

- Conduct technology monitoring relevant to the application field and engage with domain experts.

- Manage deployment with a focus on dissemination and value creation, particularly for the international community or industrial partners.

- Deploy, configure, and maintain servers, specifically for Continuous Integration (CI), for compilation, testing, packaging, and automated deployment.

- Provide functional and/or technical assistance to operators and end-users.

- Draft and update technical and functional documentation.

Your Profil

Skills

- Knowledge & Technical Skills
- Project management and software engineering.

- Software development tools: Collaborative use of Git, CI/CD, Docker, etc.

- Functional programming languages: Ideally OCaml. Knowledge of other functional languages (e.g., Haskell) is a strong plus.

- Proof assistants: Knowledge of Rocq (formerly Coq) or Lean.

- Scripting languages: Python.

- Testing methodologies.

- Systems programming: Specifically parallel/multi-threaded programming and IP networking (in C/C++).

- System administration: GNU/Linux environments.

- Languages: English level B2 minimum (C1 required for non-French speakers).

- Professional Skills (Savoir-faire)

- Project leadership and coordination.

- Requirements analysis.

- Compliance: Adhering to quality assurance, programming standards, and IT security protocols.

- Testing: Developing and implementing comprehensive test plans.

- Packaging: Building and managing application packages.

- Documentation: Writing and updating functional and technical documentation.

- Soft Skills (Savoir-être)

- Collaborative mindset: Ability to work within a team and across networks.

- Demonstrated rigor and methodical thinking.

- Creativity and strong interpersonal/communication skills.

- Instructional skills: Ability to explain technical concepts clearly to users (pedagogy).

Your Work Environment

The successful candidate will hold a shared position across three computer science laboratories in the Île-de-France region: IRIF (https://www.irif.fr/), LIPN (https://lipn.univ-paris13.fr/), and LMF (https://lmf.cnrs.fr/). Responsibilities will be carried out under the supervision of a CNRS Research Engineer (IR) at LIPN, acting as the Software Project Manager. However, the primary work location may be any of the three laboratories depending on project requirements. Additionally, remote work (teleworking) may be possible in accordance with current CNRS regulations.
Project Portfolio and Missions

Each laboratory develops software either as a direct output of, or as support for, its research activities. The projects listed below are examples of those the candidate may be responsible for, along with their associated missions:

- SSTT (https://github.com/E-Sh4rk/sstt): This library serves as a reference implementation of set-theoretic types. Responsibilities include consolidating new research features—such as polymorphic records and abstract types—as well as handling maintenance tasks including OCaml compatibility, releases, documentation, and testing.

- Usuba (https://usubalang.github.io/usuba/): A programming language dedicated to high-performance symmetric cryptography, Usuba features a compiler implemented in OCaml. Missions for this project include the deployment of a continuous integration system and code refactoring.

- Cubicle (https://cubicle.lri.fr/): This model checker is used to verify the safety properties of array-based systems. Key tasks involve porting the tool to OCaml 5.0 Multicore, developing the graphical user interface, and managing compilation for Windows environments.

- SPEN (https://www.irif.fr/~sighirea/spen/): Developed in C and OCaml, SPEN is a solver for separation logic used to verify programs with mutable heaps (such as C or Java). As a participant in the SL-COMP solver competition, the role involves updating code for competition platforms, integrating the competition parser, and implementing an OCaml type checker for SMTLIB2.

- IMITATOR (https://www.imitator.fr/): A model checker for the verification of parametric timed systems, coded in OCaml. Responsibilities include extending the syntax and enhancing the multicore system by utilizing the new features introduced in OCaml 5.

- PMC-SOG (https://lipn.univ-paris13.fr/pmc-sog/): This parallel model checker for concurrent systems utilizes symbolic observation graphs and is implemented in C++ using C++20 threading mechanisms. Missions include the parallelization of emptiness tests and the implementation of partial order reduction.

Compensation and benefits

Compensation

From 3237€ grossly per month depending on experience

Annual leave and RTT

44 jours

Remote Working practice and compensation

Pratique et indemnisation du TT

Transport

Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€

About the offer

About the CNRS

The CNRS is a major player in fundamental research on a global scale. The CNRS is the only French organization active in all scientific fields. Its unique position as a multi-specialist allows it to bring together different disciplines to address the most important challenges of the contemporary world, in connection with the actors of change.

CNRS

The research professions