#compiler #llvm

Generalist Programmer (LLVM)
Montreal, QC, Canada
Full-time


Looking for an experienced engineer, preferably with prior experience of LLVM and/or any other major compiler. As part of the “Build tools & compilation pipeline” team, you will work on the LLVM toolchain used to build our game titles and production tools. Our main target is Windows with clang-cl, however many other platforms are targeted through cross-compilation.
Within a team dedicated to maintaining the whole programming framework, you’ll ensure the scalability, stability, and continuous performance of all its aspects. Plus, you’ll collaborate closely with the community of programmers contributing to the project to help them integrate their changes safely and efficiently.

• Develop and maintain our LLVM fork
• Identify and optimize bottlenecks in the toolchain
• Upstream the patches and participate in reviews with the LLVM community
• Occasionally maintain our LLVM GitLab CI
• Improve the quality of the debug information
• Address practical usages of the toolchain in production
• Work with other adjacent tools or processes relying on LLVM, such as sanitizers, Linux cross-compilation, distributed & cached builds, etc.

Link to the full description:
https://jobs.smartrecruiters.com/Ubisoft2/743999765945414-generalist-programmer-llvm-

#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 [email protected] (telegram: @babokin) or apply directly.

Full link:
https://jobs.intel.com/ShowJob/Id/3067149/Compiler-Engineer

#russia #samsung #office #remote #compiler #npu

SAMSUNG R&D.
NPU Compiler Developer
GPU Performance Engineer

Вработе есть 2 интересных проекта. Первый проект связан с разработкой компилятора нейронных сетей для процессора Exynos. Процессор Exynos устанавливается в миллионы флагманских смартфонов Самсунга и других компаний. Этот компилятор используют разработчики нейронных сетей Самсунга.

Второй проект связан с оптимизацией софта для графического процессора с использованием параллельных технологий (н-р CUDA, Open ACC). Вся работа на проектах с топовым железом и софтом, с различным уровнями технологического стека (от ассемблера и внутренностей MPI до прикладного ПО), в передовых проектах Samsung.

Подробнее можно с вакансией можно ознакомиться тут:

NPU compiler developer
https://hh.ru/vacancy/42341825

GPU performance engineer
https://hh.ru/vacancy/44907512

Для контактов: @innatakalova

#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

#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

#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