7 TIROCINI FORMATIVI E DI ORIENTAMENTO PRESSO IL DIPARTIMENTO INFORMATICA DELLA BANCA D’ITALIA

Sono aperte le candidature per 7 tirocini, della durata di sei mesi, presso il Dipartimento Informatica della Banca d’Italia, Centro Donato Menichella, Largo Guido Carli, 1 – Frascati.

Per partecipare è necessario possedere i seguenti requisiti:

  • laurea magistrale/specialistica, conseguita presso l’Università degli Studi di Roma La Sapienza in data successiva al 1 gennaio 2017 con punteggio pari ad almeno 100/110 (o votazione equivalente) in Ingegneria informatica, Informatica, Matematica, Statistica, Fisica o titoli equivalenti.
  • età non superiore a 28 anni alla scadenza del termine per la presentazione delle candidature.

Ai tirocinanti sarà riconosciuta un’indennità di partecipazione pari a 1.000 euro lordi mensili.

Le candidature dovranno essere inviate all’indirizzo email placement@uniroma1.it dal 3 luglio al 28 luglio 2017.

È possibile prendere visione dell’Avviso e scaricare il modulo della domanda di partecipazione al seguente link:

http://www.uniroma1.it/archivionotizie/tirocini-formativi-e-di-orientamento-presso-il-dipartimento-informatica-della-banca

First Summer School on Formal Methods for Cyber-Physical Systems

CALL FOR PARTICIPATION

1st Summer School on Formal Methods for Cyber-Physical Systems

Edition 2017: Automatic Synthesis of Controllers for Hybrid Systems

Sponsored by:

  • PhD School in Natural Sciences and Engineering, University of Verona
  • Department of Computer Science, University of Verona

12-16 September 2017
Department of Computer Science
University of Verona, Italy

https://cps-2017.di.univr.it/school-editions/2017

General enquiries: marta.capiluppi@univr.it, pietro.sala@univr.it, tiziano.villa@univr.it

About

The 1st Summer School on Formal Methods for Cyber-Physical Systems (FM-CPS) is a new summer school to be held at University of Verona from September 12th to 16th. The 2017 edition of FM-CPS 2017 focuses on the foundations, techniques, and tools for analysis, verification, control, synthesis, implementation, and applications of cyber-physical systems (CPS). Applications deal broadly with engineering and natural systems, including signal circuits, robotics, automotive and avionics, large-scale infrastructure networks, as well as biochemical and physiological processes.

Themes

The main themes faced during the school include:

  • Design, synthesis, planning and control (including real-time and resource-aware control)
  • Analysis, automated verification (Boolean or quantitative), certification, validation, and testing
  • Model building from data (via learning) and model simulation)
  • Network science and control over networks
  • Mathematical foundations, computability and complexity
  • Programming languages, specification formalisms
  • Software tool engineering and experimentation

Focus of the First Edition

This first edition of the school has the goal of presenting the state of the art of the current techniques in controller synthesis for hybrid systems, to enable doctoral students and young researchers to advance the field and apply the developed methodologies to concrete scenarios promoting their application in the industrial practice. The control synthesis problem will be addressed both in the discrete domain
and in the timed/hybrid one with techniques ranging from supervisory control, to synthesizing strategies in a two-player game, and
to control-theoretic techniques.

Contributions of interest discussed in this edition of the school include:

  • Introduction to the the Synthesis Problem;
  • Practical Reactive Synthesis;
  • Automated synthesis for nonlinear control systems;
  • Controller Synthesis for Linear Hybrid Systems;
  • Automatic Synthesis of Control Software for Discrete-Time Hybrid Systems;
  • Control Synthesis of Piecewise-affine Hybrid Systems on Polytopes.

The school will include tutorial presentations as well as laboratory sessions that will allow the students to apply the concepts introduced during the lectures in a laboratory set-up.

