Maksim B.
Formal Methods Specialist at Pruvendo- Claim this Profile
Click to upgrade to our gold package
for the full feature experience.
-
English Full professional proficiency
-
Russian Native or bilingual proficiency
Topline Score
Bio
Experience
-
Pruvendo
-
United Arab Emirates
-
Computer and Network Security
-
1 - 100 Employee
-
Formal Methods Specialist
-
Dec 2022 - Present
-
-
-
Servicepipe
-
Russian Federation
-
IT Services and IT Consulting
-
1 - 100 Employee
-
C++ Developer
-
Dec 2021 - Aug 2022
Reimplementation of DDoS spotting strategy using filter-based approach Designing and implementation of map-like container with time-based erasure strategy, analysis of different possible approaches with attention to performance and memory consumption Implementation of wildcard-search feature in trie-like database Extension of low-level three-way communication protocol Technical interviewing Reimplementation of DDoS spotting strategy using filter-based approach Designing and implementation of map-like container with time-based erasure strategy, analysis of different possible approaches with attention to performance and memory consumption Implementation of wildcard-search feature in trie-like database Extension of low-level three-way communication protocol Technical interviewing
-
-
-
Cognitive Technologies Group
-
Russian Federation
-
Software Development
-
1 - 100 Employee
-
Senior C++ Developer
-
Jan 2019 - Nov 2021
Participation in architecture decisions of main system, developing parts of it independentlyDesign and implementation of template-based type-safe in-memory database for internal use with requirements on low memory usage and fast performanceDesign and implementation of data communication protocol between x64/ARM device and tablet with demand on high throughput and fault tolerance (video stream along with control commands)Mentorship of team of two junior developers
-
-
C++ Developer
-
Aug 2017 - Jan 2019
Designing and implementation of collect-refine-analyze pipeline worked on tens of terrabytes of internal dataImplementation of telemetry harvesting backend in Rust
-
-
Education
-
National University of Science and Technology "MISIS" (Moscow Institute of Steel and Alloys)
Bachelor, Applied Mathematics