Offers “Gfi Informatique”

Expires soon Gfi Informatique

Software Engineer Formal Methods H/F

  • CDI
  • Vélizy-Villacoublay (Yvelines)
  • IT development

Job description


Metaware builds the world’s most powerful and advanced solution to solve Enterprise IT most pressing problems: Legacy System Transformation. Our DNA is software engineering and innovation. Our R&D team comprises of smart and talented engineers designs, develops, and improve our transformation engine – based on the refine technology – used by metaware delivery teams for our projects.

As we grow, we’re seeking new and promising software engineers who have a passion for functional programming (LISP, Theory of Languages, etc.), to join the team and take part in exciting engineering achievements.

We thrive on intellectual agility, enthusiasm, energy, curiosity and individual commitment to explore innovative ways of solving complex problems

Job Responsibilities

• Design and develop language processing tools (analysis, transformation) such as syntax translation, data flow and business logic extraction, … • Develop feature enhancements to our toolset • Maintain an active role in every part of the software development life cycle • Analyze sophisticated problems and voice your ideas to get them solved• Partner with other teams to understand our project/development requirements

We offer • Unique opportunities for smart, hands-on engineers with the expertise and passion to solve problems creatively • Financially secure technology company, surrounded by a talented team, where you can both learn and contribute,• The tools and support to build a career with us • Plus, our employees receive an excellent benefits package which includes medical insurance, meal vouchers, flexible working


Successful candidates should be:

·  Degree educated (Computer Science, Mathematics, or any other science related field)
·  Experienced in functional programming (LISP, CAML, Refine) and able to design simple and elegant solutions
·  High energy, naturally curious and keen to solve hard problems
·  Keen to self-learn and share their knowledge with the team around them

Mandatory Technical Skills:

·  Experience with:

- Functional Programming language like Lisp or Caml

- Language design & implementation and of language tool chain such as parsing

- EMACS Development environments

·  Practical knowledge for Theory of language/Language programming technical field
·  First Experience are welcome

Desirable Skills:

Version Control System like Git or willingness to learnAbility to work on features both independently and a small teamPassion, Creativity, Forward thinking, Analytic reasoning.                 


If you meet the above criteria, please get in touch. Promising Functional Programmer candidates can be assured of a response within 24 hours.



Nous sommes une ESN agile, un groupe international certifié Top Employer Europe 2023.

A l'ère de la post-transformation digitale, nous mettons tout en œuvre pour que chacun de nos 28 000 athlètes du digital puisse se renouveler perpétuellement, en vivant positivement son propre flow digital.
Chacun de nos talents peut ainsi façonner son parcours de carrière selon ses appétences, entreprendre de manière pragmatique avec ses clients pour un monde à impact positif, innover localement dans 27 pays et harmoniser son investissement professionnel et son bien-être personnel.

Rejoignez Inetum. Live your positive digital flow.

Tous nos postes sont ouverts aux personnes en situation de handicap.

Make every future a success.
  • Job directory
  • Business directory