JuliaHub

Symbolic-Numeric Compiler Developer

JuliaHub

full-time

Posted on:

Location Type: Remote

Location: United States

Visit company website

Explore more

✨ AI Apply
Apply

Tech Stack

Distributed Systems

About the role

  • Design and implement symbolic-numeric compiler passes to enhance the Dyad compiler’s ability to handle complex numerical systems.
  • Develop and optimize algorithms such as dynamic state selection, nonlinear tearing, and Pantelides-based transformations for DAE systems.
  • Improve compiler handling of strongly connected components (SCCs), including efficient lowering and code generation strategies.
  • Contribute to code generation and optimization for high-performance execution across multicore CPUs, GPUs, and distributed systems.
  • Leverage parallelization techniques including SIMD autovectorization, multithreading, and distributed computing.

Requirements

  • Proven experience in symbolic-numeric compiler development, including tools or frameworks such as Modelica, Simscape, or Mathematica.
  • Strong background in numerical analysis, particularly differential-algebraic equations (DAEs) and implicit solvers.
  • Hands-on experience with algorithms such as Pantelides algorithm, system tearing, dynamic state selection, and modified nodal analysis (MNA).
  • Experience with high-performance computing (HPC) concepts and parallel programming.
Benefits
  • Health insurance
  • Retirement plans
  • Paid time off
  • Flexible work arrangements
  • Professional development
Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills & Tools
symbolic-numeric compiler developmentalgorithm optimizationdynamic state selectionnonlinear tearingPantelides-based transformationscode generationhigh-performance executionparallelization techniquesSIMD autovectorizationmultithreading