#staticanalysis #apple #cupertino #usa

Static Analysis Engineer
Santa Clara Valley (Cupertino), California, United States

The Program Analysis team at Apple is looking for exceptional candidates to work on and enhance static analysis tools for detecting bugs and security vulnerabilities. Past projects include the Clang Static Analyzer and static analysis used by the Swift compiler.

Key Qualifications
- A passion for building innovative and easy-to-use tools for finding bugs, improving code quality, and enhancing the software development experience
- Patient, user-focused decision-making
- Proficiency in development in one of C++, Swift, Java, or a similar language

Details:
https://jobs.apple.com/en-us/details/200324617/static-analysis-engineer

#compiler #canada #management #lead #remote

Compiler Tech Lead/Manager
Toronto, Canada (Remote)

As Compiler Tech Lead / Manager, you will be responsible for defining and developing compiler optimizations for our state-of-the-art spatial compiler - targeting Groq's revolutionary Tensor Streaming Processor. You will be the technical lead for Groq's TSP compiler, and be in charge of leading other engineers, hiring and recruiting world class talent, working with planning, sales, and marketing teams, architecting new passes, 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 the compiler is producing 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.

We are changing as the world changes and have evolved to a remote first company. Some roles may require being located near our primary sites, which will be indicated in the job description

Details:
https://groq.com/careers/?gh_jid=4198717003

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

#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

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.tgoop.com/AlbinaDanilina или на почту [email protected]

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.tgoop.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.tgoop.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