pythonoptimizationrustllvmformal methodscompiler designquantum computingmlirquantum programming languages
Вакансия из Hirify Global, списка международных tech-компаний Для мэтча и отклика нужен Plus
Пожаловаться
Зарплата и рынок
ЗП не указанаразвернуть
На похожих ролях по рынку
$74к$177кмедиана$225к
23 в выборке
91
Отличная вакансия
развернуть
Чётко описанная роль в компиляторах у ведущей квантовой компании даёт возможность работать с Rust, языками программирования и исследовательскими задачами, а также предлагает конкретный пакет льгот и поддержку баланса между работой и личной жизнью.
Современный стек
Квантовые технологии
Понятные задачи
Поддержка баланса
Хороший пакет льгот
Мэтч & Сопровод
Для мэтча с этой вакансией нужен Plus
Подключить Plus
Описание вакансии
Текст:
Hirify AI/Оригинал
TL;DR
Advanced Compiler Engineer (Quantum Software) (Rust/Quantum Computing): Maintaining and extending the TKET quantum compiler and contributing to the Guppy quantum programming language with an accent on compiler design, quantum-classical program optimization, and software development. Focus on implementing novel language features, applying ideas from technical research, and collaborating across quantum research and engineering teams.
Location: Cambridge, UK; hybrid workplace
Company
hirify.global develops a full-stack quantum computing platform for real-world applications across pharmaceuticals, materials science, financial services, government, industrial sectors, and academic and research institutions.
What you will do
Maintain and contribute to a Rust-based compiler codebase.
Develop and apply optimization methods for quantum-classical programs.
Design and implement features for quantum programming languages, including contributions to Guppy.
Help shape the next generation of the TKET quantum compiler across research, design, programming, and testing.
Collaborate with research and engineering stakeholders and communicate technical ideas clearly.
Requirements
Software development experience, preferably with Rust or Python.
Broad knowledge of programming languages, programming paradigms, and compiler concepts.
Ability to work collaboratively, write clean and maintainable code, and communicate technical ideas clearly.
Familiarity with version control, issue tracking, debuggers, profilers, and testing frameworks.
A 2:1 or higher degree in Computer Science, Mathematics, Engineering, or a related discipline.
Ability to read and implement ideas from technical research materials.
Nice to have
Experience designing classical compilers and programming languages.
Knowledge of quantum computing, quantum algorithms, or programming quantum systems.
Experience with compiler frameworks such as LLVM or MLIR.
Familiarity with formal methods, type theory, or program verification tools.
Background in large software system architecture and design.
Culture & Benefits
Full-time employment with flexible work arrangements and a focus on work-life balance.
28 days of annual leave plus bank holidays.
Employer pension contribution of 4%, life insurance, income protection, and private medical and dental insurance through Bupa.
Work alongside a global team of more than 800 scientists, engineers, and researchers.
Будьте осторожны
Если работодатель просит войти в их систему, используя iCloud/Google, прислать код/пароль, запустить код/ПО, не делайте этого. Это мошенники. Обязательно жмите «Пожаловаться» или пишите в поддержку. Подробнее в гайде →