The list of international speakers includes:

  • Davide Bresolin, Dipartimento di Matematica, Università di Padova, Italy
  • Rudiger Ehlers, Department of Computer Science, University of Bremen, Germany
  • Marco Faella, Dipartimento di Ingegneria Elettrica e delle Tecnologie dell’Informazione, Università di Napoli, Italy
  • Salvatore La Torre, Dipartimento d’Informatica, Università di Salerno, Italy
  • Leonardo Mangeruca, ALES (UTRC), Roma, Italy
  • Federico Mari, Dipartimento di Informatica, Università La Sapienza, Roma, Italy
  • Angelo Montanari, Dipartimento di Scienze Matematiche, Informatiche e Fisiche, Università di Udine, Italy
  • Andrea Orlandini, Istituto di Scienze e Tecnologie della Cognizione, CNR, Roma, Italy
  • Matthias Rungger, Department of Electrical and Computer Engineering, TU Munchen, Germany
  • Pietro Sala, Dipartimento di Informatica, Università di Verona, Italy
  • Enrico Tronci, Dipartimento di Informatica, Università La Sapienza, Roma, Italy
  • Jan Van Schuppen, Mathematics Department, TU Delft, The Netherlands
  • Tiziano Villa, Dipartimento di Informatica, Università di Verona, Italy
  • Nina Yevtushenko Department of Radiophysics, Tomsk State University, Russia

Please check the website for updates on the detailed technical program and list of speakers.

Important Dates

Early registration fee: 4 August 2017
Regular registration fee: 4 September 2017
School dates: 12-16 September 2017

Registration

Registration details can be found on the school website:
https://cps-2017.di.univr.it/register?school_edition=2017

Scientific Committee

  • Paolo Fiorini, Dipartimento d’Informatica, Università di Verona, Italy
  • Angelo Montanari, Dipartimento di Scienze Matematiche, Informatiche e Fisiche, Università di Udine, Italy
  • Riccardo Muradore, Dipartimento d’Informatica, Università di Verona, Italy
  • Tiziano Villa, Dipartimento d’Informatica, Università di Verona, Italy

Organizers

  • Marta Capiluppi (Università degli Studi di Verona)
  • Luca Geretti (Università degli Studi di Verona)
  • Pietro Sala (Università degli Studi di Verona)
  • Tiziano Villa (Università degli Studi di Verona)

 

Job opportunities at Altran Technologies in Toulouse (France)

As a worldwide technology leader solving critical issues, ALTRAN brings customers’ ideas and projects to life and increases their performance, through technology and innovation. Created in 1982, ALTRAN has today more than 25000 employees worldwide, with a strong position in Aeronautics, Defence and Space area.

ALTRAN has opened the following job opportunities in Toulouse (France):

Details and application instruction can be found in enclosed documents above.

Embedded SW Engineer @ Civitanavi Systems

Civitanavi Systems cerca studente neo-laureato o con qualche anno di esperienza per la posizione di “Embedded SW Engineer”.

Posizione

Avionics Software Engineer (DO-178B/C)

Dipartimento

Defense/Airborne Systems & Software

Sede di lavoro

Rome Office: Via Pontina Vecchia Km 34 – 00040 Ardea (RM) Italy

Requisiti

Laurea Magistrale in Informatica, Ingegneria Informatica o Elettronica.

Descrizione attività

  • Sviluppo di software embedded in linguaggio C, certificabile per sistemi avionici mission e safety critical in accordo allo standard RTCA DO-178B/C
  • Partecipazione alla redazione della documentazione relativa al processo di SW Development e della relativa attività di tracciabilità del requisiti
  • Redazione della documentazione relativa al processo di SW Verification e della relativa attività di tracciabilità del requisiti
  • Esecuzione delle attività di SW Verification in accordo allo standard RTCA DO-178B/C con safety level A/B
  • Definizione e sviluppo dei test cases per high-level e low-level requirements
  • Analisi e risoluzione di problematiche relative al processo di software integration e hardware/software integration
  • Partecipazione allo sviluppo di algoritmi e filtri digitali nell’ambito della navigazione inerziale

NOTA: questa Job Vacancy è diretta anche a candidati neo-laureati che abbiano comprovato interesse ed entusiasmo ad intraprendere una carriera nell’ambito dello sviluppo del software per sistemi avionici certificabili.

Informazioni aggiuntive

  • Il software verrà sviluppato per una scheda proprietaria basata su SoC (System on Chip) Xilinx Zynq
  • Il software embedded dovrà essere eseguito sull’hardware di processing senza utilizzo di sistemi operativi
  • Il source code dovrà essere generato e documentato in conformità ai SW Coding Standard interni
  • Il candidato Avionics Software Engineer sarà supportato da un team di circa 10 specialisti esperti nei processi di certificazione HW e SW di sistemi avionici in accordo alla DO-254 e DO-178B/C
  • Il software sarà sviluppato per i sistemi di navigazione inerziale progettati e prodotti dalla Civitanavi Systems (SW Hard Real Time)

Esperienza e competenze richieste

