#intel #llvm #russia #usa #canada
Compiler Engineer - ISPC
🇺🇸 , 🇨🇦 , 🇷🇺
Intel is hiring to work on ISPC (https://github.com/ispc/ispc). It’s LLVM based compiler with the focus on optimization for SIMD (CPU and GPU).
We have a small team and the opportunity to work on all kind of fun optimization techniques, including super-optimizer for SIMD.
We also work with hardware architects, and in this role you will be able to help defining the future of Intel hardware.
The position is for US and Canada, but we consider other geos as well including Russia.
Please send your questions and resumes to dmitry.y.babokin@intel.com (telegram: @babokin) or apply directly.
Full link:
https://jobs.intel.com/ShowJob/Id/3067149/Compiler-Engineer
Compiler Engineer - ISPC
🇺🇸 , 🇨🇦 , 🇷🇺
Intel is hiring to work on ISPC (https://github.com/ispc/ispc). It’s LLVM based compiler with the focus on optimization for SIMD (CPU and GPU).
We have a small team and the opportunity to work on all kind of fun optimization techniques, including super-optimizer for SIMD.
We also work with hardware architects, and in this role you will be able to help defining the future of Intel hardware.
The position is for US and Canada, but we consider other geos as well including Russia.
Please send your questions and resumes to dmitry.y.babokin@intel.com (telegram: @babokin) or apply directly.
Full link:
https://jobs.intel.com/ShowJob/Id/3067149/Compiler-Engineer
GitHub
GitHub - ispc/ispc: Intel® Implicit SPMD Program Compiler
Intel® Implicit SPMD Program Compiler. Contribute to ispc/ispc development by creating an account on GitHub.
#llvm #programanalysis #bap #verification #remote #office
Software Development Engineer
Correct Computation
College Park, MD. flexible about remote vs. in-person work
Baseline qualifications
- At least 2 years of industrial/academic experience (in research, development, or project-based coursework) in compiler construction, program analysis, formal verification, and/or theorem proving
- At least 3 years of experience writing code with compiled programming languages such as C/C++, Java, Rust, Scala, Haskell, or OCaml
- At least 3 years of experience in design and analysis of algorithms and data structures
Preferred qualifications
• At least 1 year of experience using the C and/or C++ languages
• At least 1 year of experience in a functional programming(-inspired) language, e.g., Haskell, Scala, OCaml, or Rust
• Experience developing with Clang/LLVM
• Experience developing with Binary Analysis, e.g., in BAP, or IDA/Pro
Interested in program analysis, fuzz testing, binary analysis, secure language design, and related PL/SE/Security topics?
Link to full description
https://correctcomputation.com/jobs/software-development-engineer/
Also they wanna see a TechLead:
https://correctcomputation.com/jobs/technical-lead/
Kudos: @GabrielFallen
Software Development Engineer
Correct Computation
College Park, MD. flexible about remote vs. in-person work
Baseline qualifications
- At least 2 years of industrial/academic experience (in research, development, or project-based coursework) in compiler construction, program analysis, formal verification, and/or theorem proving
- At least 3 years of experience writing code with compiled programming languages such as C/C++, Java, Rust, Scala, Haskell, or OCaml
- At least 3 years of experience in design and analysis of algorithms and data structures
Preferred qualifications
• At least 1 year of experience using the C and/or C++ languages
• At least 1 year of experience in a functional programming(-inspired) language, e.g., Haskell, Scala, OCaml, or Rust
• Experience developing with Clang/LLVM
• Experience developing with Binary Analysis, e.g., in BAP, or IDA/Pro
Interested in program analysis, fuzz testing, binary analysis, secure language design, and related PL/SE/Security topics?
Link to full description
https://correctcomputation.com/jobs/software-development-engineer/
Also they wanna see a TechLead:
https://correctcomputation.com/jobs/technical-lead/
Kudos: @GabrielFallen
#apple #internship #programanalysis #llvm #compiler #staticanalysis #swift
It's that time of year again! Apple is looking for interns to work on clang/llvm/swift compilers, debugger, security tools, program analysis, and developer infrastructure.
- Optimizing Compiler & Tools Internship
- Compiler Tools and Integration Internship
- Debugger Engineering Internship
- Security Tools and Program Analysis Engineering Internship
- Swift Compiler and Runtime Engineering Internship
Link https://gist.github.com/JDevlieghere/a66e49f78734178223ac2bbc44352479
It's that time of year again! Apple is looking for interns to work on clang/llvm/swift compilers, debugger, security tools, program analysis, and developer infrastructure.
- Optimizing Compiler & Tools Internship
- Compiler Tools and Integration Internship
- Debugger Engineering Internship
- Security Tools and Program Analysis Engineering Internship
- Swift Compiler and Runtime Engineering Internship
Link https://gist.github.com/JDevlieghere/a66e49f78734178223ac2bbc44352479
Gist
internships.md
GitHub Gist: instantly share code, notes, and snippets.
#cpp #compiler #clang #security #relocate #llvm
C++ Compiler Engineer
Apple 🍏
Santa Clara Valley (Cupertino),
California,
United States 🇺🇸
The C Languages & Libraries and Security Tools teams at Apple are looking for software engineers to develop and enhance the Clang compiler.
In this position, you will enhance the Clang compiler to add C++ language features to improve the stability, performance, and security of Apple platforms. You will work with security engineers and operating system engineers across Apple to help shape the future of our platform, languages and tools.
Full description:
https://jobs.apple.com/en-us/details/200310241/c-compiler-engineer
C++ Compiler Engineer
Apple 🍏
Santa Clara Valley (Cupertino),
California,
United States 🇺🇸
The C Languages & Libraries and Security Tools teams at Apple are looking for software engineers to develop and enhance the Clang compiler.
In this position, you will enhance the Clang compiler to add C++ language features to improve the stability, performance, and security of Apple platforms. You will work with security engineers and operating system engineers across Apple to help shape the future of our platform, languages and tools.
Full description:
https://jobs.apple.com/en-us/details/200310241/c-compiler-engineer
#llvm #compiler #cpp #typescript
Senior Software Engineer
МойОфис
Санкт-Петербург
Senior Software Engineer для участия в проекте по разработке компилятора динамического ЯВУ, входящего в состав кроссплатформенного GUI фреймворка.
- разработка компилятора динамического языка программирования
важно:
- опыт разработки на Javascript или Typescript
- опыт разработки на С или С++
- понимание принципов работы компиляторов ЯВУ
Детали:
https://hh.ru/vacancy/48996946
Senior Software Engineer
МойОфис
Санкт-Петербург
Senior Software Engineer для участия в проекте по разработке компилятора динамического ЯВУ, входящего в состав кроссплатформенного GUI фреймворка.
- разработка компилятора динамического языка программирования
важно:
- опыт разработки на Javascript или Typescript
- опыт разработки на С или С++
- понимание принципов работы компиляторов ЯВУ
Детали:
https://hh.ru/vacancy/48996946
spb.hh.ru
Вакансия Senior Software Engineer (TS Сompiler) в Санкт-Петербурге, работа в компании МойОфис (вакансия в архиве)
Зарплата: не указана. Санкт-Петербург. Требуемый опыт: 3–6 лет. Полная занятость. Дата публикации: 22.11.2021.
#compiler #worldwide #llvm #pl #blockchain
Senior Compiler Engineer
at Zilliqa
We are looking for an experienced software engineer with experience in building compilers, software analysis tools and language runtimes.
• Work on the compilation pipeline from high-level languages (Solidity, Python, etc) to functional intermediate-level representation
• Design type systems, static analyses, and optimizations
Design passes for JIT compilation from intermediate-level languages to various back-ends
• Evolve the design of the high-level languages based on the contemporary applications
• Identify gaps in current design of the Scilla IR and suggest improvements
• Propose new design aspects for high-level smart contract languages to be used on Zilliqa blockchain
• Be a part of the Zilliqa programming language team, facilitating the interaction between the front-end, back-end compiler development, and the verification frameworks
Details:
https://boards.greenhouse.io/zilliqa/jobs/4190828004
Senior Compiler Engineer
at Zilliqa
We are looking for an experienced software engineer with experience in building compilers, software analysis tools and language runtimes.
• Work on the compilation pipeline from high-level languages (Solidity, Python, etc) to functional intermediate-level representation
• Design type systems, static analyses, and optimizations
Design passes for JIT compilation from intermediate-level languages to various back-ends
• Evolve the design of the high-level languages based on the contemporary applications
• Identify gaps in current design of the Scilla IR and suggest improvements
• Propose new design aspects for high-level smart contract languages to be used on Zilliqa blockchain
• Be a part of the Zilliqa programming language team, facilitating the interaction between the front-end, back-end compiler development, and the verification frameworks
Details:
https://boards.greenhouse.io/zilliqa/jobs/4190828004
#compiler #toolchain #llvm #clang #cpp #vm #russia
System Software Engineer (compilers and
toolchains)
Huawei, Moscow, Russia
Contact: @Fedotovskaya Екатерина, +7 916 585 39 85 (tg, whatsapp)
“””
Всем привет!
Ищу людей в новый проект по написанию транспилятора/статическому анализатору типов/новым языкам программирования.
Мы в Huawei пишем транслятор из скриптового языка в наш собственный язык высокого уровня. Основной challenge - статический вывод типов для скриптового языка.
“””
We are seeking strong candidates for permanent research and development positions in the area of
compiler technologies (including frontend, backend, runtime, VM, toolchain).
About the project
The research will aim to develop a compiler/tools/runtime for a new general purpose programming
language. A significant fraction of our work is currently dedicated to source-to-source translation
from existing high-level languages to our new programming language and runtime.
Challenges:
- Research and implement algorithms and software technologies in the field of compilation, s2s
translations, JIT and optimizations;
- Investigate and improve performance of produced code and the runtime (lightweight VM);
- Participate in the important horizontal technical work of the product line as compilation technical
experts;
- Present your work by writing articles and papers based on your researches.
Minimum qualifications:
- Master's degree or equivalent practical experience;
- Knowledge of C++;
- Knowledge of Unix/Linux environments;
- Good knowledge of algorithms and data structures.
Preferred qualifications:
- Experience in creating or optimizing compilers and/or related tools and/or VM and/or OS;
- Hands-on experience in static analysis or type inference
- Knowledge of Lua
- Knowledge of VM
- PhD in Computer science;
- Contribution to open source projects;
- Familiarity with Clang/LLVM internals.
System Software Engineer (compilers and
toolchains)
Huawei, Moscow, Russia
Contact: @Fedotovskaya Екатерина, +7 916 585 39 85 (tg, whatsapp)
“””
Всем привет!
Ищу людей в новый проект по написанию транспилятора/статическому анализатору типов/новым языкам программирования.
Мы в Huawei пишем транслятор из скриптового языка в наш собственный язык высокого уровня. Основной challenge - статический вывод типов для скриптового языка.
“””
We are seeking strong candidates for permanent research and development positions in the area of
compiler technologies (including frontend, backend, runtime, VM, toolchain).
About the project
The research will aim to develop a compiler/tools/runtime for a new general purpose programming
language. A significant fraction of our work is currently dedicated to source-to-source translation
from existing high-level languages to our new programming language and runtime.
Challenges:
- Research and implement algorithms and software technologies in the field of compilation, s2s
translations, JIT and optimizations;
- Investigate and improve performance of produced code and the runtime (lightweight VM);
- Participate in the important horizontal technical work of the product line as compilation technical
experts;
- Present your work by writing articles and papers based on your researches.
Minimum qualifications:
- Master's degree or equivalent practical experience;
- Knowledge of C++;
- Knowledge of Unix/Linux environments;
- Good knowledge of algorithms and data structures.
Preferred qualifications:
- Experience in creating or optimizing compilers and/or related tools and/or VM and/or OS;
- Hands-on experience in static analysis or type inference
- Knowledge of Lua
- Knowledge of VM
- PhD in Computer science;
- Contribution to open source projects;
- Familiarity with Clang/LLVM internals.
Forwarded from Алексей Палецких
#вакансия #LLVM #cpp #rust #blockchain #evm
TL;DR Senior, C++, Rust, $7k-14k, релокация/удалёнка
Мы ищем сильного low-level разработчика в Matter Labs — делать компилятор под принципиально новую EVM, адаптированную для zero-knowledge proofs (zkEVM).
Matter Labs первыми реализовали масштабирование эфира при помощи zk-proofs – это самое перспективное направление на ближайшее будущее согласно видению Виталика. Они уже сделали самые дешёвые транзакции эфира среди всех конкурентов, а недавно выкатили на testnet свою собственную zkEVM, поддерживающую смарт-контракты на Solidity — то есть всё то, за что люди любят Ethereum, но без огромных комиссий за транзакции, за которые Ethereum не любят =)
Вы будете работать над компилятором Solidity/Zinc/Vyper под zkEVM, работа будет преимущественно на C++ (LLVM) и Rust (фронтенд). В основном речь идёт про оптимизацию всего и вся (у zkEVM своя специфика, поэтому не всегда стандартные подходы работают), доработка профайлера, дебаггера, линкера и много других интересных задач! Поэтому требуется хорошее понимание архитектуры компьютера и опыт с компиляторами/LLVM. Также очень нужно хорошее знание алгоритмов и структур данных и норм английский.
Компания предлагает вам релокацию в Португалию или ОАЭ, возможны и другие страны Европы. Также можно работать удалённо, но не из России =(
По поводу вакансии писать @paletskikh. Я немножко подразобрался в zk-proofs, так что отвечу на вопросы и расскажу ещё фактов про то, почему ребята делают действительно прорывные вещи =)
TL;DR Senior, C++, Rust, $7k-14k, релокация/удалёнка
Мы ищем сильного low-level разработчика в Matter Labs — делать компилятор под принципиально новую EVM, адаптированную для zero-knowledge proofs (zkEVM).
Matter Labs первыми реализовали масштабирование эфира при помощи zk-proofs – это самое перспективное направление на ближайшее будущее согласно видению Виталика. Они уже сделали самые дешёвые транзакции эфира среди всех конкурентов, а недавно выкатили на testnet свою собственную zkEVM, поддерживающую смарт-контракты на Solidity — то есть всё то, за что люди любят Ethereum, но без огромных комиссий за транзакции, за которые Ethereum не любят =)
Вы будете работать над компилятором Solidity/Zinc/Vyper под zkEVM, работа будет преимущественно на C++ (LLVM) и Rust (фронтенд). В основном речь идёт про оптимизацию всего и вся (у zkEVM своя специфика, поэтому не всегда стандартные подходы работают), доработка профайлера, дебаггера, линкера и много других интересных задач! Поэтому требуется хорошее понимание архитектуры компьютера и опыт с компиляторами/LLVM. Также очень нужно хорошее знание алгоритмов и структур данных и норм английский.
Компания предлагает вам релокацию в Португалию или ОАЭ, возможны и другие страны Европы. Также можно работать удалённо, но не из России =(
По поводу вакансии писать @paletskikh. Я немножко подразобрался в zk-proofs, так что отвечу на вопросы и расскажу ещё фактов про то, почему ребята делают действительно прорывные вещи =)
#llvm #compiler #aarch #arm
LLVM Compiler Engineer (MH-105)
Linaro
Department
Engineering
Remote status
Fully Remote
The Linaro Toolchain Team is looking for an experienced and enthusiastic LLVM compiler engineer to join an effort to improve the LLVM/Clang compilation pipeline. The team is already a notable contributor to LLVM for Arm ecosystem. This role will support a broader push to improve the performance of LLVM Toolchain for AArch64 and 32-bit ARM architectures.
Relevant skills and experience: - LLVM development experience. - Understand how to work with an open-source project and get the work upstreamed - Knowledge of AArch64 architecture, AArch64 assembly, etc. - Ability to be productive in a globally distributed team. - Familiarity with Fortran, Rust, or MLIR. - Windows application-level development or experience with open-source packages on Windows. - Basic awareness of recent developments in Arm processor architecture, such as SVE, MVE, Arm® TrustZone®, etc.
Description :
https://careers.linaro.org/jobs/1547611-llvm-compiler-engineer-mh-105
LLVM Compiler Engineer (MH-105)
Linaro
Department
Engineering
Remote status
Fully Remote
The Linaro Toolchain Team is looking for an experienced and enthusiastic LLVM compiler engineer to join an effort to improve the LLVM/Clang compilation pipeline. The team is already a notable contributor to LLVM for Arm ecosystem. This role will support a broader push to improve the performance of LLVM Toolchain for AArch64 and 32-bit ARM architectures.
Relevant skills and experience: - LLVM development experience. - Understand how to work with an open-source project and get the work upstreamed - Knowledge of AArch64 architecture, AArch64 assembly, etc. - Ability to be productive in a globally distributed team. - Familiarity with Fortran, Rust, or MLIR. - Windows application-level development or experience with open-source packages on Windows. - Basic awareness of recent developments in Arm processor architecture, such as SVE, MVE, Arm® TrustZone®, etc.
#compilers #tensor #processor #remote #canada #llvm #mlir
Compiler Engineer
at Groq
Toronto, Canada (Remote)
As compiler engineer, you will be responsible for developing compiler optimizations for our state-of-the-art spatial compiler - targeting Groq's revolutionary Tensor Streaming Processor.
You will own specific components and compiler passes within Groq's TSP compiler, and be in charge of designing new optimizations, developing innovative scheduling techniques, and developing new front-end language dialects to support the rapidly evolving ML space.
You will also be required to benchmark and monitor key performance metrics to ensure that your components and passes produce efficient mappings of neural network graphs to the Groq TSP.
Experience with LLVM and MLIR preferred, and knowledge with functional programming languages an asset. Also, knowledge with ML frameworks such as TensorFlow and PyTorch, and portable graph models such as ONNX desired.
More details:
https://groq.com/careers/?gh_jid=4192795003
Compiler Engineer
at Groq
Toronto, Canada (Remote)
As compiler engineer, you will be responsible for developing compiler optimizations for our state-of-the-art spatial compiler - targeting Groq's revolutionary Tensor Streaming Processor.
You will own specific components and compiler passes within Groq's TSP compiler, and be in charge of designing new optimizations, developing innovative scheduling techniques, and developing new front-end language dialects to support the rapidly evolving ML space.
You will also be required to benchmark and monitor key performance metrics to ensure that your components and passes produce efficient mappings of neural network graphs to the Groq TSP.
Experience with LLVM and MLIR preferred, and knowledge with functional programming languages an asset. Also, knowledge with ML frameworks such as TensorFlow and PyTorch, and portable graph models such as ONNX desired.
More details:
https://groq.com/careers/?gh_jid=4192795003
Groq
Careers - Groq
It takes a united team to change the face of machine learning at scale. At Groq, you will work with some of the world’s most talented engineers and leaders to
#compiler #codegen #ml #remote #usa #toolchain #llvm #mlir
Core Libraries Software Engineer
at Groq
Mountain View, CA (Remote)
The core libraries team is responsible for the Groq assembler, which translates an intermediate level description of an ML model into the low-level binary representation that can be loaded on the chip.
As a core libraries engineer, you will build tooling to support users of multiple generations of Groq hardware, help debug when models do not execute as expected, and ensure an efficient and friendly development cycle for end-users of Groq’s chips.
You:
- Must be familiar with functional programming and persistent data structures
- Excellent programming skills in Haskell, Scala, ML, or another typed functional programming language
- Background in compiler design or programming languages
- Comfortable with systems-level programming (we deal with lots of bits)
- Ability to provide excellent technical documentation
- Experience with code reviews, agile development, code repository and CI/CD development and release cycles
- Experience optimizing Haskell code compiled by GHC
- 3 years experience of shipping production level code
- Bonus: familiarity with Python, C++
- Bonus: familiarity with LLVM and/or MLIR
- Bonus: background in HPC, Machine Learning, ML, Linear Algebra or Data Science
More details:
https://groq.com/careers/?gh_jid=5080976003
Core Libraries Software Engineer
at Groq
Mountain View, CA (Remote)
The core libraries team is responsible for the Groq assembler, which translates an intermediate level description of an ML model into the low-level binary representation that can be loaded on the chip.
As a core libraries engineer, you will build tooling to support users of multiple generations of Groq hardware, help debug when models do not execute as expected, and ensure an efficient and friendly development cycle for end-users of Groq’s chips.
You:
- Must be familiar with functional programming and persistent data structures
- Excellent programming skills in Haskell, Scala, ML, or another typed functional programming language
- Background in compiler design or programming languages
- Comfortable with systems-level programming (we deal with lots of bits)
- Ability to provide excellent technical documentation
- Experience with code reviews, agile development, code repository and CI/CD development and release cycles
- Experience optimizing Haskell code compiled by GHC
- 3 years experience of shipping production level code
- Bonus: familiarity with Python, C++
- Bonus: familiarity with LLVM and/or MLIR
- Bonus: background in HPC, Machine Learning, ML, Linear Algebra or Data Science
More details:
https://groq.com/careers/?gh_jid=5080976003
Groq
Careers - Groq
It takes a united team to change the face of machine learning at scale. At Groq, you will work with some of the world’s most talented engineers and leaders to
Forwarded from Александр Колесников
#LLVM #compiler #наборкомандыСПб #ВакансияСПб #toolchain #C++
Добрый день.
На связи Александр и в рамках Санкт-Петербургского научно-исследовательского центра Huawei мы разрабатываем новый язык программирования Cangjie.
Проект уже три года развивается в Китае. Это язык общего назначения. Первичная задача - это написание программ под Harmony OS и другие гаджеты от нашей компании, далее цель выпустить его в OpenSource,
Потому этим летом мы начали комплектовать команду в Питере. Основой стали разработчики, стоявшие у истоков Kotlin. Теперь, я подбираю людей им в команду. Требуются специалисты разных уровней.
Programming Languages Engineer
Возможные направления работ:
1. Разработка и исследования в области языков программирования: языковой дизайн, системы типов, семантика, анализ и верификация программ.
2. Разработка и внедрение базовой инфраструктуры языков программирования, в том числе: компилятор, runtime/virtual machine, toolchains (статический анализ, управление пакетами, форматирование, инструменты отладки и т.д.).
3. Разработка и внедрение стандартных библиотек (net, crypto, regex, math и т.д.).
4. Разработка и внедрение DSL и связанных с ними инструментов.
Профессиональные знания:
1. Опыт работы с лексическим или синтаксическим анализом, системами типов, кодогенерацией желателен.
2. Опыт проектирования языков программирования (включая DSL) желателен.
3. Опыт работы с виртуальными машинами, рантайм-окружениями, такими как: JVM, Go Runtime, JS Engine, Web Assembly Runtime и т.д. является желательным.
4. Знакомство с архитектурами компиляторов LLVM/GCC, фронтендами Clang или другими фронтендами компиляторов желателен.
Навыки пользователя:
1. Знание Linux, владение одним из языков C++/C/Java/Scala/Go/Kotlin/Rust/Swift.
2. Хорошие навыки инженера-разработчика.
3. Иметь четкое понимание структур данных и алгоритмов. Способность проектировать и реализовывать алгоритмы, связанные с деревьями и графами.
По условиям: Всё зависит от того, как вы пройдёте техническое собеседование. Потому вилки не называю, т.к. это привязано к результатам собеса.
Как вы знаете, мы даём хорошие условия и можем предоставить все необходимые документы для отсрочки.
Собеседование проходит на лояльном английском, а работа внутри команды ведётся на русском. Образование - желательно законченное высшее.
Офис на Марата, график гибридный. Т.к. это работа в НИИ, то большинство дней в офисе.
Если вам интересно поближе ознакомиться с этим амбициозным проектом и поучаствовать в становлении нового языка, напишите мне пару слов о себе и присылайте своё CV на английском.
https://t.me/KolesnikovLead
Добрый день.
На связи Александр и в рамках Санкт-Петербургского научно-исследовательского центра Huawei мы разрабатываем новый язык программирования Cangjie.
Проект уже три года развивается в Китае. Это язык общего назначения. Первичная задача - это написание программ под Harmony OS и другие гаджеты от нашей компании, далее цель выпустить его в OpenSource,
Потому этим летом мы начали комплектовать команду в Питере. Основой стали разработчики, стоявшие у истоков Kotlin. Теперь, я подбираю людей им в команду. Требуются специалисты разных уровней.
Programming Languages Engineer
Возможные направления работ:
1. Разработка и исследования в области языков программирования: языковой дизайн, системы типов, семантика, анализ и верификация программ.
2. Разработка и внедрение базовой инфраструктуры языков программирования, в том числе: компилятор, runtime/virtual machine, toolchains (статический анализ, управление пакетами, форматирование, инструменты отладки и т.д.).
3. Разработка и внедрение стандартных библиотек (net, crypto, regex, math и т.д.).
4. Разработка и внедрение DSL и связанных с ними инструментов.
Профессиональные знания:
1. Опыт работы с лексическим или синтаксическим анализом, системами типов, кодогенерацией желателен.
2. Опыт проектирования языков программирования (включая DSL) желателен.
3. Опыт работы с виртуальными машинами, рантайм-окружениями, такими как: JVM, Go Runtime, JS Engine, Web Assembly Runtime и т.д. является желательным.
4. Знакомство с архитектурами компиляторов LLVM/GCC, фронтендами Clang или другими фронтендами компиляторов желателен.
Навыки пользователя:
1. Знание Linux, владение одним из языков C++/C/Java/Scala/Go/Kotlin/Rust/Swift.
2. Хорошие навыки инженера-разработчика.
3. Иметь четкое понимание структур данных и алгоритмов. Способность проектировать и реализовывать алгоритмы, связанные с деревьями и графами.
По условиям: Всё зависит от того, как вы пройдёте техническое собеседование. Потому вилки не называю, т.к. это привязано к результатам собеса.
Как вы знаете, мы даём хорошие условия и можем предоставить все необходимые документы для отсрочки.
Собеседование проходит на лояльном английском, а работа внутри команды ведётся на русском. Образование - желательно законченное высшее.
Офис на Марата, график гибридный. Т.к. это работа в НИИ, то большинство дней в офисе.
Если вам интересно поближе ознакомиться с этим амбициозным проектом и поучаствовать в становлении нового языка, напишите мне пару слов о себе и присылайте своё CV на английском.
https://t.me/KolesnikovLead
Forwarded from Katerina Ziriukova
#vacancy #remote #compiler #C++ #C #LLVM #Clang
Position: Software Engineer (LLVM, compiler, C++)
Company: Access Softek
Location: #remote
Employment: full-time contract
Salary: 4000-5000$ (готовы обсуждать)
English: B2 – C1
Всем привет!
Access Softek - известное имя с устоявшейся репутацией в сообществе LLVM.
С самого начала зарождения LLVM мы работали над рядом проектов, таких как внешний компилятор, внутренняя генерация / оптимизация кода, и делали это, ориентируясь на различные платформы - от известных до новых, совершенно уникальных и еще не доступных публично.
Мы "владеем" лабораторией LLVM Lab и организуем постоянную интеграцию (LLVM buildbot).
Наша команда растет, и мы ищем опытных инженеров-программистов для работы над инструментарием на базе LLVM и Clang. Наш продукт — это набор инструментов, включающий компилятор Clang, компоновщик, инструменты и библиотеки, адаптированные и оптимизированные для создания безопасных и эффективных приложений.
Чем предстоит заниматься:
анализировать требования, исследовать, разрабатывать, улучшать и внедрять различные компоненты инструментария для удовлетворения потребностей клиентов;
расширять кодовые базы LLVM, Clang, binutils с открытым исходным кодом для поддержки платформы клиента;
тесно сотрудничать с сообществом LLVM и вносить публичные исправления в репозиторий LLVM и Clang.
Мы предлагаем:
• Гибкий график работы
• Компенсация интернета (50$ в месяц)
• Покупка/компенсация техники
• Работу с американским менеджментом и соответствующую культуру
Этапы подбора:
• Интервью с рекрутером
• Техническое задание
• Техническое интервью
• Беседа с HRD
• Job Offer
Контакт TG: @katerinaziryukova
Position: Software Engineer (LLVM, compiler, C++)
Company: Access Softek
Location: #remote
Employment: full-time contract
Salary: 4000-5000$ (готовы обсуждать)
English: B2 – C1
Всем привет!
Access Softek - известное имя с устоявшейся репутацией в сообществе LLVM.
С самого начала зарождения LLVM мы работали над рядом проектов, таких как внешний компилятор, внутренняя генерация / оптимизация кода, и делали это, ориентируясь на различные платформы - от известных до новых, совершенно уникальных и еще не доступных публично.
Мы "владеем" лабораторией LLVM Lab и организуем постоянную интеграцию (LLVM buildbot).
Наша команда растет, и мы ищем опытных инженеров-программистов для работы над инструментарием на базе LLVM и Clang. Наш продукт — это набор инструментов, включающий компилятор Clang, компоновщик, инструменты и библиотеки, адаптированные и оптимизированные для создания безопасных и эффективных приложений.
Чем предстоит заниматься:
анализировать требования, исследовать, разрабатывать, улучшать и внедрять различные компоненты инструментария для удовлетворения потребностей клиентов;
расширять кодовые базы LLVM, Clang, binutils с открытым исходным кодом для поддержки платформы клиента;
тесно сотрудничать с сообществом LLVM и вносить публичные исправления в репозиторий LLVM и Clang.
Мы предлагаем:
• Гибкий график работы
• Компенсация интернета (50$ в месяц)
• Покупка/компенсация техники
• Работу с американским менеджментом и соответствующую культуру
Этапы подбора:
• Интервью с рекрутером
• Техническое задание
• Техническое интервью
• Беседа с HRD
• Job Offer
Контакт TG: @katerinaziryukova
jobs.lever.co
Access Softek - Compiler Developer (LLVM, C++)
Access Softek is a recognized name with an established reputation in the LLVM community. From early on in LLVM’s origins, we have worked on a number of projects such as a front-end compiler, back-end code generation / optimizations, linkers, code instrumentation…
#antlr #russia #llvm #dsl #csharp
Сейчас мы ищем разработчика в команду, которая занимается развитием технологий, которые используются в нескольких продуктах компании. В данном случае предстоит принимать участие в развитии DSL (domain-specific programming language).
https://hh.ru/vacancy/96613934
Сейчас мы ищем разработчика в команду, которая занимается развитием технологий, которые используются в нескольких продуктах компании. В данном случае предстоит принимать участие в развитии DSL (domain-specific programming language).
https://hh.ru/vacancy/96613934
spb.hh.ru
Вакансия Middle/Senior Developer (DSL) в Санкт-Петербурге, работа в компании Positive Technologies (вакансия в архиве c 10 мая…
Зарплата: не указана. Санкт-Петербург. Требуемый опыт: 3–6 лет. Полная занятость. Дата публикации: 10.04.2024.
#llvm #cpp #russia #ios #obfuscation
Разрабатывать обфускатор для iOS-приложений на уровне LLVM IR
https://hh.ru/vacancy/91928928
Разрабатывать обфускатор для iOS-приложений на уровне LLVM IR
https://hh.ru/vacancy/91928928
hh.ru
Вакансия С++ разработчик (Compiler, LLVM) в Москве, работа в компании Т-Банк (вакансия в архиве c 24 июня 2024)
Зарплата: не указана. Москва. Требуемый опыт: 3–6 лет. Полная занятость. Дата публикации: 03.06.2024.
#finland #bodyshop #compiler #llvm #unikie #tampere #helsinki #softwareprotection
Senior Software Engineer (Compiler-based Security Design)
We are looking for an experienced consultant to help us with a 6-8 month project where we improve on the way a LLVM/ compiler-based design for call-flow protection interacts with libraries, the software stack and system, not all of which follow the same protection regime.
Required Qualifications
• A software engineer with experience and knowledge with especially compilers (LLVM), system
programming, tooling / testing
• Languages: C/C++ (ARM assembler)
• 3-5 years industry experience (or corresponding project experience)
• Skills to work and interact in English
• Good teamwork skills
Check out this job from Unikie https://www.linkedin.com/jobs/view/3897177997/
https://odoo.unikie.com/jobs/detail/senior-software-engineer-compiler-based-security-design-143
Senior Software Engineer (Compiler-based Security Design)
We are looking for an experienced consultant to help us with a 6-8 month project where we improve on the way a LLVM/ compiler-based design for call-flow protection interacts with libraries, the software stack and system, not all of which follow the same protection regime.
Required Qualifications
• A software engineer with experience and knowledge with especially compilers (LLVM), system
programming, tooling / testing
• Languages: C/C++ (ARM assembler)
• 3-5 years industry experience (or corresponding project experience)
• Skills to work and interact in English
• Good teamwork skills
Check out this job from Unikie https://www.linkedin.com/jobs/view/3897177997/
https://odoo.unikie.com/jobs/detail/senior-software-engineer-compiler-based-security-design-143
#remote #llvm #crypto #llvmir #mlir #matterlabs
As the team we help the company to scale Ethereum 1 to promote personal sovereignty . The company has a state of the art zkRollup 2 implemented as a circuit to make computation in blockchain fast and cheap. The team made LLVM-based Solidity 3 and Vyper 1 toolchains for our target to make it accessible to smart contract developers. Now we prioritise improving developer’s experience and making our compilers to optimize better.
https://discourse.llvm.org/t/remote-compiler-engineer-role-at-matter-labs/78039
Direct application:
https://jobs.eu.lever.co/matterlabs/edd98ed6-48b0-40c5-b061-c2a19ff8c710/apply
PS: former colleague pinged with this position, if anybody wants to know more: @abalias8
As the team we help the company to scale Ethereum 1 to promote personal sovereignty . The company has a state of the art zkRollup 2 implemented as a circuit to make computation in blockchain fast and cheap. The team made LLVM-based Solidity 3 and Vyper 1 toolchains for our target to make it accessible to smart contract developers. Now we prioritise improving developer’s experience and making our compilers to optimize better.
https://discourse.llvm.org/t/remote-compiler-engineer-role-at-matter-labs/78039
Direct application:
https://jobs.eu.lever.co/matterlabs/edd98ed6-48b0-40c5-b061-c2a19ff8c710/apply
PS: former colleague pinged with this position, if anybody wants to know more: @abalias8
LLVM Discussion Forums
Remote Compiler Engineer Role at Matter Labs
Why join the Matter Labs compiler team? Around 80% of your time will be spent on new feature development, not maintenance. You will work in the domain where compilation time consuming, computationally heavy optimizations are possible and profitable. You…
#india #ibm #llvm #cobol #java
Пошарили тут, дело каждого смотреть или нет…(но это забавно)
Back End Developer - Compiler Role with IBM
IBM System development Lab
Role Overview:
Join IBM's WCA4Z team to innovate in the dynamic AI landscape. You'll design and engineer solutions, ensure software quality, and collaborate with a talented team.
Requirements:
Strong compiler development skills, Java proficiency
Aptitude for low-level programming, strong problem-solving abilities
Understanding of AI principles and Agile methodology
Preference for familiarity with z/OS and COBOL
Location: Bangalore, Karnataka, no travel required.
Kamalesh
Inspire Consultancy Services
9341636400
kld@inspireconsultancy.com
Пошарили тут, дело каждого смотреть или нет…(но это забавно)
Back End Developer - Compiler Role with IBM
IBM System development Lab
Role Overview:
Join IBM's WCA4Z team to innovate in the dynamic AI landscape. You'll design and engineer solutions, ensure software quality, and collaborate with a talented team.
Requirements:
Strong compiler development skills, Java proficiency
Aptitude for low-level programming, strong problem-solving abilities
Understanding of AI principles and Agile methodology
Preference for familiarity with z/OS and COBOL
Location: Bangalore, Karnataka, no travel required.
Kamalesh
Inspire Consultancy Services
9341636400
kld@inspireconsultancy.com
Вакансия: AI Compiler Engineer
🌟Ищем инженера по разработке AI компилятора на основе MLIR.
🚀Если у вас есть опыт работы с AI фреймворками и компиляторами, а также знание архитектуры NPU, присоединяйтесь к нашей международной R&D команде в Москве!
🔍 Подробности по ссылке: https://telegra.ph/AI-Compiler-Engineer-11-05
📱 Вопросы и резюме в Telegram: @MezentcevaD
#AI #compiler #openvino #llvm #mlir #tvm #tensorflow #npu #вакансия #работа #jobs #Moscow
🌟Ищем инженера по разработке AI компилятора на основе MLIR.
🚀Если у вас есть опыт работы с AI фреймворками и компиляторами, а также знание архитектуры NPU, присоединяйтесь к нашей международной R&D команде в Москве!
🔍 Подробности по ссылке: https://telegra.ph/AI-Compiler-Engineer-11-05
📱 Вопросы и резюме в Telegram: @MezentcevaD
#AI #compiler #openvino #llvm #mlir #tvm #tensorflow #npu #вакансия #работа #jobs #Moscow
Вакансия: DSP Compiler Engineer
🌟 Ищем инженера по разработке бэкендов LLVM и GCC для архитектур DSP.
🚀 Если у вас есть опыт работы с компиляторами и хорошее знание архитектуры процессоров, присоединяйтесь к нашей команде в Москве!
🔍 Подробности по ссылке: https://telegra.ph/InzhenerEHkspert-po-kompilyatoram-10-29
📱 Вопросы и резюме в Telegram: @MezentcevaD
#DSP #compiler #llvm #gcc #вакансия #работа #jobs #Moscow
🌟 Ищем инженера по разработке бэкендов LLVM и GCC для архитектур DSP.
🚀 Если у вас есть опыт работы с компиляторами и хорошее знание архитектуры процессоров, присоединяйтесь к нашей команде в Москве!
🔍 Подробности по ссылке: https://telegra.ph/InzhenerEHkspert-po-kompilyatoram-10-29
📱 Вопросы и резюме в Telegram: @MezentcevaD
#DSP #compiler #llvm #gcc #вакансия #работа #jobs #Moscow