The Software Engineering Research unit at Fondazione Bruno Kessler (FBK) conducts research in two strategic areas of software design and development, for which the available technologies are largely unsatisfactory: (1) Requirements engineering; (2) Code analysis and testing. The scientific challenges in the two areas deal with the management of software requirements, the automated generation of test cases and the detection of faults for high variability and evolving systems. More information about the SE Unit is available at http://se.fbk.eu.
The research work concerns the development of novel model-based techniques and methodology for the efficient verification and validation of complex systems, such as software product lines and systems based on extended reality, in order to guarantee their correct functioning. The candidates are expected to carry out high quality research in line with the objectives of the Software Engineering research unit as well as the objectives of the European Horizon 2020 project iv4XR, which concerns the testing of extended reality based systems. Furthermore, the candidates are expected to actively participate in the writing of scientific articles.
The ideal candidates should have:
- PhD degree in one of the following areas: software testing, formal methods, optimization, or related
- Relevant experience in one or more of the following topics:
- Model driven development
- Automated test generation
- Formal methods
- Artificial intelligence
- Software agents
- Strong programming skills in Java, C/C++, Python
- Excellent command of the English language
- Ability to work in a collaborative environment
- Attitude to problem solving
Number of positions: 2
Type of contract: Fixed term contract (full time)
Start date: March 2020
Duration: 2 years (with possibility to extend the contract depending on availability of funding)
Gross annual salary: about € 39.500
Workplace: Trento - Povo
Benefits: flexi-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation, social security, public transport, sports facilities. More info at https://www.welfarefbk.info/.
Interested candidates are requested to submit their application by completing the online form
(https://jobs.fbk.eu/). Please make sure that your application contains the following attachments (in pdf format):
- detailed CV including a list of publications
- statement of research interests
- two/three professional references (e-mails and/or phone numbers)
Application deadline: 8 January, 2020 23:59 CET
New Application deadline: 29 January, 2020 23:59 CET
Please read our Regulations on the recruitment and selection of fixed-term personnel (effective from October 15, 2018) before completing your application.
For further information, please contact the Human Resources Service at email@example.com