A Unified Ecosystem for Science and Engineering.
Compiler Engineer – Synchronous Programming
Location
United States
Posted
2 days ago
Salary
Not specified
Seniority
Senior
Job Description
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
Senior Cold Chain Engineer
Aurion BiotechWe're on a mission to cure blindness with our transformational platform of advanced therapies.
Senior Cold Chain Engineer designing and optimizing temperature-controlled supply chain systems
Senior Process Engineer developing scalable modeling tools for an AI-native planning platform
Principal Engineer, Propulsion Integration
Otto AerospaceOtto Aerospace is developing the world’s first fifth-generation business jet, designed for sustainability through the innovative use of advanced super-laminar aerodynamics and high-precision, net-shaped composites. Flight tests of our technology demonstrator validate a dramatic reduction in fuel burn and allow a sizeable improvement in cabin comfort.
The engineer will support and oversee the design, development, and integration of the propulsion system, including engines, FADECs, inlets, exhausts, and fire protection systems. Key tasks involve performing 1-D and CFD analysis, providing technical guidance on thermal science activities, and supporting the development and review of engineering specifications and certification documents.
Adjunct Faculty - C# Programming
Perdoceo Education CorporationFor 55 years, Colorado Technical University (CTU) has helped students fit a real-world education into their busy daily lives. With nearly 80 degree programs and concentrations in which students can pursue a variety of degrees at the associate, bachelor's, master's, and doctoral level, CTU provides flexible online classes, accessible through the University's Virtual Campus or the innovative CTU Mobile app. CTU also maintains two ground campus locations in Colorado Springs and Aurora, Colo. With the help of faculty and industry professionals, CTU has awarded over 109,000 degrees to traditional campus and online students since 1965.
Consistent with and supportive of CTU's mission (to provide industry-relevant higher education to a diverse student population through innovative technology and experienced faculty, enabling the pursuit of personal and professional goals), Adjunct Faculty members provide quality ...
