Job Overview
MathWorks has a hybrid work model that enables staff members to split their time between office and home. The hybrid model provides the advantage of having both in-person time with colleagues and flexible at-home life optimizations. Learn More: https://www.mathworks.com/company/jobs/resources/applying-and-interviewing.html#onboarding.
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.
Responsibilities
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
Additional Qualifications
Expertise with C++, OCaml, or other functional programming langauages.Expereince leading formal methods projects and inititatives.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).
Job Detail
Related Jobs (1663)
-
Senior Cryptography Engineer – REMOTE on December 12, 2024
-
Data Scientist – Data Analyst on October 6, 2024
-
Data Scientist – Data Analyst on October 6, 2024
-
Data Scientist – Data Analyst on October 6, 2024
-
Software Engineer (New Grad) on October 6, 2024
-
Software Engineer, Front End on October 6, 2024
-
C++ Software Engineer on October 6, 2024
-
Technische Software Engineer on October 6, 2024
-
Ingénieur Développement Logiciel h/f on October 6, 2024
-
Senior Full Stack Developer (Python+TypeScript) on October 6, 2024