> Markdown version of [/jobs/ext/1876663-job-offer](https://www.wearedevelopers.com/jobs/ext/1876663-job-offer). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Job offer

- **Company:** CNRS
- **Location:** Palaiseau, France
- **Contract:** Temporary contract
- **Skills:** Distributed Systems, Information Technology, Formal Methods
- **Published:** August 2, 2026
- **Apply:** https://emploi.cnrs.fr/Offres/CDD/UMR7161-CONENE-001/Default.aspx

## About the Role

Research Field
Computer science

Education Level
Master Degree or equivalent

Research Field
Mathematics

Education Level
Master Degree or equivalent

Languages
FRENCH

Level
Basic

Research Field
Computer science

Years of Research Experience
1 - 4

Research Field
Mathematics » Algorithms

Years of Research Experience
1 - 4, The candidate must hold a Master in computer science, with expertise in theoretical computer science, formal methods, or concurrent or distributed systems.



## Related Videos

- [Quantum DevOps - Quantum Application Development](https://www.wearedevelopers.com/videos/1441-quantum-devops-quantum-application-development)
- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [Best Practices for AI-Assisted Development of Distributed Systems](https://www.wearedevelopers.com/videos/100200-best-practices-for-ai-assisted-development-of-distributed-systems)
- [Enabling intelligent logistics automation: home-grown Industrial IoT platform at Austrian Post](https://www.wearedevelopers.com/videos/2018-enabling-intelligent-logistics-automation-home-grown-industrial-iot-platform-at-austrian-post)
- [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods)
- [Your Distributed System Just Got a Brain. Now What?](https://www.wearedevelopers.com/videos/100017-your-distributed-system-just-got-a-brain-now-what)

## Related Articles

- [Average Salary in France](https://www.wearedevelopers.com/magazine/269-average-salary-in-france)
- [Best Companies to Work For in Paris: Top 25 Companies in 2023 ](https://www.wearedevelopers.com/magazine/190-best-companies-to-work-for-in-paris-top-25-companies-in-2023)
- [Best Companies to Work For in France: Top 25 Companies in 2023 ](https://www.wearedevelopers.com/magazine/189-best-companies-to-work-for-in-france-top-25-companies-in-2023)
- [Guide for Expats Living in France](https://www.wearedevelopers.com/magazine/305-guide-for-expats-living-in-france)
- [Where to Find Entry-Level Software Engineering Jobs](https://www.wearedevelopers.com/magazine/397-where-to-find-entry-level-software-engineering-jobs)
- [Top 6 Hackathons for Developers in 2023](https://www.wearedevelopers.com/magazine/263-top-6-hackathons-for-developers-in-2023)