Dr. Arist Kozhevnikov
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Arist Kozhevnikov
• Development of modem references in Matlab/C++, improving channel estimation and indoor positioning algorithms, KPI performance evaluations, HW/SW architecture split. Verification on FPGA, improving test coverage for fading channel profiles.
• Development of event based virtual prototype in SystemC of modem references: design, implementation, testing, documentation, multi-platform support (Visual Studio/Eclipse, Windows/Linux), setup of development flow (git, gerrit, Jenkins).
- 4 years and 6 months, Dec 2006 - May 2011
Junior Researcher
Steklov Institute of Mathematics at St.Petersburg
Laboratory of Mathematical Logic
- 1 year and 2 months, Jun 2007 - Jul 2008
Development Engineer
Comapping
Developing Flash server-client application in haxe. Exporting and importing mindmaps.
- 1 year and 2 months, Sep 2004 - Oct 2005
Researcher
Steklov Institute of Mathematics at St.Petersburg
U.S. Civilian Research and Development Program for the Independent States of the Former Soviet Union (CRDF) project GAP RM0-1373(1)-ST-03 "Verifying Algebraic Circuits Using the Semi-Algebraic Approach" sponsored by Intel
- 4 years and 1 month, Sep 2000 - Sep 2004
Software Engineer
Steklov Institute of Mathematics at St.Petersburg
Creation and implementation UnitWalk, probabilistic SAT solver (awarded as best solver on satisfiable random benchmarks at SAT03 Competition)
- 3 years, Jul 2001 - Jun 2004
Researcher
Steklov Institute of Mathematics at St.Petersburg
U.S. Civilian Research and Development Program for the Independent States of the Former Soviet Union (CRDF) project RM1-2409-ST-02 "Efficient strategies for automated reasoning using heuristic algorithms for NP-hard problems and decidable fragments of predicate calculus"
Summer practice at Verification deparment of Siemens / Infineon
Ausbildung von Arist Kozhevnikov
- 3 years, Nov 2003 - Oct 2006
Algebra, Logic & number theory
St. Petersburg Department of V. A. Steklov Institute of Mathematics RAS
Complexity of semialebraic proof systems
- 7 years and 10 months, Sep 1998 - Jun 2006
Computer Science, Mathematics
St.Petersburg State University
Sprachen
Russian
C2 (Verhandlungssicher / Muttersprachlich)
English
C1 (Fließend)
German
B1-B2 (Gute Kenntnisse)
XING Mitglieder mit ähnlichen Profilangaben
XING – Das Jobs-Netzwerk
Über eine Million Jobs
Entdecke mit XING genau den Job, der wirklich zu Dir passt.
Persönliche Job-Angebote
Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.
21 Mio. Mitglieder
Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.
Kostenlos profitieren
Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.