Telegram Web
#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]
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 — а ещё, как всегда, есть реферальный бонус за успешную рекомендацию друзей 💫
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/
tl;dr: math 💜 теория категорий, теория типов, формальная верификация, ML ресёрч, Япония/удалёнка, $90k-$130к++

Всегда радуемся, когда можем позвать куда-то математиков — сегодня у нас хороший день! ☀️

А зовём в 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
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
Please open Telegram to view this post
VIEW IN TELEGRAM
#antlr #russia #llvm #dsl #csharp

Сейчас мы ищем разработчика в команду, которая занимается развитием технологий, которые используются в нескольких продуктах компании. В данном случае предстоит принимать участие в развитии DSL (domain-specific programming language).

https://hh.ru/vacancy/96613934
#fuzzing #russia #libfuzzer #aflpp #crusher #cpp #compilers #moscow

Чем предстоит заниматься:
Проведением fuzzing-тестирования системного и прикладного программного обеспечения;
Построением и подготовкой стендов для тестирования;
Автоматизацией сценариев fuzzing-тестирования;
Анализом найденных полученных результатов;
Коммуникацией с командой разработки относительно найденных проблем и проведением консультаций по устранению.


https://hh.ru/vacancy/96733801
#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
#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
#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]
Разработчик языка программирования

Описание проекта: Команда по разработке нового языка программирования в Санкт-Петербурге ищет специалистов для работы над инструментами и фреймворками, включая инфраструктуру тестирования, метапрограммирование, многоплатформенные функции и улучшение дизайна языка.

Обязанности:

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
Вакансия: AI Compiler Engineer

🌟Ищем инженера по разработке AI компилятора на основе MLIR.
🚀Если у вас есть опыт работы с AI фреймворками и компиляторами, а также знание архитектуры NPU, присоединяйтесь к нашей международной R&D команде в Москве!
🔍 Подробности по ссылке: https://telegra.ph/AI-Compiler-Engineer-11-05

📱 Вопросы и резюме в Telegram: @MezentcevaD

#AI #compiler #openvino #llvm #mlir #tvm #tensorflow #npu #вакансия #работа #jobs #Moscow
Вакансия: Специалист по компиляторам и языковым технологиям.

Присоединяйтесь к нашей команде в Санкт-Петербурге! Мы создаем инновационный язык программирования и ищем талантливых специалистов, готовых внести свой вклад в этот захватывающий проект. Если вы хотите работать над инструментами и фреймворками, включая тестовую инфраструктуру, метапрограммирование и кроссплатформенные решения, мы ждем вас!

Что вас ждет:

Если вы увлечены языками программирования и имеете знания в компиляции и C/C++, это ваш шанс начать карьеру в захватывающей области.

Почему стоит выбрать нас?

Медицинская страховка — ваше здоровье для нас в приоритете.
Корпоративное обучение иностранным языкам — улучшайте свои навыки и взаимодействуйте с ведущими учеными мира.
Уникальная возможность — создавайте продукт, который будет использоваться миллионами пользователей по всему миру!
Комфортный офис — мы находимся в бизнес-центре класса «А» в исторической части Санкт-Петербурга, где вы сможете работать в приятной обстановке.

Если вы хотите стать частью нашей команды и воплотить свои идеи в жизнь, не упустите шанс — отправляйте резюме!
ТГ: @Krzhipova_Y
Вакансия: DSP Compiler Engineer
🌟 Ищем инженера по разработке бэкендов LLVM и GCC для архитектур DSP.
🚀 Если у вас есть опыт работы с компиляторами и хорошее знание архитектуры процессоров, присоединяйтесь к нашей команде в Москве!
🔍 Подробности по ссылке: https://telegra.ph/InzhenerEHkspert-po-kompilyatoram-10-29
📱 Вопросы и резюме в Telegram: @MezentcevaD
#DSP #compiler #llvm #gcc #вакансия #работа #jobs #Moscow
2024/11/17 01:32:52
Back to Top
HTML Embed Code: