CompilerJobs - vacantes para compiladores

#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: Ссылка скрыта

#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: Ссылка скрыта P.S> Their blog post about the project journey from c99 to rust, I left in my other channel: Ссылка скрыта

#вакансия #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 Engineer (AquaVM) @ Fluence Labs, Remote We are looking for an engineer to work on the 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 Ссылка скрыта or DM @voronovm

Senior C++ engineer (compiler domain) Москва, гибридный график Ссылка скрыта Команда занимается разработкой фреймворка с открытым исходным кодом под названием 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.) Опыт разработки различных техник оптимизаций нейронных сетей таких как квантизация, прунинг, спарсификация, тайлинг и другие Ученая степень в релевантной области Писать в личку Альбине Ссылка скрыта или на почту [email protected]

#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: Ссылка скрыта

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

#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: Ссылка скрыта

#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: Ссылка скрыта