CompilerJobs - вакансии компиляторов

tl;dr: math 💜 теория категорий, теория типов, формальная верификация, ML ресёрч, Япония/удалёнка, $90k-$130к++ Всегда радуемся, когда можем позвать куда-то математиков — сегодня у нас хороший день! ☀️ А зовём в Noeon Research, у которых своё мнение о будущем AI. Они разрабатывают систему генерации и анализа кода цифрового джуна — штуковину, которая умеет не только писать код, а как кожаные программисты общаться с коллегами, работать с документацией, изучать новые фреймворки и потихоньку превращаться в миддла🌱 Амбиции стартапа — построить сопоставимо умные с LLMs системы, но используя графы знаний, дискретные структуры, иерархический RL и много математики. На выходе получается полностью интерпретируемая и доступная для верификации система 📕 Будет круто, если у ребят получится сделать мощные системы с интерпретируемостью by design — мы в Лунапарке очень не любим чёрные коробки с миллионом слоёв внутри, и вам не советуем! 😡 В команду нужны опытные и автономные ресёрчеры, которые готовы быть самостоятельной единицей и работать без надзора сверху (и даже, возможно, нанять себе в команду сколько-то миддлов). В первую очередь — прикладные математики/комьютерные учёные с бэкграундом в теории типов, формальных языках, дискретной математике (алгоритмы на графах), семантическом анализе или program synthesis. Опыт в ML, конечно, будет большим плюсом. Кроме этого, ищем людей с очень хорошей теоретической базой в теории категории, теории вычислимости, статистическом обучении и/или теории сложности, и при этом умеющие превращать свои знания и прочитанные научные статьи в работающий код 🧑💻 Можно релоцироваться в Токио или работать из любой другой точки мира, дефолтная вилка $90k-$130k и можно выше. Есть возможность парт-тайма и даже консультирования, если вы, например, не хотите полностью уходить из академии! Присылайте резюме и графы своих знаний Лёше @paletskikh 🐱

#msk #static #java #cpp #kotlin #python #rnd Developer in Software Programs Analysis and Tools team We are team of software engineers and researches doing RnD in the field of Software Programs Analysis and Tools. We are using wide range of languages and technologies in our projects, including Java/C++/Python/Kotlin. In our Team we have both experienced and beginning specialists with various expertise and background such as enterprise development for banking business, development tools, students and other areas. We are building solution for vulnerabilities detection in software programs written in various programming languages by leveraging Static Analysis technics. Our components are integrable parts of the company’s global Code Validation Platform (Java/C++/Kotlin). We are using well-known methods and algorithms of the programs analysis as well as developing new ones. Valuable part of the work is compiling research papers and patents reflecting innovations of our results. • Hands-on experience in software development using one of the languages Java/Kotlin/C++/Python • Practical knowledge of patterns and best practices of ensuring high quality of created software products • Good reading/writing English level • Ability and desire to explore new areas and conduct a research in the field of Software • Experience with Static Analysis tools and methods is a plus  Contacts: Tg @Veta156 Linkedin: Ссылка скрыта

tl;dr Senior R&D engineer, Portugal or remote from EU/US, $100-160k+/year В R&D команду Hexens, про которых мы недавно рассказывали, ищем ещё и знатока теории компиляторов! Нужен разработчик с опытом дизайна data-flow analysis инструментов и отличным пониманием компиляторов и дизайна языка — лучше всего, если это будет Python или что-то низкоуровневое. Супер-круто, если у вас есть академический бэкграунд в математике или CS, а ещё — экспертиза в смарт-контрактах и блокчейн секьюрити 🔥 Вам предстоит работать над исключительно интересным (и пока что секретным 👀) game-changing инструментом для обеспечения безопасности в web3. Расскажем только, что о нём ожидается много публикаций! 📄 Помогают с релокацией в Португалию, удалёнка тоже подходит. Вилка $100k-$160k, но для exceptional кандидатов потолок обсуждаем 🆙 Напомним: 97% репортов этих ребят содержат критические уязвимости! Hexens официальные аудиторы Polygon и Nubank, занимаются аудитами криптографии, блокчейнов, смарт-контрактов, а также классической информационной безопасностью. С резюме и вопросами пишите Феде в личку @owlkov — а ещё, как всегда, есть реферальный бонус за успешную рекомендацию друзей 💫

