Software Engineer, Compiler (Middle-end)

FuriosaAI
Seoul
Full timeFunction: Software EngineeringEducation: bachelorsSkills: ["Ownership","Problem-solving","Logical reasoning","Attention to correctness","Analytical thinking"]

Build and own middle-end compiler problems that optimize tensor program execution on FuriosaAI hardware. You’ll design and evolve IR abstractions, semantics, lowering transformations, and global optimization/search and scheduling algorithms. Work on performance models and solver techniques, plus program analyses such as dependence/alias analysis and verification checks to ensure correctness. Collaborate on hardware/software co-design by turning workload and compiler insights into guidance for future hardware generations.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
FuriosaAI
FuriosaAI
1 week ago

Software Engineer, Compiler (Middle-end)

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 11 minutes agoStatus: Live
Reposted: similar role first listed 4 months ago

Job Summary

Build and own middle-end compiler problems that optimize tensor program execution on FuriosaAI hardware. You’ll design and evolve IR abstractions, semantics, lowering transformations, and global optimization/search and scheduling algorithms. Work on performance models and solver techniques, plus program analyses such as dependence/alias analysis and verification checks to ensure correctness. Collaborate on hardware/software co-design by turning workload and compiler insights into guidance for future hardware generations.
Location: Seoul
Employment Type: Full time
Job Function: Software Engineering

Key Responsibilities

  • •Design and evolve intermediate representations, semantics, and lowering transformations that connect tensor programs to efficient hardware execution.
  • •Develop performance models and optimization/search/solver techniques to produce efficient execution plans across workloads.
  • •Optimize execution schedules and hardware resource allocation for tensor programs.
  • •Build program analyses and verification components such as dependence/alias analyses, race detectors, and compiler correctness checks.
  • •Contribute compiler and workload insights to hardware/software co-design and evaluate proposed architectures before silicon implementation.

Key Requirements

  • •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 designing and evolving compiler IR abstractions, semantics, and lowering transformations for efficient execution.
  • •Experience developing analyses and checks (e.g., dependence/alias analysis) to validate transformations and catch correctness issues early.
Education:Bachelor's
Skills:OwnershipProblem-solvingLogical reasoningAttention to correctnessAnalytical thinking
Tech Stack:IRLLVMMLIRILPSMTDynamic programmingHeuristic searchNPUGPUTensor programsOptimization passesProgram analysisSchedulingCompiler infrastructuresCode generatorsInstruction schedulersPerformance models

Company Brief

FuriosaAI
Designs and develops data‑center AI inference accelerators (RNGD) and a full stack hardware‑software platform to deliver energy‑efficient, high‑performance AI compute for enterprise and cloud customers.
Industry: Hardware Devices
Company Size: Medium (51 to 250 employees)
Growth: Scaleup
Valuation: USD 500M to 1B
Funding: Series C
Headquarters: Seoul, South Korea
Founded: 2017
Glassdoor
Glassdoor: 4.6
WebsiteLinkedInGlassdoor