Research and Development Engineer in Formal Methods - 12 months contract
Research and Development Engineer in Formal Methods - 12 months contract is an open role at Institut Mines-Télécom. The role is hybrid, based in Palaiseau, France. Our labels mark it as a mid-level role in software engineering (general). Technologies named in the posting: Docker, C++ and Python. It asks for 4+ years of experience. English is required. Institut Mines-Télécom has 37 open positions on this site, 2 of them in IT and engineering.
Posted 1 day ago · Last checked 2026-11-11
About Institut Mines-Télécom
Non-tech company 37 open positions, 5% in IT and engineering. Most open roles: Non-software engineering and technicians (10), Science and research (9), General management and executives (4).
Similar jobs
| Workplace | Hybrid |
| Seniority | Mid |
| Role | Software engineering (general) |
| Countries | France |
| Languages | C++Python |
| Employment type | fulltime_fixed_term |
| Key facts | Stack: C++, Python, Docker · Experience: 4+ years · Languages: English |
The full description is on the original posting. Labels are set automatically and can be wrong. About the data