A Developer Position In The Field Of Formal Methods

6 giorni fa

Trento, Italia Fondazione Bruno Kessler A tempo pieno

FBK is a private research institution devoted to excellence in research in numerous disciplines and designated to the role of keeping the Autonomous Province of Trento in the mainstream of European and international research. Each research area is assigned to a specific research center, of which there are eleven total. Information regarding the research centers, their activities and production is available at
Workplace description
The FBK Center for Digital Industry focuses its research on digital technologies for the various domains in industry (e.g., aerospace, railway, automotive, energy, agriculture, manufacturing, etc.) by creating applications for critical systems, adaptive and autonomous systems, advanced perception, diagnostics and prediction systems. It is involved in multiple European research projects and collaborates with numerous institutions and multinational companies on strategic projects with a high innovation content – including the European Space Agency (ESA) and the Italian Railways Network (RFI).
The position is opened by the Formal Methods for System and Software Research Unit (FM Unit) of the Digital Industry Center of FBK. The FM Unit consists of about 35 people, including researchers, post-docs, PhD students, Master Students, and programmers. The Unit carries out basic and applied research, tool development and technology transfer in the field of formal methods and model-based design for complex embedded systems.
FBK actively seeks diversity and inclusion in the workplace and is also committed in promoting gender equality.
Job Description
The activities will be scoped within one or more of the several industrial, technology transfer, or research project the FM unit is involved in, and will focus on one or more of the following topics: Development of software and tools (e.g., nuXmv, OCRA, xSAP, NuRV, MathSAT, Kratos, COMPASS, COMPASTA and TASTE) supporting the formal design, verification and validation, and dependability assessment of complex systems; Design, development, debugging, testing and deployment of (embedded) software; Documentation of requirements and software according to the different national and international standards adopted in specific projects.
Depending on the experience and seniority of the developers, the activities will include not only programming, but active participation in the analysis of requirements, modelling, and careful design of the software. Results of the design phase are a set of text documents, software interfaces, standard diagrams, etc.
The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the FM Unit. Moreover, the candidate may interact with industrial partners and partners of research projects.

