<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<meta name="Generator" content="Microsoft Word 12 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Consolas;
panose-1:2 11 6 9 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Testo normale Carattere";
margin:0cm;
margin-bottom:.0001pt;
font-size:10.5pt;
font-family:Consolas;}
pre
{mso-style-priority:99;
mso-style-link:"Preformattato HTML Carattere";
margin:0cm;
margin-bottom:.0001pt;
font-size:10.0pt;
font-family:"Courier New";}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
{mso-style-priority:34;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
span.PreformattatoHTMLCarattere
{mso-style-name:"Preformattato HTML Carattere";
mso-style-priority:99;
mso-style-link:"Preformattato HTML";
font-family:"Courier New";}
span.TestonormaleCarattere
{mso-style-name:"Testo normale Carattere";
mso-style-priority:99;
mso-style-link:"Testo normale";
font-family:Consolas;}
p.Default, li.Default, div.Default
{mso-style-name:Default;
margin:0cm;
margin-bottom:.0001pt;
text-autospace:none;
font-size:12.0pt;
font-family:"Arial","sans-serif";
color:black;}
span.StileMessaggioDiPostaElettronica23
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:windowtext;}
span.StileMessaggioDiPostaElettronica24
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.StileMessaggioDiPostaElettronica25
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.StileMessaggioDiPostaElettronica26
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.StileMessaggioDiPostaElettronica27
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 2.0cm 2.0cm 2.0cm;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:383916854;
mso-list-type:hybrid;
mso-list-template-ids:446592564 -1285940210 68157443 68157445 68157441 68157443 68157445 68157441 68157443 68157445;}
@list l0:level1
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:-;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Calibri","sans-serif";
mso-fareast-font-family:Calibri;
mso-bidi-font-family:"Times New Roman";}
@list l0:level2
{mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l0:level3
{mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l0:level4
{mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l0:level5
{mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l0:level6
{mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l0:level7
{mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l0:level8
{mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
@list l0:level9
{mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="IT" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoPlainText"><i><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif"">[Please circulate this call among your colleagues. Apologies for multiple copies]<o:p></o:p></span></i></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US">==========================<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US">
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><b><span lang="EN-US">A Tenure Track Research position available<o:p></o:p></span></b></p>
<p class="MsoNormal" style="text-align:justify"><b><span lang="EN-US">Embedded System Research Unit<o:p></o:p></span></b></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US">Center for Information and Communication Technology<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><b>Fondazione Bruno Kessler - Trento, Italy<o:p></o:p></b></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US"><a href="http://www.fbk.eu">www.fbk.eu</a>
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US"> <o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US">Deadline: 19 August 2012<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US" style="color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US">==========================<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><b><span lang="EN-US">Workplace description:
<o:p></o:p></span></b></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US">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.
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US">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.
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US">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: <a href="http://es.fbk.eu/">http://es.fbk.eu/</a> <o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US">==========================<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><b><span lang="EN-US">Job Description:
<o:p></o:p></span></b></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US">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.
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US"><br>
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.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US">==========================<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><b><span lang="EN-US">Job requirements:
<o:p></o:p></span></b></p>
<p class="Default" style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:3.65pt;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2">
<![if !supportLists]><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif""><span style="mso-list:Ignore">-<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif"">Applicants should have a PhD degree related to Computer Science and/or Software Engineering
<o:p></o:p></span></p>
<p class="Default" style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:3.65pt;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2">
<![if !supportLists]><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif""><span style="mso-list:Ignore">-<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif"">Relevant experience in development of automated reasoning and verification tools
<o:p></o:p></span></p>
<p class="Default" style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:3.65pt;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2">
<![if !supportLists]><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif""><span style="mso-list:Ignore">-<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif"">Competences in modeling and verification of complex systems
<o:p></o:p></span></p>
<p class="Default" style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:3.65pt;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2">
<![if !supportLists]><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif""><span style="mso-list:Ignore">-<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif"">Solid background in automated reasoning, mathematical logic, formal verification, models of computation, software and systems engineering
<o:p></o:p></span></p>
<p class="Default" style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:3.65pt;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2">
<![if !supportLists]><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif""><span style="mso-list:Ignore">-<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif"">Skills in programming, testing, profiling, maintenance of large software systems
<o:p></o:p></span></p>
<p class="Default" style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:3.65pt;margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2">
<![if !supportLists]><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif""><span style="mso-list:Ignore">-<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif"">Ability to work in funded research projects
<o:p></o:p></span></p>
<p class="Default" style="margin-left:36.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2">
<![if !supportLists]><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif""><span style="mso-list:Ignore">-<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif"">Oral and written proficiency in English.
<o:p></o:p></span></p>
<p class="Default" style="margin-left:36.0pt"><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif""><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><span lang="EN-US">==========================<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify"><b><span lang="EN-US">Applications and Inquiries:<o:p></o:p></span></b></p>
<p class="Default"><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif"">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.
<o:p></o:p></span></p>
<p class="Default"><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif""><o:p> </o:p></span></p>
<p class="Default"><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif"">Applications must be sent to <<b>jobs[at]fbk[dot]eu</b>>.
<o:p></o:p></span></p>
<p class="Default"><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif"">Emails should have the following reference code
<b>TenureTrackICT_2012ES</b> <o:p></o:p></span></p>
<p class="Default"><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif""><o:p> </o:p></span></p>
<p class="Default"><b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif"">Application deadline: 19 August 2012<o:p></o:p></span></b></p>
<p class="Default"><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif"">For more info:
</span><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"><a href="http://risorseumane.fbk.eu/it/node/234">http://risorseumane.fbk.eu/it/node/234</a>
</span><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif""><o:p></o:p></span></p>
</div>
</body>
</html>