Software Engineer, Compiler Optimization

Furiosaai — South Korea · Posted ~3 days ago

Mid Full-time

Skills

Compiler design Compiler optimization passes Program analysis Algorithm design Hardware-aware optimization Performance modeling Search-based optimization Functional programming Logical reasoning LLVM MLIR Functional programming languages Compiler infrastructure Intermediate representations (IR) Domain-specific languages (DSL) NPU GPU

🔓 Log in to save this job, tailor your resume & track your apply process — 7 days free, no card needed.

Log in to add to target list

Summary

Join a highly technical team building advanced compiler technology for specialized AI acceleration. You will design hardware-aware optimization algorithms, model execution performance and resource contention, automate the search for efficient tiling and scheduling strategies, evolve intermediate representations and domain-specific abstractions, and build verification systems for reliable kernel generation. The role is ideal for a software engineer with strong foundations in compiler design, program analysis, algorithmic problem-solving, and functional programming. Experience with modern compiler infrastructures, accelerator code generation, instruction scheduling, or high-performance kernels is a strong advantage.

Highlights

Work on challenging compiler optimization problems at the intersection of programming languages, program analysis, and specialized AI hardware. The role offers opportunities to develop advanced optimization algorithms, build performance models, explore automated execution strategies, shape compiler infrastructure, and establish rigorous correctness and reliability frameworks. Candidates with strong academic or research backgrounds in compilers and programming languages can contribute to highly impactful, performance-critical systems.

Description

About The Job The compiler plays a central role in FuriosaAI’s mission to build high-performance, energy-efficient AI systems. Modern deep learning models are evolving rapidly and becoming increasingly diverse, making compilation a challenging problem. Transforming these models into efficient executable programs requires careful reasoning about complex transformations while preserving program meaning and structure. In this role, your mission is defined by two primary pillars: Adaptability & Enablement: We ensure that a vast diversity of model structures can be reliably mapped onto our hardware. Stable compilation in our world means designing robust mapping strategies that can handle new and evolving model architectures with consistency.Extreme Efficiency & Optimization: We push the hardware to its absolute limits. This involves deeply understanding the hardware architecture to explore various execution strategies, accurately predicting their performance, and identifying the optimal path for any given workload. We are looking for engineers who can combine rigorous program analysis with creative algorithmic problem-solving to build the world's most efficient AI engine. Responsibilities Hardware-Aware Compiler Optimization: Develop and implement optimization algorithms that map high-level tensor operations to specialized hardware resources.Performance Analysis & Modeling: Build analytical models to predict execution cycles and resource contention for data-driven optimization.Search-based Strategy Optimization: Develop automated mechanisms to explore and identify optimal execution strategies such as tiling and scheduling.DSL & IR Design: Evolve the compiler’s lower layers to expose hardware capabilities while maintaining a programmable and consistent interface for kernel generation.Reliability & Verification: Establish validation frameworks to ensure the correctness and stability of compiled kernels across various configurations. Minimum Qualifications Bachelor’s degree in Computer Science, Mathematics, or a related technical field.Foundational knowledge of compiler design and optimization passes.Ability to abstract complex hardware/software constraints into logical algorithms and solve problems through rigorous reasoning.Experience or familiarity with functional programming languages. Preferred Qualifications Master’s or PhD in Programming Languages, Compilers, Program Analysis, or related fields.Research or industry experience with compiler infrastructures like LLVM or MLIR.Experience developing code generators, instruction schedulers, or high-performance kernels for specialized accelerators (NPU, GPU, etc).Experience applying program analysis techniques to optimize performance or ensure program correctness.Experience in designing large-scale software systems using functional programming paradigms. Contact recruit@furiosa.ai