Research position in the field of Formal Verification of Complex Control Systems, Trento, Italy
Denne stilling er desværre ikke længere ledig.
Se alle ledige stillinger
Udlandet
The position is opened by the Embedded Systems Research Unit (ES Unit) of the Digital Industry Center of FBK. The ES Unit consists of about 30 people, including researchers, post-docs, PhD students, Master Students, and programmers. The Unit carries out basic and applied research, tool development and technology transfer in the field of formal methods and model-based design for complex embedded systems.
FBK actively seeks diversity and inclusion in the workplace and is also committed in promoting gender equality.
Job Description
The open research position is in the field formal verification of complex control systems. The expected activities include the development of formal verification techniques and their integration in model-based design environments; model checking of control systems and their interaction with hybrid models of the physical plants; contract-based compositional reasoning; model-based safety analysis, fault detection and diagnosis; software development for tools such as nuXmv, OCRA, xSAP, Kratos, COMPASS, and TASTE; training support, and document generation for technology transfer. The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the unit. Moreover, the candidate is expected also to interact with industrial partners and partners of research projects.
Job Requirements
The ideal candidate should have:
Additional requirements
In depth previous experience in at least one of the following areas:
Employment
Type of contract: Fixed term contract
Working hours: full time
Start date: June 2021
Duration: 2 years
Gross annual salary: about 39.500 €
Workplace: Povo, Trento (Italy).
Benefits: flexi-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation etc., supplementary pension and health found, training courses, public transport, sports facilities, language courses fees. Further details at www.welfarefbk.info
Application
Interested candidates are requested to submit their application by clicking on "Apply online" in the end of this page. Please make sure that your application contains the following attachments (in pdf format):
Application deadline: 21st April, 2021
Please read our Recruitment Regulations before completing your application. For further information, please contact the Human Resources Services at [email protected]
Read the vacancy at:
https://jobs.fbk.eu/Annunci/Jobs_A_research_position_in_the_field_of_formal_verification_of_complex_control_systems_216953673.htm
(from EURES Trento)
EURES står for European Employment Service og er et tilbud til alle EU-borgere, der ønsker at arbejde i et andet EU/EØS-land. Her finder du job i udlandet og information om jobsøgning i udlandet.
http://www.eures.dk eller http://www.europa.eu/eures
Følg os på Facebook "EURES Danmark"
Kilde: Jobnet.dk
FBK actively seeks diversity and inclusion in the workplace and is also committed in promoting gender equality.
Job Description
The open research position is in the field formal verification of complex control systems. The expected activities include the development of formal verification techniques and their integration in model-based design environments; model checking of control systems and their interaction with hybrid models of the physical plants; contract-based compositional reasoning; model-based safety analysis, fault detection and diagnosis; software development for tools such as nuXmv, OCRA, xSAP, Kratos, COMPASS, and TASTE; training support, and document generation for technology transfer. The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the unit. Moreover, the candidate is expected also to interact with industrial partners and partners of research projects.
Job Requirements
The ideal candidate should have:
- PhD in computer science, mathematics or electronic engineering;
- Software development skills (preferably in C, Python, Matlab, C++/Java);
- Ability to carry out an independent research program;
- Ability to work in a collaborative environment and deliver in research and/or industrial projects;
- Accuracy, proactivity and goal orientation;
- Oral and written proficiency in English.
Additional requirements
In depth previous experience in at least one of the following areas:
- Model Checking or other formal verification techniques
- First-order logic and SMT solvers
- Formal analysis of hybrid systems
- Temporal Logics and Property Specification Languages
- Formal Specification and Analysis of Architectures
Employment
Type of contract: Fixed term contract
Working hours: full time
Start date: June 2021
Duration: 2 years
Gross annual salary: about 39.500 €
Workplace: Povo, Trento (Italy).
Benefits: flexi-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation etc., supplementary pension and health found, training courses, public transport, sports facilities, language courses fees. Further details at www.welfarefbk.info
Application
Interested candidates are requested to submit their application by clicking on "Apply online" in the end of this page. Please make sure that your application contains the following attachments (in pdf format):
- Detailed CV;
- Motivational letter;
- 3 professional references (e-mails and/or phone numbers).
Application deadline: 21st April, 2021
Please read our Recruitment Regulations before completing your application. For further information, please contact the Human Resources Services at [email protected]
Read the vacancy at:
https://jobs.fbk.eu/Annunci/Jobs_A_research_position_in_the_field_of_formal_verification_of_complex_control_systems_216953673.htm
(from EURES Trento)
EURES står for European Employment Service og er et tilbud til alle EU-borgere, der ønsker at arbejde i et andet EU/EØS-land. Her finder du job i udlandet og information om jobsøgning i udlandet.
http://www.eures.dk eller http://www.europa.eu/eures
Følg os på Facebook "EURES Danmark"
Kilde: Jobnet.dk
Information og data
Denne ledige stilling har jobtypen "Softwareudvikler", og befinder sig i kategorien "Informationsteknologi".
Arbejdsstedet er beliggende i Udlandet
Jobbet er oprettet på vores service den 7.4.2021, men kan have været deaktiveret og genaktiveret igen.
Dagligt opdateret: Dette job opdateres dagligt ud fra jobudbyderens hjemmeside via vores søgemaskineteknologi og er aktivt lige nu.
- Softwareudvikler
- Udlandet
- Onsdag den 21. april 2021
Lignende jobs
-
Sr. Software Engineer - UniData/UniVerse Experienc...
Company Description IFS is a billion-dollar revenue company with 6000+ employees on all continents. Our leading AI technology is the backbone of our award-winning enterprise software solutions,.Få mere info- Softwareudvikler
- Udlandet
-
Software Engineer for the White Rabbit Project (BE...
Company DescriptionAt CERN, the European Organization for Nuclear Research, physicists and engineers are probing the fundamental structure of the universe. Using the world's largest and most co..Få mere info- Softwareudvikler
- Udlandet
-
Marketing Systems & Third Party Program Specialist
Company Description IFS is a billion-dollar revenue company with 6000+ employees on all continents. Our leading AI technology is the backbone of our award-winning enterprise software solutions,.Få mere info- Softwareudvikler
- Udlandet
-
Field Service Management - Presales Solution Consu...
Company Description IFS is a billion-dollar revenue company with 6000+ employees on all continents. Our leading AI technology is the backbone of our award-winning enterprise software solutions,.Få mere info- Softwareudvikler
- Udlandet
Statistik over udbudte jobs som softwareudviklere i Udlandet
Herunder ser du udviklingen i udbudte softwareudvikler i Udlandet over tid. Bemærk at jobs der ikke har en bestemt geografi ikke er medtaget i tabellen. I den første kolonne ser du datoen. I den næste kolonne ser du det samlede antal softwareudviklere i Udlandet.
Se flere statistikker her:
Statistik over udbudte softwareudviklere i Udlandet over tid
| Dato | Alle jobs som softwareudviklere |
|---|---|
| 26. december 2024 | 10 |
| 25. december 2024 | 10 |
| 24. december 2024 | 10 |
| 23. december 2024 | 10 |
| 22. december 2024 | 10 |
| 21. december 2024 | 10 |
| 20. december 2024 | 10 |
| 19. december 2024 | 10 |
| 18. december 2024 | 10 |
| 17. december 2024 | 10 |
| 16. december 2024 | 10 |
| 15. december 2024 | 10 |
| 14. december 2024 | 10 |
| 13. december 2024 | 10 |
| 12. december 2024 | 10 |
| 11. december 2024 | 10 |
| 10. december 2024 | 10 |
| 9. december 2024 | 10 |
| 8. december 2024 | 10 |
| 7. december 2024 | 10 |
| 6. december 2024 | 10 |
| 5. december 2024 | 10 |
| 4. december 2024 | 10 |
| 3. december 2024 | 10 |
| 2. december 2024 | 10 |
| 1. december 2024 | 10 |
| 30. november 2024 | 11 |
| 29. november 2024 | 10 |
| 28. november 2024 | 11 |
| 27. november 2024 | 11 |
| 26. november 2024 | 11 |