Georgy Dunaev
Bis 2020, Software Developer, BIZONE
Potsdam OT Eiche, Deutschland
Werdegang
Berufserfahrung von Georgy Dunaev
1 Jahr und 2 Monate, Juni 2019 - Juli 2020
Software Developer
BIZONE
2 Jahre und 6 Monate, Nov. 2017 - Apr. 2020
Team Leader, IT
prefer not to disclose
Developing and formal verification of smart-contracts / blockchain.
7 Monate, Juli 2016 - Jan. 2017
Engineer
LG Electronics
Developed applications in the RnD department.
7 Monate, Sep. 2015 - März 2016
Engineer
LG Electronics
Developed applications in the RnD department.
Ausbildung von Georgy Dunaev
1 Jahr und 11 Monate, Sep. 2017 - Juli 2019
Mathematics
Lomonosov MSU
Mathematics, Logic, Set theory, Computer Science, Formal verification
4 Jahre und 11 Monate, Sep. 2011 - Juli 2016
Applied mathematics
Bauman Moscow State Technical University
Mathematics, Computer Science, Formal Verification, Formal Models