Requirements:
- Mathematics. Discrete mathematics: Boolean algebra, predicates, trees, graphs (composition and editing of complex models). Algorithms: A* search, branch and bound method, multi-agent modeling. Algorithm theory: mathematical proof of correctness and optimality of solutions. 2. Development (C++ Senior). C++: Senior level (required), other languages are a plus. Algorithmic complexity: Big O calculation (time and memory) before writing code. Memory: deep knowledge of data structure interaction with memory. Parallel computing: multithreading, GPU (CUDA), distributed computing. 3. Applied and analytical skills. Numerical methods: floating-point arithmetic, rounding, interpolation, numerical integration. Prototyping: rapid testing of mathematical hypotheses. Decomposition: translating business tasks into mathematical models. R&D: reading scientific articles (arXiv) and implementing them in practice.
**Location:**📍RF.
Contact for application: recruiter contact +CV