Navigation überspringen

Dr. Pradeep Kumar Nalla

Angestellt, Advisory R&D Engineer, IBM India Pvt Ltd
Bangalore, Indien

Fähigkeiten und Kenntnisse

Formal functional semi formal verification of hard
Formal verification execution
Efficient distributed verification
Power reduction using formal methods
Implementation of imperative declarative and func
Software engineering and documentation

Werdegang

Berufserfahrung von Pradeep Kumar Nalla

  • Bis heute

    Advisory R&D Engineer

    IBM India Pvt Ltd

Ausbildung von Pradeep Kumar Nalla

  • 4 Jahre und 5 Monate, Apr. 2004 - Aug. 2008

    Computer Science

    Eberhard Karls Universität Tübingen

    Formal methods and verification of hardware and software systems

Sprachen

  • Deutsch

    Grundlagen

  • Englisch

    Fließend

  • Telugu

    -

  • Hindi

    -

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.

  • 22 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.

21 Mio. XING Mitglieder, von A bis Z