Спасибо 😏

Ищу работу для души. Долго ищу.... Если бы не ленился учить языки общения типа английского, немецкого, французского и казахского, то нашел бы давно. Сейчас год до пенсии и огромный багаж накопленных знаний и умений. Экспертиза рисков IT-проектов с моим опытом в IT во всяком случае та ниша, в которой хотелось бы поработать 3-5 лет. Или руководство интересным проектом. 62 года. Высшее = математика + физика с отличием и заброшенной аспирантурой)) Программистом отработал "на дядю" около 12 лет. Остальные 20 лет опыта в IT - чисто фриланс.

а поконтрибутить в open source проекты ??? отсутствие иностранных языков мешает ?
так (в теории) легче вакансию найти, попилил тесты на расте в интересный для себя проект, глядишь еще где-то пригодился в другом проекте...

Таких проектов было уже несколько(C++, JS). Сейчас начинаю вписываться в новый проект. Теперь уже на Rust + JS.

Можете еще попробовать "пооригинальничать", что-то по типу - http://pikabu.ru/link/b8646292

не удивлен)). Наверное он тоже после ковида))

#вакансия #Rust #fulltime
Вакансия: Rust developer
Формат сотрудничества: офисс, fulltime, возможный гибридный вариант работы (2 дня дома из 5), Работа в офисе в центре Санкт-Петербурга, Помощь при переезде (релокация)
Вилка (обсуждаемо индивидуально, готовы двигаться): от 200 000 потолка нет
Обратная связь: тел. сот. 89118164734 (вацап, телеграмм), почта: ivan-bevzenko@yandex.ru

Description:
Effective Development Engineer
We are an largest  international corporation. We provide services and extensions to cover all aspects of application development related to Data Communication Product Line. The products developed by our team are widely used in all enterprise-level telecom projects to help developers write better code and be more productive.
Our teams focus on creating effective development tools like static analyzers, parsers, bug predictions, language servers and refactoring solutions for embedded software in C/C++ and Rust programming languages. All our components built on the open source technologies such as LLVM/Clang.
Responsibilities:
• Developing state-of-the-art algorithms in areas of compiler technologies and program analysis;
• Improve user experience for scalable codebase with 100 million lines of C++ code;
• Contribute to the development and maintenance of LLVM-based language tools;
• Reduce the effort of supporting Rust development;
• Design and implement software components to improve quality of production code;
• Work on symbolic execution and constraint solving interesting and challenging tasks;
• Design and developing core AI infrastructure components to apply AI and ML techniques to assist the building and managing business deliveries;
• Implement different refactoring features according with customer needs;
• Contribute important bug fixes and patches to the open source community;
• Profile, analyze and optimize the created software;
• Collaborate with internal and external team members to solve complex issues;
Requirements:
• Excellent knowledge of Rust or C++;
• Strong problem-solving ability, knowledge of algorithms and complex data structures;
• Experience in Compiler Frontend (Lexer; Parser; Semantic Analyzer; AST parser);
• Knowledge/experience of static analysis;
• Familiar with development tools architecture and design (IDE, toolchain, and debugger);
• Developing and maintaining LLVM framework based tools are a plus;
• Knowledge of one of the following languages would be a plus: Rust, TypeScript, C, Lua, Python;
• Experience with LSP and language servers like clangd will be a plus;
• Large-scale open source development;
• Knowledge of Symbolic Execution is a plus;
• Knowledge of object-oriented development and design best practices;
• Experience working with existing large codebases.

Я явно не подхожу под вакансию выше, но объясните кто-нибудь: что подразумевается под "Symbolic Execution"?

не циферки считать а выражения упрощать

Всё равно не понятно о_О

ну типа не 10 / 3 * 3 = 3.333 * 3 = 9.999, а 10 / 3 * 3, / 3 * 3 сокращатеся и остаётся 10

Аааааааааа

Редукции в лямда-исчислении может быть, или эквивалентные преобразования алгебраических выражений. Но лучше прямо у @IvanBevzenko спросить.

Фига, символьное выполнение в продакшене, респект

хуавей?

В компиляторах делают так
Есть две последовательности инструкций, одна кажется оптимальнее другой, можно заменить
Но нужно доказать, что они эквивалентны
Для этого можно систему неравенств/равенств/логических выражений составить и доказать с помощью символических каких-нибудь алгоритмов, что ни при каких входных данных выходные не расходятся

В верификации бинарной
В компиляторе верилога это вроде есть