#cuda #compiler #cpp #dsl #ast #jit #verilog #hdl #remote

Ведущий исследователь разработчик/Специалист по трансформации языков и генерации кода
KPM RITM
Moscow, Remote

В отделе разработки продуктов для международного и российского рынка в области модельно-ориентированного проектирования открыта вакансия ведущего специалиста команды, отвечающей за исследование и разработку средств автоматической генерации кода. Перед командой стоят задачи по исследованию исходных представлений и преобразованию графического DSL в компилируемые языки программирования и языки описания аппаратуры.

Contact: @kpm_ritm

https://hh.ru/vacancy/48437217

Компания Huawei Technologies Co., Ltd
Формат работы: Офис (г. Москва, м. Смоленская; г. Санкт-Петербург)
Контакты: @Yana_YC

Меня зовут Яна — научно-произведственный центр HUAWEI, лаборатория Advanced Software Technology.

Инженеры нашей лаборатории работают над различными проектами в области Системного ПО, в частности улучшением компилятора и рантайма языка Go.

Мы занимаемся разработкой как внутренней версии языка, так и работаем над включением наши изменений в OpenSource версии. Особое внимание уделяем оптимизации производительности и исследовательскому направлению: поиску новых подходов и алгоритмов для оптимизации компилятора, рантайма и инструментов.

Что необходимо иметь?

• Уверенное знания принципов компьютерной архитектуры и системного ПО
• Уверенные знания языков С,С++ или Golang и Assembler
• Опыт разработки в среде Linux, использования инструментов разработки командной

Что будет плюсом?

• Опыт разработки компилятора/линковщика/отладчика и других низкоуровневых средств разработки
• Участие в сообществах разработчиков ПО с открытым исходным кодом

#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

#llvm #compiler #cpp #typescript

Senior Software Engineer
МойОфис
Санкт-Петербург

Senior Software Engineer для участия в проекте по разработке компилятора динамического ЯВУ, входящего в состав кроссплатформенного GUI фреймворка.

- разработка компилятора динамического языка программирования
важно:
- опыт разработки на Javascript или Typescript
- опыт разработки на С или С++
- понимание принципов работы компиляторов ЯВУ

Детали:
https://hh.ru/vacancy/48996946

#compiler #research #intern #nvidia

https://twitter.com/vinodg/status/1468125695985344514?s=21

Формальное описание:
https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/US-CA-Santa-Clara/Machine-Learning-Compiler-Research-Intern---Summer-2022_JR1949415-1

#runtime #pl #compiler #dsl #gc #switzerland #relocate

https://dfinity.org/
The DFINITY Foundation is a not-for-profit organization based in Zurich, Switzerland, and operates research centers in Palo Alto, San Francisco, and Zurich.

Looking for an experienced engineer who will participate in the implementation and design of Motoko, a general purpose programming language designed for the Internet Computer. The domain of interest is distributed computing and "smart contracts" running on a blockchain-based computing platform. We are designing and implementing a low-level distributed programming model for this platform with WebAssembly as its code format as well as high-level languages such as Motoko compiling to it. Both need to be scalable, productive, and reliable for potentially hundreds of thousands of third-party clients of the platform.

- Ownership of the runtime system for Motoko, including garbage collection and other facilities such as serialization and intrinsics.
- Participate in scientific publications and engage in conferences in related subject fields (if desired)
- Community engagement (on forums etc.)
- Work closely with a distributed team of researchers, engineers, and experts in the field of programming languages, blockchain cryptography, and distributed systems
- Participate in the design, formalization, and optimization of new domain-specific programming languages, type systems, and programming models
- Contribute to the implementation of the compilers, runtime systems, VMs, and other tooling for Motoko
- Contribute to documentation, test suites, and tools supporting Motoko

More details & application forms:
Senior Software Engineer - Programming Languages
https://boards.greenhouse.io/dfinity/jobs/5740187002

Software Engineer - Programming Languages
https://boards.greenhouse.io/dfinity/jobs/5733719002

#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

#arm #compiler #gcc #uk #gdb #binutils #toolchain

Senior Compiler Engineer
Cambridge, Cambridgeshire, England

The toolchain is comprised of the open-source GCC, Binutils, Newlib, Glibc and GDB. In Arm’s GNU Tools team, we build support for future architectures in the toolchain and ensure robustness and performance of the existing support.

- Experience developing compiler toolchain(s)
- Experience in Linux software development environment
- Experience improving, testing, delivering, and maintaining large, complex code-bases and production-quality software.
- Dedicated, flexible and adaptable - you can learn new skills to adapt and apply across multiple types of work.
- Experience developing any of GCC, Binutils, GDB, Glibc, Newlib and deep internal knowledge in any of these areas.

Details:
https://careers.arm.com/job/cambridge/senior-compiler-engineer/33099/17473504816

#ml #compiler #sweden #lund

Senior Compiler Engineer
Lund, Skåne County, Sweden