Job Requirements
The ideal candidate should have: Bachelor or Master degree in Computer Science, Mathematics or Electronic Engineering or related fields; Good programming skills in at least one programming language among C, C++, Python, Java; Hands-on experience with standard software development environments under Linux or MS Windows (TM); Oral and written proficiency in English.
Other professional skills nice-to-have: Background knowledge and previous experience in the following areas will be considered favorably:
Software engineeringMathematical logicModel-based designFormal verification techniques and toolsSatisfiability and constraint solving;
Development of embedded systems; Experience with model-based design tools, e.g., Matlab, Scade; Experience in developing system-level applications as plugins for the Eclipse Environment; Experience with parser generators and frameworks like ANTLR, XText or other similar tools; Experience with issue trackers and versioning control systems; Ability to work in a collaborative environment and deliver in research and/or industrial projects; Accuracy, flexibility, proactivity, and goal-oriented attitude.
Employment
Type of contract: Fixed term contract
Working hours: Full-time
Start date: Preferably in July 2024
Duration: 1 year (with the possibility to extend the contract depending on funding)
Gross annual salary: about 27.800 € plus objectives achievement bonus
Benefits: lexi-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation, social security (SANIFONDS), family-work balance, free training courses, support on bank account opening, discount on public transport, sport, language course fees. More info at
Workplace: Povo, Trento (Italy)
Application
Interested candidates are requested to submit their application by completing the online form ( Please make sure that your application contains the following attachments (in pdf format): Detailed CV Motivational letter
Application deadline: 12th of June,2024
New application deadline: 26th of June, 2024
Please read our Recruitment Regulations before completing your application.
For further information, please contact the Human Resources Services at ******** .

  • Internship In The Field Of "Machine Learning For Multitemporal Space Exploration"

    2 settimane fa

    Trento, Trentino-Alto Adige, Italia Fondazione Bruno Kessler - Fbk A tempo pieno

    Internship in the field of "Machine learning for multitemporal space exploration" The Bruno Kessler Foundation is a research and innovation institution based in Trento. The Foundation operates in a plurality of disciplinary fields and aims to achieve excellence in science and technology through 2 science clusters, one dedicated to technology and innovation...

  • A Research Position In Digital History For The Erc Project Holylab

    1 settimana fa

    Trento, Italia Fondazione Bruno Kessler - Fbk A tempo pieno

    A Research position in Digital History for the ERC project 'HOLYLAB' FBK is a private research institution based in Trento (Italy), operating in different scientific fields and disciplines. As such, it keeps the Autonomous Province of Trento within the mainstream of international research. FBK comprises 12 research centres with activities and production...

  • Internship/Master Thesis Fbk-Midac On Batteries

    3 settimane fa

    Trento, Italia Fondazione Bruno Kessler - Fbk A tempo pieno

    Internship/Master thesis FBK-MIDAC on batteries - Development and validation of thermal management models for lithium-ion batteries The Sustainable Energy Centre is searching for a young student interested in carrying out an internship/master thesis experience in the field of lithium-ion batteries in partnership with a battery manufacturer (MIDAC SpA,...

  • Software Developer HMI

    2 settimane fa

    Trento, Trentino-Alto Adige, Italia Blm Group A tempo pieno

    Software Developer HMI is the role dedicated to the design and development of new information systems applied to BLM GROUP products.The Software Developer is responsible for all processes related to the design and implementation of new systems: planning the design work, defining parameters, writing, coding and testing. Analysing and developing software...

  • Expert Windows Developer

    4 settimane fa

    Trento, Italia Praim Srl A tempo pieno

    The focus of the position will be on the development and enhancement of the Windows-based products developed by Praim including Windows-compatible software (agents/clients) and Windows customized OEM images. The candidate will be part of the Research and Development (R&D) department of Praim and will lead the Windows team. Praim products and firmware are...

  • Expert Windows Developer

    2 settimane fa

    Trento, Trentino-Alto Adige, Italia Praim Srl A tempo pieno

    The focus of the position will be on the development and enhancement of the Windows-based products developed by Praim including Windows-compatible software (agents/clients) and Windows customized OEM images. The candidate will be part of the Research and Development (R&D) department of Praim and will lead the Windows team.Praim products and firmware are...

  • PLC Programmer

    2 settimane fa

    Trento, Trentino-Alto Adige, Italia Bridge of Hope A tempo pieno

    PLC PROGRAMMER (Software Developer)Salary Range: € RALLocation: Bolzano ProvinceJoin a global provider of High- tech solutions and innovative design of ropeway systems.Our Client is a prominent company specializing in the design, manufacturing, and installation of ropeway systems. Based in Italy and present globally, it is renowned for its innovative...

  • Field Services Technician

    4 settimane fa

    Trento, Italia Siemens Energy A tempo pieno

    Field Services Technician - power transformers About the Role Location Italy Trento Trento TN Remote vs. Office Office/Site only Company Siemens Energy Transformers Organization Grid Technologies Business Unit Service Full / Part time Full-time Experience Level Experienced Professional A Snapshot of Your Day Being a part of Service...

  • Field Services Technician

    2 settimane fa

    Trento, Trentino-Alto Adige, Italia Siemens Energy A tempo pieno

    A Snapshot of Your DayBeing a part of Service department at Siemens Energy Transformers means you'll gain deep insights in the ambitious work activities of a Power Transformers factory. You'll have the opportunity to face with a broad variety of customers and projects in different countries, working with a highly motivated and international team.How You'll...

  • Phd Opportunity In Quantum Photonics In The Dolomites

    1 settimana fa

    Trento, Italia Quantum Flagship A tempo pieno

    PhD opportunity in Quantum Photonics in the Dolomites The NanoScience Laboratory is mainly leading experimental research in the field of photonics. In particular, a part of the group is pursuing research activities comprising the design of photonic circuits – featuring different levels of integration with control electronics – used to run novel quantum...

  • Phd Opportunity In Quantum Photonics In The Dolomites

    3 settimane fa

    Trento, Italia Quantum Flagship A tempo pieno

    PhD opportunity in Quantum Photonics in the DolomitesThe NanoScience Laboratory is mainly leading experimental research in the field of photonics. In particular, a part of the group is pursuing research activities comprising the design of photonic circuits – featuring different levels of integration with control electronics – used to run novel quantum...

  • Research Internship At The Oecd Trento Centre For Local Development

    3 settimane fa

    Trento, Italia University Of Groningen A tempo pieno

    Research internship at the OECD Trento Centre for Local Development Wednesday, 26 June 2019 10:06 Research internship at the OECD Trento Centre for Local Development I would like to draw your attention to an opportunity of a research internship at the Spatial Productivity Lab, which is a part of the OECD Trento Centre for Local Development located in Trento,...

  • Phd Opportunity In Quantum Photonics In The Dolomites

    2 settimane fa

    Trento, Trentino-Alto Adige, Italia Quantum Flagship A tempo pieno

    PhD opportunity in Quantum Photonics in the DolomitesThe NanoScience Laboratory is mainly leading experimental research in the field of photonics. In particular, a part of the group is pursuing research activities comprising the design of photonic circuits – featuring different levels of integration with control electronics – used to run novel quantum...

  • Integration Developer

    4 settimane fa

    Trento, Italia Thread Solutions A tempo pieno

    Workplace: Trento/remote Type of contract: full-time We are looking for an "Integration Developer" profile to be included in our team of developers. The candidate will mainly deal with the development of integrated systems consisting of microservices in heterogeneous areas (retail, energy, public administration, health ..) and will also participate in...

  • Project Title: Design Of An Intelligent Power Charging Station For The Jumanji Rover

    4 settimane fa

    Trento, Italia Fondazione Bruno Kessler - Fbk A tempo pieno

    Project Title: design of an intelligent power charging station for the Jumanji rover The Foundation is looking for a proactive and dynamic young candidate with good organizational and relational skills and an inclination for teamwork, strongly motivated to work on innovative projects featuring strong technological components. We can offer an important...

  • Developer - Innovative Agricultural Data Platforms

    2 settimane fa

    Trento, Trentino-Alto Adige, Italia Fondazione Bruno Kessler - Fbk A tempo pieno

    FBK is a private research institution based in Trento (Italy), operating in different scientific fields and disciplines. As such, it keeps the Autonomous Province of Trento within the mainstream of international research. FBK comprises 12 research centers with activities and production available at Workplace Description The Digital Industry Center is one...

  • Test Field Operator

    4 settimane fa

    Trento, Italia Siemens Energy A tempo pieno

    **A Snapshot of Your Day**: You will become a member of our Test Field team in our productive plant in Trento. During your activity you will be familiar in testing liquid immersed power transformers. Above the operative technical skills, the contact with international customers and the ability to work in a team will be part of your everyday work. **How...

  • Integration Developer

    1 settimana fa

    Trento, Italia Thread Solutions A tempo pieno

    Workplace: Trento/remoteType of contract: full-time We are looking for an "Integration Developer" profile to be included in our team of developers. The candidate will mainly deal with the development of integrated systems consisting of microservices in heterogeneous areas (retail, energy, public administration, health ..) and will also participate in the...

  • Field Services Technician

    7 giorni fa

    Trento, Italia Siemens Energy A tempo pieno

    **A Snapshot of Your Day** Being a part of Service department at Siemens Energy Transformers means you’ll gain deep insights in the ambitious work activities of a Power Transformers factory. You'll have the opportunity to face with a broad variety of customers and projects in different countries, working with a highly motivated and international...

  • Project Title: Design Of An Intelligent Power Charging Station For The Jumanji Rover

    1 settimana fa

    Trento, Italia Fondazione Bruno Kessler - Fbk A tempo pieno

    Project Title: design of an intelligent power charging station for the Jumanji rover The Foundation is looking for a proactive and dynamic young candidate with good organizational and relationalskills and an inclination for teamwork, strongly motivated to work on innovative projects featuring strongtechnological components.We can offer an important training...