Job Closed

This listing is no longer active.

JuliaHub logo
JuliaHub

A Unified Ecosystem for Science and Engineering.

Compiler Engineer – Synchronous Programming

EngineerEngineerOtherRemoteSeniorTeam 51-200Since 2015H1B No SponsorCompany SiteLinkedIn

Location

United States

Posted

87 days ago

Salary

0

Seniority

Senior

Postgraduate DegreeEnglish

Job Description

Compiler Engineer – Synchronous Programming

JuliaHub

• Collaborate with language designers to define the precise semantics of Dyad's synchronous constructs, including clock definitions, data-flow dependencies, state machines, and execution semantics. • Build the compiler front-end and middle-end infrastructure in Julia for Dyad's synchronous programming constructs. • Implement robust clock inference and checking to ensure safe and deterministic data-flow execution. • Develop optimized code generation backends targeting real-time, deterministic execution. • Ensure seamless integration between the continuous-time (ODE/DAE) equation solving and the discrete-time synchronous partitions of the Dyad language. • Work closely with domain and modeling experts to refine the semantics and syntax of Dyad's synchronous features.

Job Requirements

  • Practical background in compiler construction (parsing, type checking, intermediate representations, and code transformations).
  • Familiarity with the semantics of synchronous programming languages (e.g., Lustre, SCADE, Zélus, Heptagon) or clocked features in modeling languages (e.g., Modelica.Clocked).
  • A Master’s degree or Ph.D. in Computer Science, Software Engineering, or a related field, particularly with a focus on formal methods, compiler design, or cyber-physical systems.
  • Strong programming skills in Julia, which is the primary language used for our compiler implementation.
  • A strong, genuine interest in physical modeling, simulation, and cyber-physical systems.
  • Familiarity with the Julia SciML ecosystem, specifically ModelingToolkit.jl.
  • Experience with languages like Modelica, gPROMS, or Simscape.
  • Background in formal verification or safety-critical software generation.

Benefits

  • Remote, European / US Eastern time zones

Related Categories

Related Job Pages

More Engineer Jobs

REI Utility Services logo

Associate Engineer – Substation

REI Utility Services

Pure-play provider of power systems engineering and field services to electric utilities

Engineer87 days ago
Full TimeRemoteTeam 51-200Since 2016

• Supports the design, modification, and commissioning of power system protection and automation schemes. • Works closely with senior engineering staff to learn design standards, tools, and processes. • Assists in developing substation protection schemes and specifying relays for redundant protection systems. • Prepares basic engineering drawings, sketches, and documentation under guidance. • Assists in calculating and programming substation protective relay set points. • Supports commissioning activities by providing field assistance and documentation. • Collaborates with project teams, contractors, and utility personnel to support project execution. • Participates in training and mentorship programs to develop technical skills.

Texas
$65K - $85K / year
Job Closed
STS logo

Technology Engineer, Power Electronics

STS

Leading Provider of Technical and Advisory Solutions, Serving Buyers Only in Solar, Storage and Wind Industries.

Engineer87 days ago
Full TimeRemoteTeam 51-200Since 2010H1B Sponsor

• Serve as a key technical expert in the development and delivery of services related to power electronics • Support the design and refinement of innovative technical solutions • Ensure efficient and effective delivery of services and integrate power electronics technologies into client solutions • Perform technology reviews, risk assessments, and product evaluations related to power electronics • Prepare detailed technology reports, roadmaps, and market insights • Deliver on-site projects, applying power electronics technology and standards while collaborating with contractors, project teams, and stakeholders • Perform comprehensive field testing of power electronics systems ensuring functionality and compliance • Provide expert insights during the design and improvement of new services • Collaborate with cross-functional service lines to create cutting-edge technical solutions • Deliver specialized training on power electronics for internal teams, clients, and other stakeholders • Act as a technical resource for clients, addressing post-delivery queries.

China
Job Closed
Aurion Biotech logo

Senior Cold Chain Engineer

Aurion Biotech

We're on a mission to cure blindness with our transformational platform of advanced therapies.

Engineer87 days ago
OtherRemoteTeam 51-200Since 2022H1B Sponsor

• Own the design, implementation, optimization, and continuous improvement of LN2 and temperature-controlled supply chain systems • Design, qualify, and optimize LN2, cryogenic, welded, and CRT cold chain systems • Build cold chain capabilities to support R&D, clinical trials, and future commercial scale • Lead cold chain IQ/OQ/PQ, lane qualification, packaging validation, and re-qualification activities • Ensure cold chain operations comply with GxP and internal quality standards • Act as the technical lead for cold chain vendors, couriers, and logistics providers • Define KPIs and dashboards for cold chain performance • Serve as the cold chain subject-matter expert across multiple teams

Kentucky + 11 moreAll locations: Kentucky | New Hampshire | New Jersey | New Mexico | New York | North Carolina | Massachusetts | Pennsylvania | South Carolina | South Dakota | Texas | Washington
$129K - $155K / year
Job Closed
Roebling logo

Senior Process Engineer

Roebling

The AI-Powered Development Stack for Industrial Infrastructure

Engineer87 days ago
OtherRemoteTeam 11-50H1B No Sponsor

• Design and maintain modeling assets, including reusable unit operation blocks, equipment sizing and specification calcs, databanks, templates, and reference models • Define and maintain modeling standards, assumptions, and methodologies to ensure consistency, flexibility, and technical rigor • Create clear documentation, training materials, and use-case examples that support and enable effective deployment of the software • Engage with internal and external stakeholders to identify modeling requirements, address pain points, and drive continuous improvement • Provide structured feedback to product and software teams on usability, workflows, and feature priorities based on real-world modeling needs • Develop process models to support Roebling implementations for client engagements

United States
$130K - $170K / year