[Elsnet-list] PostDoc Positions in the Embedded System Unit of Fondazione Bruno Kessler

Marco Roveri roveri at fbk.eu
Wed Nov 26 22:57:58 CET 2008




         [[[ Apologies for multiple copies of this message ]]]
                                                         
		 Post-Doc Positions Available

	     Design and Verification of Embedded Software
                                                                     
		    Embedded System Research Unit
                      Fondazione Bruno Kessler                       
 (formerly part of IRST - Centro per la Ricerca Scientifica e Tecnologica)
                           Trento, Italy                             
        
	Posted: November 26, 2008

The Embedded System Research Unit (http://es.fbk.eu) of the Bruno
Kessler Foundation, Trento, Italy, is seeking several candidates for
Post-Doc positions.

The activities will target algorithms, methodologies and tools for the
design and verification of Embedded Systems. The activities will mainly
focus on the following topics:

- Safety Analysis with focus on Dynamic Fault Tree Analysis
- Formal Requirements Analysis 
- Verification of Hybrid Systems
- Verification of SystemC TLM models 
- Optimization of Design and Installation of Aircraft Architectures

The activities will be carried out within the following projects: 
- MISSA (http://es.fbk.eu/index.php?n=Projects.MISSA)
- COCONUT (http://es.fbk.eu/index.php?n=Projects.COCONUT)
- COMPASS (http://compass.informatik.rwth-aachen.de)

The successful candidates will be enrolled with a fixed length
contract (2 to 3 years), and will be subject to a 6 months trial work
period.

Candidate Profile
=================

The ideal candidate should have a Ph.D degree in computer science,
mathematics or electronic engineering or proved equivalent experience,
combine solid theoretical background and software development skills,
and have some degree of autonomy.

The candidate should be able to work in a collaborative environment,
with a strong commitment to reaching research excellence and achieving
assigned objectives.

In depth previous experience in at least one of the following areas is
required:
- Symbolic Model Checking
- Propositional Satisfiability
- Satisfiability Modulo Theory 
- Constraint Solving and Optimization
- Formal Requirements Analysis
- Software Verification
- Software Synthesis
- Embedded System Design Languages (e.g. Verilog, VHDL, System C, and
  System Verilog)
- Safety Analysis (FTA, FMEA)

Applications and Inquiries
==========================

Interested candidates should inquire for further information and/or
apply by sending email to <jobs[at]fbk[dot]eu>.

Applications should contain a statement of interest, with a Curriculum
Vitae, and three reference persons. PDF format is strongly encouraged.

Emails will be automatically processed and should have

       'RIF: ES/postdoc' 

as subject.

Please note that the positions are already open, and they will be
evaluated as soon as they arrive.

The Embedded System Research Unit
=================================

The Embedded Systems Unit consists of about 15 persons, including
researchers, post-Doc, Ph.D. 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)

* Formal Requirements Analysis based on techniques for temporal logics
  (consistency checking, vacuity detection, input determinism,
  cause-effect analysis, realizability and synthesis)

* Formal Safety Analysis, based on the integration of traditional
  techniques (e.g. Fault-tree analysis, FMEA) with symbolic
  verification techniques.

The unit develops and maintains several tools:

* the NuSMV symbolic model checker (http://nusmv.fbk.eu)

* the MathSAT SMT solver (http://mathsat.fbk.eu)

* the Formal Safety Analysis Platform FSAP (http://fsap.fbk.eu)

* the Requirements Analysis Tool RAT (http://rat.fbk.eu)

The unit is currently involved in several research projects, funded by
the European Union (FP VI and FP VII), the European Space Agency, the
European Railway Agency, as well as in industrial technology transfer
projects. The projects aim at applying research results to key
application domains such as space, avionics, railways, hardware design
and mobile embedded applications.

The Embedded Systems Unit is part of Fondazione Bruno Kessler,
formerly Istituto Trentino di Cultura, a public research institute of
the Autonomous Province of Trento (Italy), founded in 1976. The
institute, through its center for the scientific and technological
research, is active in the areas of Information Technology,
Microsystems, and Physical Chemistry of Surfaces and
Interfaces. Today, FBK is an internationally recognized research
institute, collaborating with industries, universities, and public and
private laboratories in Italy and abroad. The institute's applied and
basic research activities aim at resolving real-world problems, driven
by the need for technological innovation in society and industry.

Location
========

Trento is a lively town of about 100.000 inhabitants, located 130 km
south of the border between Italy and Austria. It is well known for
the beauty of its mountains and lakes, and it offers the possibility
to practice a wide range of sports. Trento enjoys a rich cultural and
historical heritage, and it is the ideal starting point for day trips
to famous towns such as Venice or Verona, as well as to enjoy great
naturalistic journeys. Detailed information about Trento and its
region can be found at http://www.trentino.to/home/index.html?_lang=en.

Contact Person
==============

* Alessandro Cimatti
  mailto: <cimatti[at]fbk[dot]eu>
  http://es.fbk.eu/people/cimatti

-------------- next part --------------



         [[[ Apologies for multiple copies of this message ]]]
                                                         
		 Post-Doc Positions Available

	     Design and Verification of Embedded Software
                                                                     
		    Embedded System Research Unit
                      Fondazione Bruno Kessler                       
 (formerly part of IRST - Centro per la Ricerca Scientifica e Tecnologica)
                           Trento, Italy                             
        
	Posted: November 26, 2008

The Embedded System Research Unit (http://es.fbk.eu) of the Bruno
Kessler Foundation, Trento, Italy, is seeking several candidates for
Post-Doc positions.

The activities will target algorithms, methodologies and tools for the
design and verification of Embedded Systems. The activities will mainly
focus on the following topics:

- Safety Analysis with focus on Dynamic Fault Tree Analysis
- Formal Requirements Analysis 
- Verification of Hybrid Systems
- Verification of SystemC TLM models 
- Optimization of Design and Installation of Aircraft Architectures

The activities will be carried out within the following projects: 
- MISSA (http://es.fbk.eu/index.php?n=Projects.MISSA)
- COCONUT (http://es.fbk.eu/index.php?n=Projects.COCONUT)
- COMPASS (http://compass.informatik.rwth-aachen.de)

The successful candidates will be enrolled with a fixed length
contract (2 to 3 years), and will be subject to a 6 months trial work
period.

Candidate Profile
=================

The ideal candidate should have a Ph.D degree in computer science,
mathematics or electronic engineering or proved equivalent experience,
combine solid theoretical background and software development skills,
and have some degree of autonomy.

The candidate should be able to work in a collaborative environment,
with a strong commitment to reaching research excellence and achieving
assigned objectives.

In depth previous experience in at least one of the following areas is
required:
- Symbolic Model Checking
- Propositional Satisfiability
- Satisfiability Modulo Theory 
- Constraint Solving and Optimization
- Formal Requirements Analysis
- Software Verification
- Software Synthesis
- Embedded System Design Languages (e.g. Verilog, VHDL, System C, and
  System Verilog)
- Safety Analysis (FTA, FMEA)

Applications and Inquiries
==========================

Interested candidates should inquire for further information and/or
apply by sending email to <jobs[at]fbk[dot]eu>.

Applications should contain a statement of interest, with a Curriculum
Vitae, and three reference persons. PDF format is strongly encouraged.

Emails will be automatically processed and should have

       'RIF: ES/postdoc' 

as subject.

Please note that the positions are already open, and they will be
evaluated as soon as they arrive.

The Embedded System Research Unit
=================================

The Embedded Systems Unit consists of about 15 persons, including
researchers, post-Doc, Ph.D. 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)

* Formal Requirements Analysis based on techniques for temporal logics
  (consistency checking, vacuity detection, input determinism,
  cause-effect analysis, realizability and synthesis)

* Formal Safety Analysis, based on the integration of traditional
  techniques (e.g. Fault-tree analysis, FMEA) with symbolic
  verification techniques.

The unit develops and maintains several tools:

* the NuSMV symbolic model checker (http://nusmv.fbk.eu)

* the MathSAT SMT solver (http://mathsat.fbk.eu)

* the Formal Safety Analysis Platform FSAP (http://fsap.fbk.eu)

* the Requirements Analysis Tool RAT (http://rat.fbk.eu)

The unit is currently involved in several research projects, funded by
the European Union (FP VI and FP VII), the European Space Agency, the
European Railway Agency, as well as in industrial technology transfer
projects. The projects aim at applying research results to key
application domains such as space, avionics, railways, hardware design
and mobile embedded applications.

The Embedded Systems Unit is part of Fondazione Bruno Kessler,
formerly Istituto Trentino di Cultura, a public research institute of
the Autonomous Province of Trento (Italy), founded in 1976. The
institute, through its center for the scientific and technological
research, is active in the areas of Information Technology,
Microsystems, and Physical Chemistry of Surfaces and
Interfaces. Today, FBK is an internationally recognized research
institute, collaborating with industries, universities, and public and
private laboratories in Italy and abroad. The institute's applied and
basic research activities aim at resolving real-world problems, driven
by the need for technological innovation in society and industry.

Location
========

Trento is a lively town of about 100.000 inhabitants, located 130 km
south of the border between Italy and Austria. It is well known for
the beauty of its mountains and lakes, and it offers the possibility
to practice a wide range of sports. Trento enjoys a rich cultural and
historical heritage, and it is the ideal starting point for day trips
to famous towns such as Venice or Verona, as well as to enjoy great
naturalistic journeys. Detailed information about Trento and its
region can be found at http://www.trentino.to/home/index.html?_lang=en.

Contact Person
==============

* Alessandro Cimatti
  mailto: <cimatti[at]fbk[dot]eu>
  http://es.fbk.eu/people/cimatti



More information about the Elsnet-list mailing list