CompilerJobs - vacancies for compilers

#runtime #pl #compiler #dsl #gc #switzerland #relocate Ссылка скрыта 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 Ссылка скрыта Software Engineer - Programming Languages Ссылка скрыта

#compiler #research #intern #nvidia Ссылка скрыта Формальное описание: Ссылка скрыта

#llvm #compiler #cpp #typescript Senior Software Engineer МойОфис Санкт-Петербург Senior Software Engineer для участия в проекте по разработке компилятора динамического ЯВУ, входящего в состав кроссплатформенного GUI фреймворка. - разработка компилятора динамического языка программирования важно: - опыт разработки на Javascript или Typescript - опыт разработки на С или С++ - понимание принципов работы компиляторов ЯВУ Детали: Ссылка скрыта

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

Компания Huawei Technologies Co., Ltd Формат работы: Офис (г. Москва, м. Смоленская; г. Санкт-Петербург) Контакты: @Yana_YC Меня зовут Яна — научно-произведственный центр HUAWEI, лаборатория Advanced Software Technology. Инженеры нашей лаборатории работают над различными проектами в области Системного ПО, в частности улучшением компилятора и рантайма языка Go. Мы занимаемся разработкой как внутренней версии языка, так и работаем над включением наши изменений в OpenSource версии. Особое внимание уделяем оптимизации производительности и исследовательскому направлению: поиску новых подходов и алгоритмов для оптимизации компилятора, рантайма и инструментов. Что необходимо иметь? • Уверенное знания принципов компьютерной архитектуры и системного ПО • Уверенные знания языков С,С++ или Golang и Assembler • Опыт разработки в среде Linux, использования инструментов разработки командной Что будет плюсом? • Опыт разработки компилятора/линковщика/отладчика и других низкоуровневых средств разработки • Участие в сообществах разработчиков ПО с открытым исходным кодом

#cuda #compiler #cpp #dsl #ast #jit #verilog #hdl #remote Ведущий исследователь разработчик/Специалист по трансформации языков и генерации кода KPM RITM Moscow, Remote В отделе разработки продуктов для международного и российского рынка в области модельно-ориентированного проектирования открыта вакансия ведущего специалиста команды, отвечающей за исследование и разработку средств автоматической генерации кода. Перед командой стоят задачи по исследованию исходных представлений и преобразованию графического DSL в компилируемые языки программирования и языки описания аппаратуры. Contact: @kpm_ritm Ссылка скрыта

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

#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 Ссылка скрыта Also they wanna see a TechLead: Ссылка скрыта Kudos: @GabrielFallen

#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 Ссылка скрыта GPU performance engineer Ссылка скрыта Для контактов: @innatakalova