Jan 30, 2020

Numerical Analysis and Code Generation Engineer (21399-MCAR)

  • Professional Diversity Network
  • Natick, MA, USA
Full-Time Engineering

Job Description

MathWorks

Summary

Seeking a highly skilled developer to support code generation of floating-point algorithms. We are interested in candidates who have a high aptitude for numerical analysis, linear algebra and use the efficientcode generation and optimization techniques to target CPU/GPU/FPGA.


Responsibilities

You will use your mastery of C/C++ to add new features to our proprietary floating-point analysis engines and (C and RTL) code generators. You will participate in all facets of the Software Development Lifecycle including:



  • Architect, design and implement high-quality scalable software features
  • Participate in architecture and design reviews
  • Collaborate with cross-functional product development teams

Qualifications

  • Excellent mathematical reasoning skills
  • Experience with one or more of the following:

    • formal methods, formal analysis, static analysis, constraints, floating point analysis, formal verification, model checking, symblolic execution,


  • Solid background in computer science theory
  • Knowledge of compilers and code generation techniques is a plus
  • Experience with algorithm development is a plus
  • Proven written and verbal communication skills

Required Qualifications
  • A bachelor's degree and 7 years of professional work experience (or a master's degree and 5 years of professional work experience, or a PhD degree) is required.
  • Experience with C++
The MathWorks, Inc. is an equal opportunity employer. We evaluate qualified applicants without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability, veteran status, and other protected characteristics. The EEO is the Law poster is available here.MathWorks participates in E-Verify. View the E-Verify posters here.

States

MA  

Apply Now