 |
|
||||||||||
|
|
Abschlussarbeit Model Checking von SystemC Modellen | |||||||||
|
|||||||||||
|
|||||||||||
|
Tätigkeitsbereich: Position: Werkstudenten/Diplomanden Branche: IT/ Internet/ Software Im Zentralbereich Forschung und Vorausentwicklung entwerfen, prüfen und erforschen wir Systeme, Komponenten und Technologien. Unsere Innovationen zielen dabei stets auf eine Verbesserung der Lebensqualität. Entwickeln einer geeigneten Methode zum Model Checking SystemC Modellen Automatische Erzeugung von Model Checker Eingaben aus SystemC Modellen Studium der Fachrichtung Informatik oder Technische Informatik Sie beherrschen Java oder C++ Idealerweise haben Sie bereits Erfahrung mit Model Checkern wie SPIN, NuSMV oder Uppaal Sie sind kreativ, selbstständig und arbeiten gern im Team Dauer 3-6 Monate, Beginn nach VereinbarungWir bieten Ihnen ein anspruchsvolles Thema im innovativen Bereich der Forschung und Vorausentwicklung. Für nähere Informationen steht Ihnen Herr Roth unter Tel. +49(0)711/811-35274 gerne zur Verfügung.Haben wir Ihr Interesse gewecktDann freuen wir uns auf Ihre Online-Bewerbung!
|
|||||||||||
|
|
|
|||||||||
|
|
||||||||||
|
|||||||||||
Anzeigen
Top Thema am 12.02.2012
LVZ: EU-Kommissar Oettinger: Eine Änderung des Gütesiegels Made in Germany sei nicht zeitgemäß Leipzig (ots) - Der deutsche EU-Kommissar Günther Oettinger hat es
als nicht zeitgemäß bezeichnet, das deutsche Gütesiegel Made in
Germany abzusc weiter
Karriere - Stellenmarkt
10.000 Freie JobsTrotz Krise Stellen bundesweit! Lebenslauf einstellen und Firmen direkt kontakten. Machen Sie jagd auf Ihren Traumjob!
Quickfinder - Marktplatz & Service
Hotelsuche
Anzeigen
Empfehlungen:
|
|