NOTA: per i neo-laureati, sono da considerare applicabili solo i requisiti sottolineati.

  • Conoscenza del software development life-cycle: requirements, design, development, integration, verification
  • Approfondita conoscenza e comprovata esperienza nell’utilizzo del linguaggio C
  • Esperienza nello sviluppo di software embedded per piattaforme di processing senza sistema operativo (bare metal).
  • Attitudine allo sviluppo di software life cycle artifacts, richiesti per la documentazione formale del processo di software design e verification
  • Esperienza nella certificazione di embedded software per apparati avionici in accordo a DO-178B/C
  • Etica professionale e predisposizione al lavoro collaborativo in team multidisciplinari
  • Capacità di analisi sistematica e strutturata per il debugging del software
  • Buona conoscenza della lingua inglese scritta e parlata

Tutor/Referente

Diego Nunzio Orsini, Defense/Airborne Systems & SW Manager

email: dorsini@civitanavi.com

Aries Sistemi e LOG.IN cercano Sviluppatore SW C++

Aries Sistemi e LOG.IN cercano il seguente profilo, da assumere a tempo indeterminato:

Sviluppatore SW C++

Descrizione attività

Ricerchiamo sviluppatore SW applicazioni relative alla processazione di segnali, alla pianificazione ed alla simulazione di missione. La posizione comprende le attività di:

  • Analisi dei requisiti
  • Analisi di sistema e progettazione
  • Modellazione
  • Programmazione
  • Test ed integrazione
  • Bug fixing

Esperienza minima

Un anno.

Competenze richieste

  • Buona conoscenza di:
    • Programmazione ad oggetti
    • C++
    • Librerie Qt
    • MySQL, postgreSQL

Formazione

Il candidato ideale è diplomato o laureato in discipline attinenti le attività di sviluppo SW. Potranno essere prese in considerazione anche altri livelli di formazione e titoli di studio se il profilo del candidato è in linea con le esigenze aziendali.

Altri elementi di valutazione

  • Attitudine a lavorare in gruppo ed in accordo alle linee guida aziendali
  • Buona conoscenza dell’inglese parlato e scritto (livello di riferimento: B2)
  • Disponibilità ad eseguire trasferte in Italia e all’estero
  • Esperienza in ambito di simulazioni
  • E’ gradito il domicilio in zona
  • Costituisce titolo preferenziale la disponibilità immediata

Sedi di lavoro

Roma

Angera (VA)

Si offre

Contratto a tempo indeterminato con assunzione immediata. In ogni caso inquadramento contrattuale e retribuzione saranno commisurati alle reali capacità ed esperienze.

Referente
Ing. Filiberto LANCIOTTI
filiberto.lanciotti@log-in.it

Aries Sistemi e LOG.IN cercano Software Engineer C++/Qt

Aries Sistemi e LOG.IN cercano il seguente profilo, da assumere a tempo indeterminato:

Software Engineer C++/Qt

Descrizione attività

Ricerchiamo un ingegnere del SW per progettare e sviluppare applicazioni relative alla processazione di segnali, alla pianificazione ed alla simulazione di missione. La posizione comprende le attività di:

  • Analisi dei requisiti
  • Analisi di sistema e progettazione
  • Modellazione
  • Test ed integrazione
  • Bug fixing

Esperienza minima

Tre/quattro anni in attività di progettazione e sviluppo SW.

Competenze richieste

  • Ottima conoscenza di:
    • Programmazione ad oggetti
    • C++
  • Buona conoscenza di:
    • Librerie Qt
    • MySQL, postgreSQL

Formazione

Il candidato ideale è laureato in Ingegneria informatica (triennale). Potranno essere prese in considerazione anche altri livelli di formazione e titoli di studio se il profilo del candidato è in linea con le esigenze aziendali.

Altri elementi di valutazione

  • Attitudine a lavorare in gruppo ed in accordo alle linee guida aziendali
  • Buona conoscenza dell’inglese parlato e scritto (livello di riferimento: B2)
  • Disponibilità ad eseguire trasferte in Italia e all’estero
  • Esperienza in ambito di simulazioni
  • E’ gradito il domicilio in zona
  • Costituisce titolo preferenziale la disponibilità immediata

Sede di lavoro

Roma

Si offre

Contratto a tempo indeterminato con assunzione immediata. In ogni caso inquadramento contrattuale e retribuzione saranno commisurati alle reali capacità ed esperienze.

Referente
Ing. Filiberto LANCIOTTI
filiberto.lanciotti@log-in.it