#vacancy #remote #compiler #cpp #vm #gamedev Position: C++ Senior Software Programmer Company: Gaijin Location: #remote #Hungary #Cyprus #Germany #Dubai #Montenegro #Latvia #Armenia #Georgia Employment: full-time contract/part-time contract Salary: от 6 300 euro gross Всем привет! Gaijin – международная геймдев компания. Нам нужен C++ Senior Software Programmer с значимым опытом разработки интерпретируемых языков программирования, компиляторов и виртуальных машин. Чем предстоит заниматься: Работа над языком Quirrel ( Ссылка скрыта ) Наш кандидат: - Опыт разработки интерпретируемых языков программирования, компиляторов и виртуальных машин от 5 лет; - Знание С++; - Опыт разработки парсеров, компиляторов и виртуальных машин; - Обладает знанием английского языка не ниже уровня - intermediate; - Обладает системным мышлением и высокой степенью самоорганизации. Будет плюсом: - Опыт разработки Garbage Collector, stack based VM и register based VM и статических анализаторов; - Знание, опыт работы, а также разработки и понимания, как работают такие языки как Squirrel, JavaScript, Python, Wren, Lua. Наше предложение финалисту: - Работа в компании, сделавшей одну из самых популярных в мире игр; - Уровень заработной платы определяем по результатам собеседования, минимум который предлагаем от 6 300 евро гросс; - Нетривиальные задачи с использованием инновационных, перспективных технологий, что обеспечивает нашим решениям привлекательность и актуальность в быстро изменяющихся условиях IT-рынка; - Международная команда, состоящая из сильных разработчиков; - Компания предоставляет помощь в переезде в страны и офисы нашей компании/партнеров: Венгрия, Кипр, Германия, Дубай, Черногория, Латвия, Армения, Грузия; - Формат работы: полная или частичная занятость; удаленный или гибридный (удаленка/офис); гибкое начало рабочего дня; - ДМС. Контакт для CV: Alina @Alina_28282828 , [email protected]

#vacancy #remote #compiler #C++ #C #LLVM #Clang Position: Software Engineer (LLVM, compiler, C++) Company: Access Softek Location: #remote Employment: full-time contract Salary: 4000-5000$ (готовы обсуждать) English: B2 – C1 Всем привет! Access Softek - известное имя с устоявшейся репутацией в сообществе LLVM. С самого начала зарождения LLVM мы работали над рядом проектов, таких как внешний компилятор, внутренняя генерация / оптимизация кода, и делали это, ориентируясь на различные платформы - от известных до новых, совершенно уникальных и еще не доступных публично. Мы "владеем" лабораторией LLVM Lab и организуем постоянную интеграцию (LLVM buildbot). Наша команда растет, и мы ищем опытных инженеров-программистов для работы над инструментарием на базе LLVM и Clang. Наш продукт — это набор инструментов, включающий компилятор Clang, компоновщик, инструменты и библиотеки, адаптированные и оптимизированные для создания безопасных и эффективных приложений. Чем предстоит заниматься: анализировать требования, исследовать, разрабатывать, улучшать и внедрять различные компоненты инструментария для удовлетворения потребностей клиентов; расширять кодовые базы LLVM, Clang, binutils с открытым исходным кодом для поддержки платформы клиента; тесно сотрудничать с сообществом LLVM и вносить публичные исправления в репозиторий LLVM и Clang. Мы предлагаем: • Гибкий график работы • Компенсация интернета (50$ в месяц) • Покупка/компенсация техники • Работу с американским менеджментом и соответствующую культуру Этапы подбора: • Интервью с рекрутером • Техническое задание • Техническое интервью • Беседа с HRD • Job Offer Контакт TG: @katerinaziryukova

