People Search

Adina Aniculaesei

jegliche öffentliche Information

Wie andere Suchmaschinen(Google oder Bing) sammelt Radaris Information von öffentlichen Quellen

Soziale Medien mit Adina Aniculaesei

Xing

Adina Aniculaesei
Gegend:
38106 Braunschweig, Germany
Hochschulen:
 Technische Universität Carolo-Wilhelmina zu Braunschweig (Computer Science, M.Sc.), Technische Universität Carolo-Wilhelmina zu Braunschweig (Computer Science), Universität Alexandru Ioan Cuza, Iasi (Computer Science, B.Sc.)
Status:
Recent graduate/Student
Sprachen:
English (Fluent), German (Fluent), Romanian (First language)
Berufserfahrung:
 Institut für Software Systems Engineering, TU Braunschweig,  (Student Research Assistant), Siemens Transportation Systems,  (Werkstudentin), Institut für Regelngstechnik, TU Braunschweig,  (Student Research Assistant), Institut für Programmierung und Reaktive Systeme, TU Braunschweig,  (Student Research Assistant)
Ich suche:
software architecture, software design, software testing, real-systems, reactive systems, model-checking, formal verification
Ich biete:
Programming Languages: C, C++, Java, Perl - Scripting Languages: Bash - Modelling Languages: Promela, SMV, Modelica, Matlab - Development Environments: RTAI, Xenomai, Eclipse, Scade, Microsoft Visual Studio 6.0, Microsoft Visual Studio. NET - Concepts: OOP, real-time systems, reactive systems, distributed systems, model-checking, verification, UML - Operating Systems: Scale-RT, Linux (Gentoo)...
Interessen:
real-systems, reactive systems, model-checking, formal verification, software testing

Linkedin

Adina Aniculaesei
Gegend:
Braunschweig Area, Germany
Zusammenfassung:
Master Student at Technical University of Braunschweig
Berufserfahrung:
Institut fr Software Systems Engineering, Technische Universitt Braunschweig (Computer Software industry): Student Research Assistant,  (January 2009-Present) Time analysis of thermodynamic models used in automotive industry. Writing a testing framework for the real-time profiled...