(We apologize if you receive multiple copies of this message) ====================================================================== Call ES_PANDS_2017_postdoc ====================================================================== Opening date: December 1, 2016 Closing date: January 16, 2017
A PostDoc position is available in the Embedded Systems Research Unit (ES) at Bruno Kessler Foundation (FBK), Center for Information Technology. FBK is a private research institution based in Trento (Italy) and operating in different scientific fields and disciplines. As such, it has the role of keeping the Autonomous Province of Trento within the mainstream of international research. FBK is made up of seven research centers, whose activities and production are available at http://www.fbk.eu/research-centers. The Embedded Systems Research Unit (ES Unit) of the Information and Communication Technology Center of the Bruno Kessler Foundation (FBK-irst), Trento, Italy consists of about 25 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 automated planning for different application contexts, and design and verification of embedded systems. Current research directions include: * Model based planning and scheduling for aerospace systems, for the management of autonomous vehicles, for factory automation, and for process optimizations (with applications in Industry 4.0), leveraging model checking and satisfiability modulo theory techniques; * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis); * Model-based engineering and formal verification of aerospace systems using model checking techniques; * Model based on-board reasoning systems for autonomous vehicles using planning and scheduling techniques; * Formal Safety Analysis, based on the integration of traditional (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques. * Model based techniques for fault detection, identification relying on model checking techniques; * Model based recovery relying on planning and scheduling techniques; * Satisfiability Modulo Theory, and its application to planning and scheduling, verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink); More information about the ES Unit is available at http://es.fbk.eu/ . ====================================================================== Job Description ====================================================================== The ES Unit has an opening for a PostDoc position in the field of planning and scheduling for industrial applications in the framework of several research and technology transfer projects. The successful candidate will be employed for a period of at least two years (with a trial period of 6 months). He/She will carry out research activities in the field of planning and scheduling and architectures for autonomy (planning, scheduling, execution, monitoring) applied to the design and implementation of adaptive systems with critical timing, safety and security requirements. In particular, the activities will focus on: * declarative languages to specify planning and scheduling domains, keeping into account controllability, partial observability, timing, and resources issues; * declarative languages to specify conditional time triggered plans suitable to solve complex planning and scheduling problems; * design and implementation of scalable planning and scheduling solution techniques for applications in industrial settings to control autonomous vehicles as well as for factory automation; * design and implementation of formal validation techniques for validation of planning and scheduling domains, and for the verification of conditional time triggered plans; * design and implementation of autonomy architectures encompassing, deliberation, execution and monitoring and interface with low level controls. The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the project. Required: * PhD in computer science, mathematics or electronic engineering (to be completed within 2017); * Software development skills (preferably in C, C++, Python or Java); * Ability to carry out an independent research program; * Ability to work in a collaborative environment and deliver in research projects and possibly in industrial projects; * Oral and written proficiency in English; Preferred: In depth previous experience in at least one of the following areas: * Planning and Scheduling * Autonomy Architecture * Symbolic Model Checking * Solid background in logic * Temporal Logics and Property Specification Languages * Satisfiability Modulo Theory * Formal Specification and Analysis of Architectures * Software Model Checking ====================================================================== Employment ====================================================================== Type of contract: Fixed Term Contract Gross annual salary: about 38.100 Euro Working hours: full time Benefits: flexible-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, support for early accommodation, social security, etc., reductions on bank account opening fees, public transportation, sport, and language course fees. Start date: February/March 2017 Workplace: Povo (TN) Application deadline: January 16, 2017 ====================================================================== Application ====================================================================== Candidates are required to submit their applications by filling in the online form at https://hr.fbk.eu/en/jobs. Please make sure that your application includes the following attachments (pdf format): * Detailed CV * Cover Letter (explaining your motivation for this specific position) * 3 professional references (e-mails and/or phone numbers) Please read the Guidelines for Selection before completing your application. For further information or technical issues regarding the application, please contact the Human Resources Service at j...@fbk.eu. The position is subject to budget approval. Candidates who pass the preliminary curricula screening will be contacted shortly afterwards for an interview. Non selected applicants will be notified of their exclusion at the end of the selection process. Please note that FBK may contact shortlisted candidates within a period of 12 months, for the selection processes of similar vacancies. For reasons of professional transparency, the name of the successful candidate will be published on the FBK website following acceptance of the position.
(We apologize if you receive multiple copies of this message) ====================================================================== Call ES_PANDS_2017_postdoc ====================================================================== Opening date: December 1, 2016 Closing date: January 16, 2017 A PostDoc position is available in the Embedded Systems Research Unit (ES) at Bruno Kessler Foundation (FBK), Center for Information Technology. FBK is a private research institution based in Trento (Italy) and operating in different scientific fields and disciplines. As such, it has the role of keeping the Autonomous Province of Trento within the mainstream of international research. FBK is made up of seven research centers, whose activities and production are available at http://www.fbk.eu/research-centers. The Embedded Systems Research Unit (ES Unit) of the Information and Communication Technology Center of the Bruno Kessler Foundation (FBK-irst), Trento, Italy consists of about 25 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 automated planning for different application contexts, and design and verification of embedded systems. Current research directions include: * Model based planning and scheduling for aerospace systems, for the management of autonomous vehicles, for factory automation, and for process optimizations (with applications in Industry 4.0), leveraging model checking and satisfiability modulo theory techniques; * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis); * Model-based engineering and formal verification of aerospace systems using model checking techniques; * Model based on-board reasoning systems for autonomous vehicles using planning and scheduling techniques; * Formal Safety Analysis, based on the integration of traditional (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques. * Model based techniques for fault detection, identification relying on model checking techniques; * Model based recovery relying on planning and scheduling techniques; * Satisfiability Modulo Theory, and its application to planning and scheduling, verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink); More information about the ES Unit is available at http://es.fbk.eu/ . ====================================================================== Job Description ====================================================================== The ES Unit has an opening for a PostDoc position in the field of planning and scheduling for industrial applications in the framework of several research and technology transfer projects. The successful candidate will be employed for a period of at least two years (with a trial period of 6 months). He/She will carry out research activities in the field of planning and scheduling and architectures for autonomy (planning, scheduling, execution, monitoring) applied to the design and implementation of adaptive systems with critical timing, safety and security requirements. In particular, the activities will focus on: * declarative languages to specify planning and scheduling domains, keeping into account controllability, partial observability, timing, and resources issues; * declarative languages to specify conditional time triggered plans suitable to solve complex planning and scheduling problems; * design and implementation of scalable planning and scheduling solution techniques for applications in industrial settings to control autonomous vehicles as well as for factory automation; * design and implementation of formal validation techniques for validation of planning and scheduling domains, and for the verification of conditional time triggered plans; * design and implementation of autonomy architectures encompassing, deliberation, execution and monitoring and interface with low level controls. The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the project. Required: * PhD in computer science, mathematics or electronic engineering (to be completed within 2017); * Software development skills (preferably in C, C++, Python or Java); * Ability to carry out an independent research program; * Ability to work in a collaborative environment and deliver in research projects and possibly in industrial projects; * Oral and written proficiency in English; Preferred: In depth previous experience in at least one of the following areas: * Planning and Scheduling * Autonomy Architecture * Symbolic Model Checking * Solid background in logic * Temporal Logics and Property Specification Languages * Satisfiability Modulo Theory * Formal Specification and Analysis of Architectures * Software Model Checking ====================================================================== Employment ====================================================================== Type of contract: Fixed Term Contract Gross annual salary: about 38.100 Euro Working hours: full time Benefits: flexible-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, support for early accommodation, social security, etc., reductions on bank account opening fees, public transportation, sport, and language course fees. Start date: February/March 2017 Workplace: Povo (TN) Application deadline: January 16, 2017 ====================================================================== Application ====================================================================== Candidates are required to submit their applications by filling in the online form at https://hr.fbk.eu/en/jobs. Please make sure that your application includes the following attachments (pdf format): * Detailed CV * Cover Letter (explaining your motivation for this specific position) * 3 professional references (e-mails and/or phone numbers) Please read the Guidelines for Selection before completing your application. For further information or technical issues regarding the application, please contact the Human Resources Service at j...@fbk.eu. The position is subject to budget approval. Candidates who pass the preliminary curricula screening will be contacted shortly afterwards for an interview. Non selected applicants will be notified of their exclusion at the end of the selection process. Please note that FBK may contact shortlisted candidates within a period of 12 months, for the selection processes of similar vacancies. For reasons of professional transparency, the name of the successful candidate will be published on the FBK website following acceptance of the position.
_______________________________________________ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai
