(We apologize if you receive multiple copies of this message)
====================================================================== Call ES_2013postdoc ====================================================================== Opening date: 18th October 2013 Closing date: 17th November 2013 Published on October 18, 2013 Two research positions are available in the Embedded System Research Unit (ES) at Bruno Kessler Foundation, Center for Information Technology. ================================================== Workplace ================================================== The Embedded System Research Unit (ES Unit) of the Information and Communication Technology Center of the Bruno Kessler Foundation, Trento, Italy consists of about 25 persons, including researchers, post-Doc, 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: . Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink); . Model Based Planning and Scheduling of aerospace domains using 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, on-board reasoning systems for autonomous vehicles using planning techniques . Formal Safety Analysis, based on the integration of traditional techniques (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques. More information about the ES Unit is available at http://es.fbk.eu/ . ================================================== Job Description: ================================================== The ES Unit is looking for two candidates to carry out research activities in the field of target algorithms, methodologies and tools for the design and formal verification of Embedded Systems. The activities will focus on: . contract-based framework for compositional certification and reuse of qualified components; . contract-based refinement from system-level to software-level architecture and components; . formal specification and validation of functional, safety, and timing requirements; . contract-based safety analysis. The activities will be carried out within various research projects, including ARTEMIS projects SafeCer (www.safecer.eu) and CRYSTAL (www.crystal-artemis.eu), and the FP VII project D-MILS (www.d-mils.org). The candidates are expected to work in collaboration with other researchers, programmers, and students involved in the relevant projects. The successful candidates will be enrolled with a fixed length contract (1 to 2 years), and will be subject to a 6 months trial work period. ================================================== Job requirements: ================================================== . PhD degree in computer science, mathematics or electronic engineering (to be completed within 2013 or beginning 2014); . solid theoretical background; . software development skills; . ability to carry out an independent program of research; . ability to work in a collaborative environment and deliver in research projects; . oral and written proficiency in English. ================================================== Additional requirements: ================================================== In depth previous experience in at least one of the following areas will be considered favorably: . Symbolic Model Checking . Temporal Logics and Property Specification Languages . Satisfiability Modulo Theory . Hybrid Systems Verification . Requirements Analysis . Contracts and Interface Theories . Architecture Description Languages . Software Verification . Safety Analysis (FTA, FMEA) Due to FBK's attempt to promote equal opportunity and gender balance, in case of equal applications, female candidates will be given preference. ================================================== Employment: ================================================== Type of contract: Research position, full time (38h per week) Number of positions: 2 Gross salary: 38.100,00 Euro per year Benefit: 28 vacation days per year, flexi-time, work canteen (meals at FBK's expense) or meal vouchers, internal car park, welcome office support for visa formalities, accommodation, social security, etc., reduction on banks, public transportation, sport, accommodation and language courses. Start date: from January 2014 Duration: up to 2 years (until the end of December 2015) Place: Povo, Trento (Italy) ================================================== Application: ================================================== To apply online, please send a cover letter, a statement of interest, a Curriculum Vitae (CV), and the names of three reference persons. All the documents must be in PDF format. Please include in your CV your authorization for the handling of your personal information as per the Italian Personal data Protection Code, Legislative Decree 196/2003. Applications must be sent to [email protected] Emails should have the following reference code: ES_2013postdoc Application deadline: November 17, 2013 For further information, please contact the Human Resources Service at [email protected]. Those candidates who will pass the preliminary curricula screening will be contacted shortly for an interview. Those applicants who will not be selected, will be notified of the exclusion at the end of the selection process. Please note that FBK may contact those candidates admitted to evaluation within a period of 6 months for selection of similar vacancies. For transparency purposes, the names of the selected candidates, if they have accepted the position, will be published on the FBK website at the bottom of the selection notice. ------------------------------------------------------------------------------ Android is increasing in popularity, but the open development platform that developers love is also attractive to malware creators. Download this white paper to learn more about secure code signing practices that can help keep Android apps secure. http://pubads.g.doubleclick.net/gampad/clk?id=65839951&iu=/4140/ostg.clktrk _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