#LLVM #compiler #наборкомандыСПб #ВакансияСПб #toolchain #C++ Добрый день. На связи Александр и в рамках Санкт-Петербургского научно-исследовательского центра Huawei мы разрабатываем новый язык программирования Cangjie. Проект уже три года развивается в Китае. Это язык общего назначения. Первичная задача - это написание программ под Harmony OS и другие гаджеты от нашей компании, далее цель выпустить его в OpenSource, Потому этим летом мы начали комплектовать команду в Питере. Основой стали разработчики, стоявшие у истоков Kotlin. Теперь, я подбираю людей им в команду. Требуются специалисты разных уровней. Programming Languages Engineer Возможные направления работ: 1. Разработка и исследования в области языков программирования: языковой дизайн, системы типов, семантика, анализ и верификация программ. 2. Разработка и внедрение базовой инфраструктуры языков программирования, в том числе: компилятор, runtime/virtual machine, toolchains (статический анализ, управление пакетами, форматирование, инструменты отладки и т.д.). 3. Разработка и внедрение стандартных библиотек (net, crypto, regex, math и т.д.). 4. Разработка и внедрение DSL и связанных с ними инструментов. Профессиональные знания: 1. Опыт работы с лексическим или синтаксическим анализом, системами типов, кодогенерацией желателен. 2. Опыт проектирования языков программирования (включая DSL) желателен. 3. Опыт работы с виртуальными машинами, рантайм-окружениями, такими как: JVM, Go Runtime, JS Engine, Web Assembly Runtime и т.д. является желательным. 4. Знакомство с архитектурами компиляторов LLVM/GCC, фронтендами Clang или другими фронтендами компиляторов желателен. Навыки пользователя: 1. Знание Linux, владение одним из языков C++/C/Java/Scala/Go/Kotlin/Rust/Swift. 2. Хорошие навыки инженера-разработчика. 3. Иметь четкое понимание структур данных и алгоритмов. Способность проектировать и реализовывать алгоритмы, связанные с деревьями и графами. По условиям: Всё зависит от того, как вы пройдёте техническое собеседование. Потому вилки не называю, т.к. это привязано к результатам собеса. Как вы знаете, мы даём хорошие условия и можем предоставить все необходимые документы для отсрочки. Собеседование проходит на лояльном английском, а работа внутри команды ведётся на русском. Образование - желательно законченное высшее. Офис на Марата, график гибридный. Т.к. это работа в НИИ, то большинство дней в офисе. Если вам интересно поближе ознакомиться с этим амбициозным проектом и поучаствовать в становлении нового языка, напишите мне пару слов о себе и присылайте своё CV на английском. Ссылка скрыта

#freelance #compilers #interpreters #dsl #antlr Добрый день, я создаю на апворке agency для решения сложных задач по хорошему рейту. Прервоначальный фокус на разработку компиляторов, трансляторов, плагинов под идею и иклипс, DSL и языков программирования. Однако хорошим людям с другой специализацией тоже добро пожаловать. Как опытный фрилансер со средней оценкой 5 из 5 и первый в рейтинге апворк по ANTLR, например, помогу вам найти проект, сглажу углы при общении с заказчиком, порекомендую рейт. Кто хочет попробовать, пишите в телеграм @vladko1980, или на почту [email protected] с актуальным резюме, профилем в линкедин или чем-то аналогичным. PS @vladko1980 Нет сотрудничества с людьми кто ФИЗИЧЕСКИ находится на территории РФ, или Беларуси. Ничего личного, но оттуда по мне летают ракеты. Иммигрантам добро пожаловать.

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

#вакансия #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