Job Closed
This listing is no longer active.
A Unified Ecosystem for Science and Engineering.
Compiler Engineer – Synchronous Programming
Location
United States
Posted
87 days ago
Salary
0
Seniority
Senior
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 Guides
Related Categories
Related Job Pages
More Engineer Jobs
Associate Engineer – Substation
REI Utility ServicesPure-play provider of power systems engineering and field services to electric utilities
• 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.
Technology Engineer, Power Electronics
STSLeading Provider of Technical and Advisory Solutions, Serving Buyers Only in Solar, Storage and Wind Industries.
• 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.
Senior Cold Chain Engineer
Aurion BiotechWe're on a mission to cure blindness with our transformational platform of advanced therapies.
• 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
• 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




