| |
mehrere
Softwareingenieur(e)/Innen
Referenznummer: FBJS-9904
Entwicklung,
Pflege und Anwendung von Werkzeugen für die formale Software-Entwicklung
in den Anwendungsgebieten: e-Commerce, Internet Banking,
Digitale Signatur, Embedded Systems und Verkehrstechnik.
Anforderungsprofil:
Erfolgreich abgeschlossenes Hochschulstudium in Informatik
oder verwandtem FachKenntnisse in den Grundlagen der formalen
Programmentwicklung, Software-Engineering, IT-Sicherheit,
Software-Qualitätssicherung.
mehrere
Wissenschaftliche Mitarbeiter/Innen
Referenznummer: FBJS-9905
Anwendung
formaler Methoden in der Informationstechnik (formale Sicherheitsmodelle)
in den Anwendungsgebieten: e-Commerce, Internet Banking,
Digitale Signatur, Embedded Systems und Verkehrstechnik.
Anforderungsprofil:
Erfolgreich abgeschlossenes Hochschulstudium in Informatik
oder verwandtem FachKenntnisse in den Grundlagen der formalen
Programmentwicklung, Software-Engineering, IT-Sicherheit,
Software-Qualitätssicherung.
Den Bewerber/Innen
wird die Möglichkeit zur Promotion gegeben. Weiterführende
Informationen finden Sie im Web unter: http://www.dfki.de/jobs
Für
beide Stellenangebote gilt:
Bitte
bewerben Sie sich mit den üblichen Bewerbungsunterlagen und
der Referenznummer bei:
Dr. Oliver Keller
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH
(DFKI)
Im Stadtwald Geb. 36
66123 Saarbrücken
|
|
|
zurück
zum Index |
|
|
Research
Fellows am DFKI |
|
|
Die
20. WBR-Sitzung |
|
|
Veröffentlichungen |
|
|
Alumni-Treffen
und Events |
|
|
Forschungsbereich
Deduktion und Multiagentensysteme |
|
|
Bild
der Wissenschaft:
DFKI nicht an erster Stelle? |
|
|
Das Virtual Office Projekt |
|
|
Verein
der Freunde und Förderer des DFKI |
|
Der
Stellenmarkt |
|
|
Die
Seite der Geschäftsleitung |
|
|
Impressum |
|
