[Please circulate this call among your colleagues. Apologies for multiple
copies]
==========================
A Tenure Track Research position available
Embedded System Research Unit
Center for Information and Communication Technology
Fondazione Bruno Kessler - Trento, Italy
www.fbk.eu<http://www.fbk.eu>
Deadline: 19 August 2012
==========================
Workplace description:
The Bruno Kessler Foundation (FBK) center for ICT focuses research on key areas
of information technology with the aim to provide a practical and experimental
evidence of its added value for the market, cultural growth, and social
welfare. FBK ICT research activities focus on three main areas: Engineering,
Content and Interaction.
The FBK center for ICT is organized in Research Units. The teams are
international and include senior and young researchers, PostDocs, PhD students,
project managers, system architects and programmers coming from different
countries. Research Units are strongly encouraged towards collaborations and
projects that can exploit synergies among different competences.
The Embedded Systems Research Unit (ES) carries out research, tool development
and technology transfer in the fields of design and verification of embedded
systems. More information about the ES unit: http://es.fbk.eu/
==========================
Job Description:
The FBK center for ICT, is looking for a candidate to carry out research
activities in the field of Automated Reasoning for the Design of Embedded and
Cyber-physical systems. The successful candidate will primarily work on the
development of efficient algorithms and tools for the design and verification
of complex embedded systems.
The research activity focuses on the development of symbolic methods for the
automated analysis, in particular methods based on model checking and
Satisfability Modulo Theories. The candidate is expected to carry out research
activities in the context of critical application domains, including but not
limited to the aerospace, railways, automotive, and factory automation sectors.
The selected candidate will join the Embedded Systems research unit in the FBK
center for ICT.
==========================
Job requirements:
- Applicants should have a PhD degree related to Computer Science
and/or Software Engineering
- Relevant experience in development of automated reasoning and
verification tools
- Competences in modeling and verification of complex systems
- Solid background in automated reasoning, mathematical logic, formal
verification, models of computation, software and systems engineering
- Skills in programming, testing, profiling, maintenance of large
software systems
- Ability to work in funded research projects
- Oral and written proficiency in English.
==========================
Applications and Inquiries:
To apply online, please send your detailed CV (.pdf format) including a list of
publications, statement of research interests and names of at least 2 referees.
Please send your CV with permission of the Personal data Protection Code,
Legislative Decree no. 196/2003 June 2003.
Applications must be sent to <jobs[at]fbk[dot]eu>.
Emails should have the following reference code TenureTrackICT_2012ES
Application deadline: 19 August 2012
For more info: http://risorseumane.fbk.eu/it/node/234
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
