JuliaHub · 2 days ago

Symbolic-Numeric Modeling Compiler

United States

Full-time

Remote

Mid Level

Maximize your interview chances

Cloud ComputingSimulation

Insider Connection @JuliaHub

Discover valuable connections within the company who might provide insights and potential referrals.
Get 3x more responses when you reach out via email instead of LinkedIn.

Responsibilities

Leverage meta-programming techniques for the construction of domain-specific languages.

Experience with compiler optimization techniques like outlining or loop re-rolling.

Design and implement transpilation and code generation pipelines from custom Static Single Assignment (SSA) intermediate representations to target languages like LLVM and C.

Develop symbolic-numeric passes for a differential-algebraic equations (DAEs) compiler, such as the Pantelides algorithm, system tearing, and alias elimination.

Qualification

Find out how your skills align with this job's requirements. If anything seems off, you can easily click on the tags to select or unselect skills to reflect your actual expertise.

Meta-programmingCompiler optimizationDomain-specific languagesSystem-level modeling languagesTranspilationCode generationSymbolic-numeric techniquesDifferential-algebraic equationsNumerical differential equationsNumerical methods for DAE integrationCompiler toolchainsPerformance engineeringHigh-performance computing