The team in Lund are responsible for machine learning hardware and software IP.
As a senior ML Compiler engineer, you will work/develop/design/architect new features and evaluate their performance.

Desirable Skills and Experience:
- Understanding of internal compiler behaviours and representations
- Knowledge of compiler optimisation and code generation techniques
- Awareness of hardware architecture principles
- Experience with compiler technology such as MLIR or LLVM
- Experience with Machine Learning applications and frameworks
- Sound understanding of signal processing, control system.

Details:
https://careers.arm.com/job/lund/senior-compiler-engineer/33099/18456711968

Video about the office:
https://www.youtube.com/watch?v=m9wNUPSXTJc

Ищем хардкорного эксперта по компиляторам, на роль техлида, разрабатывать новый Solidity компилятор от первых принципов! 🔥

За проектом стоят блистательные ✨Nomic Labs — ребята уже сделали HardHat, the среду разработки в экосистеме эфириума, и сейчас создают новый компилятор для Ethereum Foundation — им будут пользоваться все Solidity разработчики.

По требованиям:
Важно, чтобы вы разбирались в best practices, инженерных решениях, различиях дизайнов и прочих компиляторных особенностях — в частности, в архитектурах типа Roslyn.
Общий опыт работы — не менее 8 лет.

По обязанностям:
Нужно будет участвовать в принятии решений по поводу технического направления проекта, а также писать код на Rust (заранее знать язык не обязательно), направлять команду и поддерживать хорошую опенсорсную гигиену!

Условия — $150-300K в год (в зависимости от опыта/локации), полная удаленка.


С рекомендациями, резюме и вопросами писать @w1y1i1d1n1

#compiler #remote #haskell #agda

Compiler Engineer - Plutus
REMOTE
Engineering
Full time

IO Global, creator of the blockchain platform Cardano, is searching for a Compiler Engineer to join its Plutus team. The Plutus team is building the core of Cardano’s smart contract functionality on the bedrock of functional programming languages. This interdisciplinary team carries out original R&D and turns the results into production systems

In the past few years, the Plutus team has:
• Designed and implemented three programming languages
• Formalized the semantics of two of those languages using Agda
• Improved the ability of Agda to generate usable Haskell output
• Created novel compilation techniques for data types
• Written a proposal for the Glasgow Haskell Compiler (GHC), on which implementation work is now being carried out
• Implemented a compiler for a subset of Haskell as a GHC plug-in

As a Compiler Engineer you are responsible for writing high-quality code. To support you, our products have software architects, product managers, project managers, formal methods specialists, and QA test engineers, with whom you must communicate professionally, effectively, and efficiently.

Details
https://apply.workable.com/io-global/j/31632D841C/

#compiler #intel #russia

Compiler architect
Russia, Moscow, Nizhny Novgorod

Responsible for the definition, design, development, test, debugging, release, enhancement, and maintenance of software tools for domain specific programming languages. May work directly with hardware design team, companies and communities developing compilers, and participate in language and standards groups.

Qualifications:
- 15+ years in Software Development
- 10+ years in Compiler Development
- Deep knowledge of C/C++
- Experience with LLVM development
- Prior work on a technical leadership position in a compiler

Details:
https://intel.wd1.myworkdayjobs.com/en-US/External/job/Russia-Moscow/Compiler-architect_JR0196679

#arm #gcc #compiler #cambridge #uk

Senior Compiler Engineer
Cambridge, Cambridgeshire, England

Opportunity to work for an outstanding toolchain team that leads enabling Arm architectures and CPU cores in the GNU Toolchain:
GCC, Binutils, Newlib, Glibc and GDB.

- Experience developing any of GCC, Binutils, GDB, Glibc, Newlib and deep internal knowledge in any of these areas.
- Experience in open-source software development, contribution processes and in working with open-source communities

Details:
https://careers.arm.com/job/cambridge/senior-compiler-engineer/33099/17473504816

#compiler #apple #usa #cupertino

Compiler Engineer
Santa Clara Valley (Cupertino), California, United States

The Apple GPUSW Compiler Team needs a compiler engineer to analyze, design, and build front-end and middle-end optimizations for Metal and the GPU.
As a key member of our team, you will apply your knowledge of compilers to help the design and delivery of our Metal language, develop a high quality static and JIT front-end, and middle-end optimizations.

Key Qualifications
- Understand compiler algorithms from the front-end to high level optimizations
- Understand either CPU or GPU architectures
- Experience with OpenGL, OpenCL, DirectX, Cuda or other GPU programming languages or other parallel programming languages is a plus

Details:
https://jobs.apple.com/en-us/details/200315496/compiler-engineer

#compiler #apple #usa #cupertino

C++ Compiler Engineer
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.

Key Qualifications
- Expertise in C++ language design and compiler implementation
- Ability to write safe and high performing code with C/C++
- Familiarity with the overall design of compilers
- Passion for improving compilers and developer tools

Details:
https://jobs.apple.com/en-us/details/200310241/c-compiler-engineer

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