#freelance #compilers #interpreters #dsl #antlr
Добрый день, я создаю на апворке agency для решения сложных задач по хорошему рейту. Прервоначальный фокус на разработку компиляторов, трансляторов, плагинов под идею и иклипс, DSL и языков программирования. Однако хорошим людям с другой специализацией тоже добро пожаловать. Как опытный фрилансер со средней оценкой 5 из 5 и первый в рейтинге апворк по ANTLR, например, помогу вам найти проект, сглажу углы при общении с заказчиком, порекомендую рейт.
Кто хочет попробовать, пишите в телеграм @vladko1980, или на почту [email protected] с актуальным резюме, профилем в линкедин или чем-то аналогичным.
PS @vladko1980
Нет сотрудничества с людьми кто ФИЗИЧЕСКИ находится на территории РФ, или Беларуси. Ничего личного, но оттуда по мне летают ракеты. Иммигрантам добро пожаловать.
Добрый день, я создаю на апворке agency для решения сложных задач по хорошему рейту. Прервоначальный фокус на разработку компиляторов, трансляторов, плагинов под идею и иклипс, DSL и языков программирования. Однако хорошим людям с другой специализацией тоже добро пожаловать. Как опытный фрилансер со средней оценкой 5 из 5 и первый в рейтинге апворк по ANTLR, например, помогу вам найти проект, сглажу углы при общении с заказчиком, порекомендую рейт.
Кто хочет попробовать, пишите в телеграм @vladko1980, или на почту [email protected] с актуальным резюме, профилем в линкедин или чем-то аналогичным.
PS @vladko1980
Нет сотрудничества с людьми кто ФИЗИЧЕСКИ находится на территории РФ, или Беларуси. Ничего личного, но оттуда по мне летают ракеты. Иммигрантам добро пожаловать.
Forwarded from Александр Колесников
#LLVM #compiler #наборкомандыСПб #ВакансияСПб #toolchain #C++
Добрый день.
На связи Александр и в рамках Санкт-Петербургского научно-исследовательского центра Huawei мы разрабатываем новый язык программирования Cangjie.
Проект уже три года развивается в Китае. Это язык общего назначения. Первичная задача - это написание программ под Harmony OS и другие гаджеты от нашей компании, далее цель выпустить его в OpenSource,
Потому этим летом мы начали комплектовать команду в Питере. Основой стали разработчики, стоявшие у истоков Kotlin. Теперь, я подбираю людей им в команду. Требуются специалисты разных уровней.
Programming Languages Engineer
Возможные направления работ:
1. Разработка и исследования в области языков программирования: языковой дизайн, системы типов, семантика, анализ и верификация программ.
2. Разработка и внедрение базовой инфраструктуры языков программирования, в том числе: компилятор, runwww.tgoop.com/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 на английском.
https://www.tgoop.com/KolesnikovLead
Добрый день.
На связи Александр и в рамках Санкт-Петербургского научно-исследовательского центра Huawei мы разрабатываем новый язык программирования Cangjie.
Проект уже три года развивается в Китае. Это язык общего назначения. Первичная задача - это написание программ под Harmony OS и другие гаджеты от нашей компании, далее цель выпустить его в OpenSource,
Потому этим летом мы начали комплектовать команду в Питере. Основой стали разработчики, стоявшие у истоков Kotlin. Теперь, я подбираю людей им в команду. Требуются специалисты разных уровней.
Programming Languages Engineer
Возможные направления работ:
1. Разработка и исследования в области языков программирования: языковой дизайн, системы типов, семантика, анализ и верификация программ.
2. Разработка и внедрение базовой инфраструктуры языков программирования, в том числе: компилятор, runwww.tgoop.com/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 на английском.
https://www.tgoop.com/KolesnikovLead
Forwarded from Katerina Ziriukova
#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
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
jobs.lever.co
Access Softek - Compiler Developer (LLVM, 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…
#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 ( https://github.com/GaijinEntertainment/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]
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 ( https://github.com/GaijinEntertainment/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]
GitHub
GitHub - GaijinEntertainment/quirrel: Quirrel - Gaijin Entertainment dynamic script language
Quirrel - Gaijin Entertainment dynamic script language - GaijinEntertainment/quirrel
Forwarded from Take Friends to Luna Park
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 — а ещё, как всегда, есть реферальный бонус за успешную рекомендацию друзей 💫
В R&D команду Hexens, про которых мы недавно рассказывали, ищем ещё и знатока теории компиляторов!
Нужен разработчик с опытом дизайна data-flow analysis инструментов и отличным пониманием компиляторов и дизайна языка — лучше всего, если это будет Python или что-то низкоуровневое. Супер-круто, если у вас есть академический бэкграунд в математике или CS, а ещё — экспертиза в смарт-контрактах и блокчейн секьюрити 🔥
Вам предстоит работать над исключительно интересным (и пока что секретным 👀) game-changing инструментом для обеспечения безопасности в web3. Расскажем только, что о нём ожидается много публикаций! 📄
Помогают с релокацией в Португалию, удалёнка тоже подходит. Вилка $100k-$160k, но для exceptional кандидатов потолок обсуждаем
Напомним: 97% репортов этих ребят содержат критические уязвимости! Hexens официальные аудиторы Polygon и Nubank, занимаются аудитами криптографии, блокчейнов, смарт-контрактов, а также классической информационной безопасностью.
С резюме и вопросами пишите Феде в личку @owlkov — а ещё, как всегда, есть реферальный бонус за успешную рекомендацию друзей 💫
Please open Telegram to view this post
VIEW IN TELEGRAM
#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: https://www.linkedin.com/jobs/view/3476725968/
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: https://www.linkedin.com/jobs/view/3476725968/
Linkedin
RnD centre hiring Developer in Software Programs Analysis and Tools team in Moscow City, Russia | LinkedIn
Posted 10:54:28 AM. We are team of software engineers and researches doing RnD in the field of Software Programs…See this and similar jobs on LinkedIn.
Forwarded from Take Friends to Luna Park
tl;dr: math 💜 теория категорий, теория типов, формальная верификация, ML ресёрч, Япония/удалёнка, $90k-$130к++
Всегда радуемся, когда можем позвать куда-то математиков — сегодня у нас хороший день!☀️
А зовём в Noeon Research, у которых своё мнение о будущем AI. Они разрабатываютсистему генерации и анализа кода цифрового джуна — штуковину, которая умеет не только писать код, а как кожаные программисты общаться с коллегами, работать с документацией, изучать новые фреймворки и потихоньку превращаться в миддла🌱
Амбиции стартапа — построить сопоставимо умные с LLMs системы, но используя графы знаний, дискретные структуры, иерархический RL и много математики. На выходе получается полностью интерпретируемая и доступная для верификации система📕
Будет круто, если у ребят получится сделать мощные системы с интерпретируемостью by design — мы в Лунапарке очень не любим чёрные коробки с миллионом слоёв внутри, и вам не советуем!😡
В команду нужны опытные и автономные ресёрчеры, которые готовы быть самостоятельной единицей и работать без надзора сверху (и даже, возможно, нанять себе в команду сколько-то миддлов).
В первую очередь — прикладные математики/комьютерные учёные с бэкграундом в теории типов, формальных языках, дискретной математике (алгоритмы на графах), семантическом анализе или program synthesis. Опыт в ML, конечно, будет большим плюсом.
Кроме этого, ищем людей с очень хорошей теоретической базой в теории категории, теории вычислимости, статистическом обучении и/или теории сложности, и при этом умеющие превращать свои знания и прочитанные научные статьи в работающий код🧑💻
Можно релоцироваться в Токио или работать из любой другой точки мира, дефолтная вилка $90k-$130k и можно выше. Есть возможность парт-тайма и даже консультирования, если вы, например, не хотите полностью уходить из академии!
Присылайте резюме и графы своих знаний Лёше @paletskikh🐱
Всегда радуемся, когда можем позвать куда-то математиков — сегодня у нас хороший день!
А зовём в Noeon Research, у которых своё мнение о будущем AI. Они разрабатывают
Амбиции стартапа — построить сопоставимо умные с LLMs системы, но используя графы знаний, дискретные структуры, иерархический RL и много математики. На выходе получается полностью интерпретируемая и доступная для верификации система
Будет круто, если у ребят получится сделать мощные системы с интерпретируемостью by design — мы в Лунапарке очень не любим чёрные коробки с миллионом слоёв внутри, и вам не советуем!
В команду нужны опытные и автономные ресёрчеры, которые готовы быть самостоятельной единицей и работать без надзора сверху (и даже, возможно, нанять себе в команду сколько-то миддлов).
В первую очередь — прикладные математики/комьютерные учёные с бэкграундом в теории типов, формальных языках, дискретной математике (алгоритмы на графах), семантическом анализе или program synthesis. Опыт в ML, конечно, будет большим плюсом.
Кроме этого, ищем людей с очень хорошей теоретической базой в теории категории, теории вычислимости, статистическом обучении и/или теории сложности, и при этом умеющие превращать свои знания и прочитанные научные статьи в работающий код
Можно релоцироваться в Токио или работать из любой другой точки мира, дефолтная вилка $90k-$130k и можно выше. Есть возможность парт-тайма и даже консультирования, если вы, например, не хотите полностью уходить из академии!
Присылайте резюме и графы своих знаний Лёше @paletskikh
Please open Telegram to view this post
VIEW IN TELEGRAM
#rnd #interpreters #dsl #remote #parsers
R&D Software Engineer – Remote
Your work will consist of designing and implementing transpilers, parsers, Domain-Specific Languages, editors, and interpreters. We do not expect candidates to be experts on these topics as we will provide the necessary training, but an understanding will be an advantage.
Please, pay attention to the selection process section.
Details:
https://strumenta.com/rd-software-engineer/
thanks to @GabrielFallen
R&D Software Engineer – Remote
Your work will consist of designing and implementing transpilers, parsers, Domain-Specific Languages, editors, and interpreters. We do not expect candidates to be experts on these topics as we will provide the necessary training, but an understanding will be an advantage.
Please, pay attention to the selection process section.
Details:
https://strumenta.com/rd-software-engineer/
thanks to @GabrielFallen
Strumenta
R&D Software Engineer - Remote (Italy or Portugal) - Strumenta
At Strumenta, we are looking for an R&D Software Engineer who will work remotely with us and join our company.
Forwarded from Marika Protas
#vacancy #remote #compiler #C++ #ml
tl;dr: ML Framework Engineer, $90k-$180k/year, remote
Американский хардверный стартап ищет ML Compiler and Framework Engineer-а, чтобы вместе создавать инфраструктуру для безопасного ИИ🛸
Fathom Radiant разрабатывают процессоры следующего поколения, сочетая преимущества оптических и традиционных кремниевых чипов. Они могут объединяться в огромные и быстрые вычислительные кластеры с низким энергопотреблением, уже сейчас позволяя в несколько раз удешевить облачный комьют для тренировки нейросетей.
Амбиция компании — стать лидером на рынке вычислительных мощностей для развития безопасного искусственного интеллекта, и в них уже поверили уважаемые инвесторы — например, Khosla Ventures и Founders Fund💎
Мы ищем инженера, который сможет оптимизировать, поддерживать и адаптировать ML-фреймворки под требуемые архитектуры.
Для этого нужно сочетание экспертизы в железе и машинном обучении. А именно, нужно шарить за:
🔘 низкоуровневые оптимизации и ML компиляторы
🔘 распределенные системы (например, NCCL или OpenMPI)
🔘 гетерогенные вычисления (или как правильно называются на русском вычисления на разных типах железа, например, CUDA или OpenML/OpenCL?😊 )
🔘 C++ и алгоритмы — но это вы, наверное, и так догадались!
Полная удалёнка, но важно иметь 2-3 часа пересечения с Pacific Time. Ориентировочная вилка — $90k-$180k/year.
Вопросы, резюме и рекомендации друзей можно приносить в личку к @natmartem
tl;dr: ML Framework Engineer, $90k-$180k/year, remote
Американский хардверный стартап ищет ML Compiler and Framework Engineer-а, чтобы вместе создавать инфраструктуру для безопасного ИИ
Fathom Radiant разрабатывают процессоры следующего поколения, сочетая преимущества оптических и традиционных кремниевых чипов. Они могут объединяться в огромные и быстрые вычислительные кластеры с низким энергопотреблением, уже сейчас позволяя в несколько раз удешевить облачный комьют для тренировки нейросетей.
Амбиция компании — стать лидером на рынке вычислительных мощностей для развития безопасного искусственного интеллекта, и в них уже поверили уважаемые инвесторы — например, Khosla Ventures и Founders Fund
Мы ищем инженера, который сможет оптимизировать, поддерживать и адаптировать ML-фреймворки под требуемые архитектуры.
Для этого нужно сочетание экспертизы в железе и машинном обучении. А именно, нужно шарить за:
Полная удалёнка, но важно иметь 2-3 часа пересечения с Pacific Time. Ориентировочная вилка — $90k-$180k/year.
Вопросы, резюме и рекомендации друзей можно приносить в личку к @natmartem
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Lidiya Bakunina
Вакансия: Performance Simulator SW Developer - https://hh.ru/vacancy/87200326
Контакт для связи: https://www.tgoop.com/lvbakunina
Контакт для связи: https://www.tgoop.com/lvbakunina
hh.ru
Вакансия Senior Performance Simulator SW Developer в Москве, работа в компании YADRO (вакансия в архиве c 19 апреля 2024)
Зарплата: не указана. Москва. Требуемый опыт: 3–6 лет. Полная занятость. Дата публикации: 20.03.2024.
#antlr #russia #llvm #dsl #csharp
Сейчас мы ищем разработчика в команду, которая занимается развитием технологий, которые используются в нескольких продуктах компании. В данном случае предстоит принимать участие в развитии DSL (domain-specific programming language).
https://hh.ru/vacancy/96613934
Сейчас мы ищем разработчика в команду, которая занимается развитием технологий, которые используются в нескольких продуктах компании. В данном случае предстоит принимать участие в развитии DSL (domain-specific programming language).
https://hh.ru/vacancy/96613934
spb.hh.ru
Вакансия Middle/Senior Developer (DSL) в Санкт-Петербурге, работа в компании Positive Technologies (вакансия в архиве c 10 мая…
Зарплата: не указана. Санкт-Петербург. Требуемый опыт: 3–6 лет. Полная занятость. Дата публикации: 10.04.2024.
#llvm #cpp #russia #ios #obfuscation
Разрабатывать обфускатор для iOS-приложений на уровне LLVM IR
https://hh.ru/vacancy/91928928
Разрабатывать обфускатор для iOS-приложений на уровне LLVM IR
https://hh.ru/vacancy/91928928
hh.ru
Вакансия С++ разработчик (Compiler, LLVM) в Москве, работа в компании Т-Банк (вакансия в архиве c 24 июня 2024)
Зарплата: не указана. Москва. Требуемый опыт: 3–6 лет. Полная занятость. Дата публикации: 03.06.2024.
#fuzzing #russia #libfuzzer #aflpp #crusher #cpp #compilers #moscow
Чем предстоит заниматься:
Проведением fuzzing-тестирования системного и прикладного программного обеспечения;
Построением и подготовкой стендов для тестирования;
Автоматизацией сценариев fuzzing-тестирования;
Анализом найденных полученных результатов;
Коммуникацией с командой разработки относительно найденных проблем и проведением консультаций по устранению.
https://hh.ru/vacancy/96733801
Чем предстоит заниматься:
Проведением fuzzing-тестирования системного и прикладного программного обеспечения;
Построением и подготовкой стендов для тестирования;
Автоматизацией сценариев fuzzing-тестирования;
Анализом найденных полученных результатов;
Коммуникацией с командой разработки относительно найденных проблем и проведением консультаций по устранению.
https://hh.ru/vacancy/96733801
hh.ru
Вакансия Инженер по fuzzing-тестированию в Москве, работа в компании БЮРО 1440 (вакансия в архиве c 11 мая 2024)
Зарплата: не указана. Москва. Требуемый опыт: 3–6 лет. Полная занятость. Дата публикации: 11.04.2024.
#finland #bodyshop #compiler #llvm #unikie #tampere #helsinki #softwareprotection
Senior Software Engineer (Compiler-based Security Design)
We are looking for an experienced consultant to help us with a 6-8 month project where we improve on the way a LLVM/ compiler-based design for call-flow protection interacts with libraries, the software stack and system, not all of which follow the same protection regime.
Required Qualifications
• A software engineer with experience and knowledge with especially compilers (LLVM), system
programming, tooling / testing
• Languages: C/C++ (ARM assembler)
• 3-5 years industry experience (or corresponding project experience)
• Skills to work and interact in English
• Good teamwork skills
Check out this job from Unikie https://www.linkedin.com/jobs/view/3897177997/
https://odoo.unikie.com/jobs/detail/senior-software-engineer-compiler-based-security-design-143
Senior Software Engineer (Compiler-based Security Design)
We are looking for an experienced consultant to help us with a 6-8 month project where we improve on the way a LLVM/ compiler-based design for call-flow protection interacts with libraries, the software stack and system, not all of which follow the same protection regime.
Required Qualifications
• A software engineer with experience and knowledge with especially compilers (LLVM), system
programming, tooling / testing
• Languages: C/C++ (ARM assembler)
• 3-5 years industry experience (or corresponding project experience)
• Skills to work and interact in English
• Good teamwork skills
Check out this job from Unikie https://www.linkedin.com/jobs/view/3897177997/
https://odoo.unikie.com/jobs/detail/senior-software-engineer-compiler-based-security-design-143
#remote #llvm #crypto #llvmir #mlir #matterlabs
As the team we help the company to scale Ethereum 1 to promote personal sovereignty . The company has a state of the art zkRollup 2 implemented as a circuit to make computation in blockchain fast and cheap. The team made LLVM-based Solidity 3 and Vyper 1 toolchains for our target to make it accessible to smart contract developers. Now we prioritise improving developer’s experience and making our compilers to optimize better.
https://discourse.llvm.org/t/remote-compiler-engineer-role-at-matter-labs/78039
Direct application:
https://jobs.eu.lever.co/matterlabs/edd98ed6-48b0-40c5-b061-c2a19ff8c710/apply
PS: former colleague pinged with this position, if anybody wants to know more: @abalias8
As the team we help the company to scale Ethereum 1 to promote personal sovereignty . The company has a state of the art zkRollup 2 implemented as a circuit to make computation in blockchain fast and cheap. The team made LLVM-based Solidity 3 and Vyper 1 toolchains for our target to make it accessible to smart contract developers. Now we prioritise improving developer’s experience and making our compilers to optimize better.
https://discourse.llvm.org/t/remote-compiler-engineer-role-at-matter-labs/78039
Direct application:
https://jobs.eu.lever.co/matterlabs/edd98ed6-48b0-40c5-b061-c2a19ff8c710/apply
PS: former colleague pinged with this position, if anybody wants to know more: @abalias8
LLVM Discussion Forums
Remote Compiler Engineer Role at Matter Labs
Why join the Matter Labs compiler team? Around 80% of your time will be spent on new feature development, not maintenance. You will work in the domain where compilation time consuming, computationally heavy optimizations are possible and profitable. You…
#india #ibm #llvm #cobol #java
Пошарили тут, дело каждого смотреть или нет…(но это забавно)
Back End Developer - Compiler Role with IBM
IBM System development Lab
Role Overview:
Join IBM's WCA4Z team to innovate in the dynamic AI landscape. You'll design and engineer solutions, ensure software quality, and collaborate with a talented team.
Requirements:
Strong compiler development skills, Java proficiency
Aptitude for low-level programming, strong problem-solving abilities
Understanding of AI principles and Agile methodology
Preference for familiarity with z/OS and COBOL
Location: Bangalore, Karnataka, no travel required.
Kamalesh
Inspire Consultancy Services
9341636400
[email protected]
Пошарили тут, дело каждого смотреть или нет…(но это забавно)
Back End Developer - Compiler Role with IBM
IBM System development Lab
Role Overview:
Join IBM's WCA4Z team to innovate in the dynamic AI landscape. You'll design and engineer solutions, ensure software quality, and collaborate with a talented team.
Requirements:
Strong compiler development skills, Java proficiency
Aptitude for low-level programming, strong problem-solving abilities
Understanding of AI principles and Agile methodology
Preference for familiarity with z/OS and COBOL
Location: Bangalore, Karnataka, no travel required.
Kamalesh
Inspire Consultancy Services
9341636400
[email protected]
Разработчик языка программирования
Описание проекта: Команда по разработке нового языка программирования в Санкт-Петербурге ищет специалистов для работы над инструментами и фреймворками, включая инфраструктуру тестирования, метапрограммирование, многоплатформенные функции и улучшение дизайна языка.
Обязанности:
Junior: Интерес к языкам программирования, базовые знания компиляции и C/C++.
Middle: Опыт в C/C++, Swift, Rust, Typescript, Go или Kotlin; знание инфраструктуры языков, разработка компиляторов, IDE, анализ кода и стандартизация.
Условия:
Зарплата выше рынка
Медицинская страховка
Корпоративное обучение иностранным языкам, возможность взаимодействия с ведущими учеными мира
Работа в офисе 5/2, с гибким началом дня, отсутствие дресс-кода
Возможность работы над продуктом для миллионов пользователей
Бизнес-центр класса «А» в исторической части Санкт-Петербурга
Контакты для связи - @Krzhipova_Y, +79522393266
Описание проекта: Команда по разработке нового языка программирования в Санкт-Петербурге ищет специалистов для работы над инструментами и фреймворками, включая инфраструктуру тестирования, метапрограммирование, многоплатформенные функции и улучшение дизайна языка.
Обязанности:
Junior: Интерес к языкам программирования, базовые знания компиляции и C/C++.
Middle: Опыт в C/C++, Swift, Rust, Typescript, Go или Kotlin; знание инфраструктуры языков, разработка компиляторов, IDE, анализ кода и стандартизация.
Условия:
Зарплата выше рынка
Медицинская страховка
Корпоративное обучение иностранным языкам, возможность взаимодействия с ведущими учеными мира
Работа в офисе 5/2, с гибким началом дня, отсутствие дресс-кода
Возможность работы над продуктом для миллионов пользователей
Бизнес-центр класса «А» в исторической части Санкт-Петербурга
Контакты для связи - @Krzhipova_Y, +79522393266
R&D центр крупной крупной международной технологической компании находится в поиске системного разработчика, инженера, знакомого с компиляторной теорией
Компания работает над новой распределенной ОС на базе микроядра, предназначенной для обеспечения взаимодействий пользователей на всех устройствах и во всех пользовательских сценариях (в первую очередь на смартфонах и лаптопах). Готовится реализация c открытым исходным кодом.
Предстоит работа с собственной мультиязычной виртуальной машиной для запуска пользовательских приложений на ОС и JIT и AOT компилятором для нее, с компактным байт-кодом, его оптимизатором и верификатором, интерпретатором и связанными частями рантайма, поддержкой языкоспeцифичных оптимизаций (для статических и динамических языков), тулзами и механизмами интеграции виртуальной машины в операционную систему.
Часть команды занимается разработкой LLVM-based тулчейна для ОС
Также команда занимается поддержкой многопоточности в рантайме, планировщиком (sсheduler) для корутин и анализом производительности на разных уровнях - от ОС до кода приложений/фреймворков.
Основной рабочий инструмент - С++ (17+)
Компания предлагает официальное оформление, современный офис в центре Петербурга и Москвы, ДМС, плавающее начало рабочего дня, привлекательные, обсуждаемые условия по уровню заработной платы.
Статус ИТ-компании в реестре с соблюдением всех льгот и обязательств
Помощь в переезде в Петербург и Москву из других регионов
Сложившаяся экспертиза и возможность делиться знаниями на внутренних воркшопах.
А еще мы играем в настолки, организуемся на спорт, участвуем в разговорных клубах, весело тимбилдимся в пабах (и не только) и помогаем создать альтернативу сложившейся монополии на рынке мобильных OC с уже имеющейся реализацией на миллионах устройств.
Контакт для связи @Sergey_Grachev_SPb
Компания работает над новой распределенной ОС на базе микроядра, предназначенной для обеспечения взаимодействий пользователей на всех устройствах и во всех пользовательских сценариях (в первую очередь на смартфонах и лаптопах). Готовится реализация c открытым исходным кодом.
Предстоит работа с собственной мультиязычной виртуальной машиной для запуска пользовательских приложений на ОС и JIT и AOT компилятором для нее, с компактным байт-кодом, его оптимизатором и верификатором, интерпретатором и связанными частями рантайма, поддержкой языкоспeцифичных оптимизаций (для статических и динамических языков), тулзами и механизмами интеграции виртуальной машины в операционную систему.
Часть команды занимается разработкой LLVM-based тулчейна для ОС
Также команда занимается поддержкой многопоточности в рантайме, планировщиком (sсheduler) для корутин и анализом производительности на разных уровнях - от ОС до кода приложений/фреймворков.
Основной рабочий инструмент - С++ (17+)
Компания предлагает официальное оформление, современный офис в центре Петербурга и Москвы, ДМС, плавающее начало рабочего дня, привлекательные, обсуждаемые условия по уровню заработной платы.
Статус ИТ-компании в реестре с соблюдением всех льгот и обязательств
Помощь в переезде в Петербург и Москву из других регионов
Сложившаяся экспертиза и возможность делиться знаниями на внутренних воркшопах.
А еще мы играем в настолки, организуемся на спорт, участвуем в разговорных клубах, весело тимбилдимся в пабах (и не только) и помогаем создать альтернативу сложившейся монополии на рынке мобильных OC с уже имеющейся реализацией на миллионах устройств.
Контакт для связи @Sergey_Grachev_SPb