Rust Engineer (AquaVM) @ Fluence Labs, Remote

We are looking for an engineer to work on the AquaVM (https://github.com/fluencelabs/aquavm). AquaVM empowers the Fluence network with the fundamental possibilities that it offers: it interprets π-calculus-based AIR instructions on individual Fluence peers in a way that is composable, secure, and performant.

AquaVM is the algorithmic core of the protocol that has super fancy problems to solve: practical process calculus, formal verification, circuit breaking, generating, verifying signatures and Merkle proofs for different data parts, and making sure that everything performs well thanks to signatures compaction, garbage collection, and other technics.

You will join the team responsible for the AquaVM to work on the bleeding edge technologies related to Web3 and Wasm. Your primary language will be Rust. You will be supporting AquaVM, implementing brand new behaviors into it, doing research, and working on formal models.

We expect:
- 3+ years in a software engineer role
- good knowledge of algorithms and data structures
- excellent coding skills
- ability to learn new technologies and languages fast
- ability to go from design to implementation fast
- experience with Rust or alternatively but less preferred C++

Nice to have:
- experience with compilers or virtual machines
- familiarity with WebAssembly standard
- knowledge of cryptography
- open-source software background

Benefits:
- Competitive compensation and equity options
- Remote-first, work from home or use a co-working space of your choice
- Friendly startup environment: no bureaucracy or time tracking
- We will provide you with anything you need to learn, grow, and be more productive

More details here https://fluence.one/aquavm-engineer.html or DM @voronovm

#вакансия #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, так что отвечу на вопросы и расскажу ещё фактов про то, почему ребята делают действительно прорывные вещи =)

#rust #compiler #jit #ruby

Staff Compiler Engineer (Rust YJIT)
Shopify
Fully remote job. We are able to hire from almost anywhere in North-America and Europe

The YJIT project is one of those efforts, developing a new JIT compiler for the Ruby programming language. The project is based on a technique called Lazy Basic Block Versioning that was developed by the technical lead of the project, Maxime Chevalier-Boisvert, during her PhD. Aligned with the mandate of the Ruby and Rails Infrastructure team to improve performance for Rails applications, YJIT is able to run Rails workloads, as well as other kinds of Ruby applications up to 30% faster.

You'll primarily be working on:
• The Rust YJIT codebase that integrates with CRuby
• Implementing a new backend for the YJIT compiler that is able to target both x86-64 and ARM processors.
• Benchmarking the existing implementations, finding bottlenecks and implementing optimizations.
• Building a mechanism for YJIT to use less memory by developing and implementing techniques for code garbage collection.
• Collaborating with other Shopify developers to understand their needs and ensure our team works on the right things.

Full details:
https://gist.github.com/maximecb/9f20974851d43f9bddf9caf41378272f

P.S>
Their blog post about the project journey from c99 to rust, I left in my other channel: https://www.tg-me.com/nakeit/557

#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

#Вакансия #ANTLR4 #Python #Translators
Вакансия от Владимира Кожаева
Это фриланс, разработка трансляторов с разных языков на внутренний. Нужно знать ANTLR4 + питон(либо быстро выучить, там особенно нечего). Ну и должна быть общая инженерная грамотность и договороспособность, возможность идти на компромисс. Людям старше тридцати предпочтение
Подходят люди из любой страны, кроме РФ и Беларуси из-за санкционных ограничений. Иммигрантам не возбраняется
Оплата почасовая
Желающим писать на емейл :[email protected]

#compilers #companies #feed

Just a list of companies with projects in compilers, runtimes, etc..
Nothing concrete, however, it might help to understand what is going on on the market...

https://mgaudet.github.io/CompilerJobs/

Special thanks to @KvanTTT for the link.

#comilers #translator #grant #python #cpp #gc

Summary
The Oil project needs a compiler engineer with experience in C++ and garbage collection to help "finish" the project! As of April 2022, we have a 50K euro grant from NLnet to pay someone, and I'm also collecting donations with Github Sponsors.

Work on a 4K-8K line translator in Python, and a 3K-10K line garbage-collected runtime in C++, with an eye toward making it run the Oil interpreter. (For each component, we have code that passes significant tests, including many end-to-end tests. It's a proof of concept and some of it may need to be rewritten. Let's talk about it!)
This is a job very much in need of solid engineering! (i.e. it's not a research project)

Funny things for those who interested in:
> If you enjoy debugging C++ code! And then writing tests to make sure the bug never comes back.

More info:
https://github.com/oilshell/oil/wiki/Compiler-Engineer-Job

#compiler #julia #remote #usa

EDA Core System & Compiler Engineer
Julia Computing

Julia Computing’s Cedar EDA is a ground-up rethink of what tooling for analog design and verification should and can look like. It heavily leverages Julia and its associated modeling and simulation ecosystem, making extensive use of its JIT compilation and parallel computing capabilities. As a result, in many ways, the EDA specific parts of Cedar look more like a traditional compiler than a simulation tool, taking in input circuit specifications and compiling it to the fastest simulation possible.

https://jobs.juliacomputing.com/jobs/Iyii70VtHMgj/eda-core-system-compiler-engineer-remote

#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 #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

Senior C++ engineer (compiler domain)
Москва, гибридный график

https://hh.ru/vacancy/55002887?hhtmFrom=employer_vacancies


Команда занимается разработкой фреймворка с открытым исходным кодом под названием ONE( https://github.com/Samsung/ONE/ ). Этот фреймворк планируется использовать в будущих устройствах компании Samsung.
Московская команда сфокусирована на разработке нового функционала данного фреймворка, такого как поддержка новых операций в конвертере, реализации легковесной среды исполнения нейронных сетей для микроконтроллеров, разработке новых оптимизаций, NPU (Neural Processing Unit) backend и других задачах.

Задачи:

Разработка и развитие фреймворка ONE
Поддержка новых моделей нейронных сетей и новых операций
Разработка новых оптимизаций, методов квантизации и тайлинга
Поддержка новых архитектур NPU в компиляторе

Пожелания к кандидатам:

Уверенное знание C/C++
Глубокое понимание компиляторных оптимизаций
Понимание основных процессов разработки: настройка систем сборки, отслеживание задач, ревью кода, использование систем контроля версий (git workflow)
Базовое владение языками для написания скриптов (python, bash)

Будет плюсом:

Опыт разработки компиляторов
Опыт оптимизации для специализированных ускорителей (NPU, GPU, DSP и тп)
Понимание архитектур популярных нейронных сетей:
Inception, MobileNet, ResNet и другие
Опыт работы с популярными ML фреймворками (TensorFlow, Pytorch, etc.)
Опыт разработки различных техник оптимизаций нейронных сетей таких как квантизация, прунинг, спарсификация, тайлинг и другие
Ученая степень в релевантной области

Писать в личку Альбине https://www.tg-me.com/AlbinaDanilina или на почту [email protected]

LLVM Compiler Engineer
Cyprus, Limassol (office or remote)

https://hh.ru/vacancy/67785931?hhtmFrom=employer_vacancies

About Us

=nil; Foundation was established in April of 2018 to facilitate and support research and development in database management systems and decentralized protocols. With its internal teams =nil; Foundation intends to create a tightly integrated set of technologies becoming a basis for reliable data storages.

Our other teams

=nil; Database Management System Database Management System providing a fault-tolerant replication mechanism for newly created databases and handling different kinds of fault-tolerant replication protocols for existing ones. Puts replication protocol to the database level, introduces swappable query languages and sub-clustering.

=nil; Protocol =nil; Protocol team is dedicated to communication and database replication protocol design and development.

=nil; Crypto3 =nil; Crypto3 is a team dedicated to design and development of cryptography theoretical constructions and implementations.
Github: https://github.com/NilFoundation


We are looking for an experienced LLVM-developer into our Compiler team.

Responsibilities:

We are developing a stack-machine backend for LLVM compiler and looking for an experienced developer. Together with our research team you will work on extension and optimizations (especially memory-management optimizations) of our backend designed for stack-machine execution.

Qualifications:

Experience with compiler / toolchain development using LLVM framework;
Minimum 3+ years C++ experience;
Good understanding of computer architecture and ability to work with machine-level representation of a program;
B2 English level;
Academic experience will be a huge plus.

Benefits:

Money;
No corporate bullshit culture;
Remote work or office work in Limassol;
Relocation support;
Health insurance.

Feel free to contact me by email [email protected] and telegram @korsakevich

#вакансия #remote #relocate #compiler #Rust

Ищем compiler engineer в Aurora Labs: можно как опытному синьору, так и смышленным junior/middle разработчикам с любовью к компиляторам.

Релокейт в Дубай или remote, платят top of the market (вилка, скажем, до $150к в год + токены 🌀)

Умеют за три дня проводить все этапы интервью от знакомства до оффера, что в текущей ситуации важный бонус.

Aurora единственные делают масштабирование эфириума с шардингом, реализуют видение Виталика Бутерина, и очень вероятно, что это будет тот самый проект, который выстрелит: ребята создали первый полностью trustless мост между Ethereum и произвольным блокчейном еще в составе Near, и уже сейчас пользователи эфира могут с помощью Aurora платить всего ~$0.02 за транзакцию.

От кандидата – опыт работы с компиляторами, знание Rust и EVM огромный плюс, как и общий интерес к блокчейну ✨

С резюме и вопросами, а также рефером знакомых, пишите Феде в личку @owlkov

#remote #accesssoftek #compiler #USA

Software Engineer (LLVM, compiler, 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, and did so with a focus of targeting different platforms - from well-known platforms to those that are new, quite unique and not yet publicly available.

We "own" and host the LLVM Lab, and orchestrate the continued integration (LLVM buildbot) for all projects under the LLVM umbrella.

We are growing our team, and are looking for experienced Software Engineers to work on the LLVM and Clang based toolchain. Our product is a set of instruments that includes the Clang compiler, a linker, tools, and libraries adapted and optimized to build safe, efficient applications.

More detailes: https://jobs.lever.co/accesssoftek/55497b30-5fbc-4fda-81ce-91752ae1599a

#freelance #compilers #interpreters #dsl #antlr
Добрый день, я создаю на апворке agency для решения сложных задач по хорошему рейту. Прервоначальный фокус на разработку компиляторов, трансляторов, плагинов под идею и иклипс, DSL и языков программирования. Однако хорошим людям с другой специализацией тоже добро пожаловать. Как опытный фрилансер со средней оценкой 5 из 5 и первый в рейтинге апворк по ANTLR, например, помогу вам найти проект, сглажу углы при общении с заказчиком, порекомендую рейт.

Кто хочет попробовать, пишите в телеграм @vladko1980, или на почту [email protected] с актуальным резюме, профилем в линкедин или чем-то аналогичным.

PS @vladko1980
Нет сотрудничества с людьми кто ФИЗИЧЕСКИ находится на территории РФ, или Беларуси. Ничего личного, но оттуда по мне летают ракеты. Иммигрантам добро пожаловать.

#LLVM #compiler #наборкомандыСПб #ВакансияСПб #toolchain #C++
Добрый день.
На связи Александр и в рамках Санкт-Петербургского научно-исследовательского центра Huawei мы разрабатываем новый язык программирования Cangjie.
Проект уже три года развивается в Китае. Это язык общего назначения. Первичная задача - это написание программ под Harmony OS и другие гаджеты от нашей компании, далее цель выпустить его в OpenSource,
Потому этим летом мы начали комплектовать команду в Питере. Основой стали разработчики, стоявшие у истоков Kotlin. Теперь, я подбираю людей им в команду. Требуются специалисты разных уровней.

Programming Languages Engineer
Возможные направления работ:
1. Разработка и исследования в области языков программирования: языковой дизайн, системы типов, семантика, анализ и верификация программ.
2. Разработка и внедрение базовой инфраструктуры языков программирования, в том числе: компилятор, runwww.tg-me.com/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://www.tg-me.com/KolesnikovLead

#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

#vacancy #remote #compiler #cpp #vm #gamedev

Position: C++ Senior Software Programmer
Company: Gaijin
Location: #remote #Hungary #Cyprus #Germany #Dubai #Montenegro #Latvia #Armenia #Georgia
Employment: full-time contract/part-time contract
Salary: от 6 300 euro gross

Всем привет!
Gaijin – международная геймдев компания.
Нам нужен C++ Senior Software Programmer с значимым опытом разработки интерпретируемых языков программирования, компиляторов и виртуальных машин.

Чем предстоит заниматься:
Работа над языком Quirrel ( https://github.com/GaijinEntertainment/quirrel )
Наш кандидат:
- Опыт разработки интерпретируемых языков программирования, компиляторов и виртуальных машин от 5 лет;
- Знание С++;
- Опыт разработки парсеров, компиляторов и виртуальных машин;
- Обладает знанием английского языка не ниже уровня - intermediate;
- Обладает системным мышлением и высокой степенью самоорганизации.

Будет плюсом:
- Опыт разработки Garbage Collector, stack based VM и register based VM и статических анализаторов;
- Знание, опыт работы, а также разработки и понимания, как работают такие языки как Squirrel, JavaScript, Python, Wren, Lua.

Наше предложение финалисту:
- Работа в компании, сделавшей одну из самых популярных в мире игр;
- Уровень заработной платы определяем по результатам собеседования, минимум который предлагаем от 6 300 евро гросс;
- Нетривиальные задачи с использованием инновационных, перспективных технологий, что обеспечивает нашим решениям привлекательность и актуальность в быстро изменяющихся условиях IT-рынка;
- Международная команда, состоящая из сильных разработчиков;
- Компания предоставляет помощь в переезде в страны и офисы нашей компании/партнеров: Венгрия, Кипр, Германия, Дубай, Черногория, Латвия, Армения, Грузия;
- Формат работы:
полная или частичная занятость;
удаленный или гибридный (удаленка/офис);
гибкое начало рабочего дня;
- ДМС.
Контакт для CV: Alina @Alina_28282828 , [email protected]