(Apologies if you have received multiple copies of this announcement)
WORK OPPORTUNITY FOR STUDENTS/GRADUATES AT FBK! Ideal candidates for this position are young people with strong computer programming skills and a desire to engage in a path of professional growth in the area of research. We are looking for people willing to work in international teams, attracted by research and innovation, with a spirit of initiative and critical thinking skills. If you are interested in joining our top class Research Units, check out the details below! -------------------------------------------------- Workplace -------------------------------------------------- The Embedded Systems (ES) Unit of the Information and Communication Technology Center of the Bruno Kessler Foundation, Trento, Italy consists of about 25 persons, including researchers, Postdoc, PhD students, and programmers. The Unit carries out research, tool development and technology transfer in the fields of design and verification of embedded systems. Current research directions include: * Formal Verification of complex embedded systems leveraging on model checking techniques; * Formal Safety Analysis, based on the integration of traditional (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques. * Contract-based engineering and contract-based formal verification of aerospace systems using model checking techniques; * Contract-based techniques for fault detection, identification relying on model checking techniques; * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis); * Model based planning and scheduling for aerospace and robotic (drone) systems, for the management of autonomous vehicles, drones for exploration in critical environment, factory automation, and for process optimizations (with applications in Industry 4.0), leveraging model checking and satisfiability modulo theory techniques; * Model based on-board autonomy for different vehicles (AUV, ROV) using planning and scheduling techniques; * Model based recovery relying on planning and scheduling techniques; * Model-based development of controllers for embedded systems; * Satisfiability Modulo Theory, and its application to planning and scheduling, verification of hardware, embedded critical software, and hybrid systems; * Combination of machine learning and symbolic reasoning for predictive maintenance. More information about the ES Unit is available at https://es.fbk.eu/ -------------------------------------------------- Job Description -------------------------------------------------- The Embedded Systems (ES) Unit is looking for junior programmers for software development activities related to the different research, technology transfer, and industrial projects in its current portfolio. In particular, the successful candidate will support the ES-Unitâs researchers in the design and development of the different applications and tools to develop and deploy at different premises within the several projects. The successful candidates are expected to work in collaboration with other researchers, programmers, and students involved in the different projects. -------------------------------------------------- Job requirements -------------------------------------------------- The ideal candidate should have: * High school diploma/bachelor degree * Software design and development skills; * Knowledge of at least one of the following programming languages: C++, C, Python, Java; * Hands-on experience with standard software development environments under Unix/Linux and/or MS Windows (TM); * Ability to work in a collaborative environment; * Result orientation and flexibility; * Good communication and relational skills in English. FBK will consider Background knowledge and/or previous hands-on experience in the following areas: model-based development of controllers for embedded systems; Eclipse development platform; Xtext framework; UML and/or SysML; XML; symbolic logic; formal methods (e.g., model checking), planning and scheduling, machine learning and machine learning development environments (e.g. scikit-learn, PyTorch, tensorflow). -------------------------------------------------- Employment -------------------------------------------------- Type of contract: fixed term contract (technical profile - L4 CCPL) Working hours: part or full time (depending on internal project needs and candidateâs availability) Start date: January 2019 Duration: December 2019 (with possibility to extend the contract depending on funding) Workplace: Trento - Povo Benefits: flexi-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation, social security, etc., reductions on bank account opening fees, public transportation, sport, language course fees. More info at https://www.welfarefbk.info/ -------------------------------------------------- Application -------------------------------------------------- Candidates are required to submit their applications by clicking "Apply online" at the bottom of this page. Please make sure that your application includes the following attachments (pdf. format): * Detailed CV * Cover Letter (explaining your motivation for this specific position) Application deadline: 20th December, 2018 Please read our Regulations on the recruitment and selection of fixed-term personnel (effective from October 15, 2018) before completing your application. For further administrative information, please contact the Human Resources Services at j...@fbk.eu For technical inquiries about the position, send an e-mail at es-i...@fbk.eu.
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
