Senior Developer - Formal Verification

Résumé du poste MathWorks a mis en place un modèle de travail hybride qui permet aux membres du personnel de partager leur temps entre le bureau et leur domicile. Ce modèle hybride offre l’avantage de profiter à la fois de la présence des collègues et de la flexibilité du télétravail. Our group is responsible for the core technology used in MathWorks code analysis products. Join us to work on cutting-edge algorithms for static analysis and formal verification of C/C++ programs. We are seeking a software engineer with a strong background in static analysis and experience of machine learning algorithms to help us design the next-generation of Polyspace products. MathWorks nurtures growth, appreciates diversity, encourages initiative, values teamwork, shares success, and rewards excellence. Mission You'll work on a strategic global project for the company, working alongside other development teams. Specifically, you'll: Innovate and deliver key features to extend the C/C++ code analysis and testing capabilities of the Polyspace products. Contribute to all stages of software development including requirements specifications, architecture, design, implementation, and testing. Demonstrate your communication skills and inter-personal skills by working closely with other development teams to develop these capabilities. Qualifications A bachelor's degree and 10 years of professional work experience (or equivalent experience) is required. Experience with formal methods. Qualifications supplémentaires Expertise with C++, OCaml, or other functional programming languages. Experience leading formal methods projects and initiatives. Strong knowledge of static analysis technologies and program semantics. Strong abstraction, algorithmic, and software architecture skills. Experience with popular compiler infrastructures such as LLVM is a plus. Demonstrated ability to dive into and work with large code bases is a plus. Strong communication skills in French and English (most meetings will be in English). #J-18808-Ljbffr