JuliaHub

Engineer

• 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.

Compiler Engineer – Synchronous Programming