• Expertini Resume Scoring: Our Semantic Matching Algorithm evaluates your CV/Résumé before you apply for this job role.
Germany Jobs Expertini

PhD/Postdoc Position for Automatic Formal Verification of Cyber-Physical Systems Using Reachability Analysis Job Opening In Munich – Now Hiring Technical University of Munich

PhD/Postdoc Position for Automatic Formal Verification of Cyber Physical Systems Using Reachability Analysis

    Germany Jobs Expertini Expertini Germany Jobs Munich Computer Occupations Phd/postdoc Position For Automatic Formal Verification Of Cyber Physical Systems Using Reachability Analysis

Job description

PhD/Postdoc Position for Automatic Formal Verification of Cyber-Physical Systems Using Reachability Analysis

11.04., Wissenschaftliches Personal

The research group Cyber-Physical Systems of Prof.

Matthias Althoff at the Technical University of Munich offers a PhD/Postdoc position in the area of automatic formal verification of cyber-physical systems.

The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international culture.

Expected Starting Date: 01 July-01 December


Closing Date for Applicants: 15 June


Duration: 3 years with a possible extension (individual duration for Postdocs).


Project and Job Description 


Formal verification of cyber-physical systems is an enabler of critical technologies that potentially cause fatalities (e.g. crash of an automated vehicle) or huge economic costs (e.g. blackout of a smart grid).

While there has been tremendous progress in formal verification of cyber-physical systems, existing approaches still require expert knowledge.

The main goal of this project is to develop essentially new methods to automatically verify cyber-physical systems.


Because none of the existing methods and tools for the formal verification of cyber-physical systems are fully automatic, these methods are currently stuck in academia and are not yet used regularly in industrial development processes.

We believe that fully automating the verification process is a crucial step towards a broad acceptance of this technology.

Our pre-studies have shown that full automation is possible in principle when formally verifying systems using reachability analysis.

However, our pre-studies also showed that further research is needed to guarantee user-defined error bounds of reachable sets for nonlinear and hybrid systems.

This project will exactly close this research gap: We will develop essentially new methods to ensure that algorithmic parameters are tuned so that the over-approximation of the computed reachable set is small enough to verify a given specification.


We will demonstrate our approach not only on ARCH benchmarks, but also on power systems in the CoSES lab at the Technical University of Munich.


Previous Work

Job Specifications

  • For PhD applicants: Excellent Master’s degree (or equivalent) in computer science, engineering, or related disciplines (typically mathematics, physics).

  • For Postdoc applicants: Excellent track record in computer science or engineering.

  • Fluency in spoken and written English is required.

  • Proficient in at least one programming language, e.g. MATLAB, C/C++, Python.

  • Highly motivated and keen on working in an international and interdisciplinary team.

  • Applicants with strong background in the following fields are preferred:

    Dynamical Systems

    Control Theory

    Formal Methods

    Reachability Analysis

    Computational Geometry

  • Context


    The applicant will be directly advised by Prof.

    Matthias Althoff ( style=color:#;>).

    Besides excellent skills for conducting innovative science, the candidate should also be talented in implementing research results on a real robot and lead teams of students.


    Our Offer


    PhD remuneration will be in line with the current German collective pay agreement TV-L E13 (around Euros/month in the first year, Euros/month second year).

    The Technical University of Munich is an equal opportunity employer committed to excellence through diversity.

    We explicitly encourage women to apply and preference will be given to disabled applicants with equivalent qualifications.


    Contact


    International candidates are highly encouraged to apply.

    Please submit your complete application (in English or German) via our application form: style=color:#;>.

    Fill out all mandatory fields (*) and kindly use “Verification of CPS” as the “Title of Position”.

    Please do not include a cover letter.

    Further similar job offerings will be announced on style=color:#;>.

    The position is suitable for disabled persons.

    Disabled applicants will be given preference in case of generally equivalent suitability, aptitude and professional performance.

    Data Protection Information:
    When you apply for a position with the Technical University of Munich (TUM), you are submitting personal information.

    With regard to personal information, please take note of the Datenschutzhinweise gemäß Art.

    13 Datenschutz-Grundverordnung (DSGVO) zur Erhebung und Verarbeitung von personenbezogenen Daten im Rahmen Ihrer Bewerbung.

    (data protection information on collecting and processing personal data contained in your application in accordance with Art.

    13 of the General Data Protection Regulation (GDPR)).

    By submitting your application, you confirm that you have acknowledged the above data protection information of TUM.

    Required Skill Profession

    Computer Occupations


    • Job Details

    Related Jobs

    Forschungszentrum Jülich hiring PhD-Position - Development of scalable superconducting quantum systems Job in Jülich, North Rhine-Westphalia, Germany
    Forschungszentrum Jülich
    Jülich, North Rhine-Westphalia, Germany
    Forschungszentrum Jülich hiring PhD position – Deep Learning for Dislocation Analysis in Electron Microscopy Job in Jülich, Nordrhein-Westfalen, Germany
    Forschungszentrum Jülich
    Jülich, Nordrhein-Westfalen, Germany
    Max Planck Institute for Biophysical Chemistry hiring PhD Student or Postdoc Position (f/m/d) Job in Göttingen, Lower Saxony, Germany
    Max Planck Institute for Biophysical Chemistry
    Göttingen, Lower Saxony, Germany
    Karlsruher Institut für Technologie hiring University Professorship (W3) for Physical Chemistry of Microscopic Systems Job in Karlsruhe, Baden-Württemberg, Germany
    Karlsruher Institut für Technologie
    Karlsruhe, Baden-Württemberg, Germany
    Forschungszentrum Jülich hiring PhD position - Inverse design of microstructures for novel sustainable structural metals Job in Jülich, Nordrhein-Westfalen, Germany
    Forschungszentrum Jülich
    Jülich, Nordrhein-Westfalen, Germany
    Hochschule Mannheim hiring Professur "Cyber Physical Systems" (w/m/d) Job in Mannheim, Baden-Württemberg, Germany
    Hochschule Mannheim
    Mannheim, Baden-Württemberg, Germany
    Technical University of Munich hiring PhD position: Evolution of Chemoreception in Parasitoids Job in Munich, Bavaria, Germany
    Technical University of Munich
    Munich, Bavaria, Germany
    Karlsruher Institut für Technologie hiring PostDoc position on the development of microbiopsies for soft X-ray imaging Job in Karlsruhe, Baden-Württemberg, Germany
    Karlsruher Institut für Technologie
    Karlsruhe, Baden-Württemberg, Germany
    Leibniz-Institut für Virologie hiring Postdoc position (f/m/x) for the department of Viral Zoonoses – One Health Job in Hamburg, Hamburg, Germany
    Leibniz-Institut für Virologie
    Hamburg, Hamburg, Germany
    Robert Bosch GmbH hiring PhD - Property Prediction for Embedded (AI) Systems Job in Renningen, Baden-Württemberg, Germany
    Robert Bosch GmbH
    Renningen, Baden-Württemberg, Germany
    Technische Universität Ilmenau hiring PostDoc Position (f/m/d) Job in Ilmenau, Thuringia, Germany
    Technische Universität Ilmenau
    Ilmenau, Thuringia, Germany
    airbus hiring PhD Position: Spaceborne quantum communication Job in Stuttgart, Baden-Württemberg, Germany
    airbus
    Stuttgart, Baden-Württemberg, Germany
    Fraunhofer hiring PhD Position: Nano and micro structuring of carbon electrode surface Job in Pfinztal, Baden-Württemberg, Germany
    Fraunhofer
    Pfinztal, Baden-Württemberg, Germany

    Unlock Your PhD Postdoc Potential: Insight & Career Growth Guide


    Real-time PhD Postdoc Jobs Trends (Graphical Representation)

    Explore profound insights with Expertini's real-time, in-depth analysis, showcased through the graph here. Uncover the dynamic job market trends for PhD Postdoc in Munich, Germany, highlighting market share and opportunities for professionals in PhD Postdoc roles.

    347 Jobs in Germany
    347
    22 Jobs in Munich
    22
    Download Phd Postdoc Jobs Trends in Munich and Germany

    Are You Looking for PhD/Postdoc Position for Automatic Formal Verification of Cyber Physical Systems Using Reachability Analysis Job?

    Great news! is currently hiring and seeking a PhD/Postdoc Position for Automatic Formal Verification of Cyber Physical Systems Using Reachability Analysis to join their team. Feel free to download the job details.

    Wait no longer! Are you also interested in exploring similar jobs? Search now: .

    The Work Culture

    An organization's rules and standards set how people should be treated in the office and how different situations should be handled. The work culture at Technical University of Munich adheres to the cultural norms as outlined by Expertini.

    The fundamental ethical values are:

    1. Independence

    2. Loyalty

    3. Impartiapty

    4. Integrity

    5. Accountabipty

    6. Respect for human rights

    7. Obeying Germany laws and regulations

    What Is the Average Salary Range for PhD/Postdoc Position for Automatic Formal Verification of Cyber Physical Systems Using Reachability Analysis Positions?

    The average salary range for a varies, but the pay scale is rated "Standard" in Munich. Salary levels may vary depending on your industry, experience, and skills. It's essential to research and negotiate effectively. We advise reading the full job specification before proceeding with the application to understand the salary package.

    What Are the Key Qualifications for PhD/Postdoc Position for Automatic Formal Verification of Cyber Physical Systems Using Reachability Analysis?

    Key qualifications for PhD/Postdoc Position for Automatic Formal Verification of Cyber Physical Systems Using Reachability Analysis typically include Computer Occupations and a list of qualifications and expertise as mentioned in the job specification. The generic skills are mostly outlined by the . Be sure to check the specific job listing for detailed requirements and qualifications.

    How Can I Improve My Chances of Getting Hired for PhD/Postdoc Position for Automatic Formal Verification of Cyber Physical Systems Using Reachability Analysis?

    To improve your chances of getting hired for PhD/Postdoc Position for Automatic Formal Verification of Cyber Physical Systems Using Reachability Analysis, consider enhancing your skills. Check your CV/Résumé Score with our free Tool. We have an in-built Resume Scoring tool that gives you the matching score for each job based on your CV/Résumé once it is uploaded. This can help you align your CV/Résumé according to the job requirements and enhance your skills if needed.

    Interview Tips for PhD/Postdoc Position for Automatic Formal Verification of Cyber Physical Systems Using Reachability Analysis Job Success

    Technical University of Munich interview tips for PhD/Postdoc Position for Automatic Formal Verification of Cyber Physical Systems Using Reachability Analysis

    Here are some tips to help you prepare for and ace your PhD/Postdoc Position for Automatic Formal Verification of Cyber Physical Systems Using Reachability Analysis job interview:

    Before the Interview:

    Research: Learn about the Technical University of Munich's mission, values, products, and the specific job requirements and get further information about

    Other Openings

    Practice: Prepare answers to common interview questions and rehearse using the STAR method (Situation, Task, Action, Result) to showcase your skills and experiences.

    Dress Professionally: Choose attire appropriate for the company culture.

    Prepare Questions: Show your interest by having thoughtful questions for the interviewer.

    Plan Your Commute: Allow ample time to arrive on time and avoid feeling rushed.

    During the Interview:

    Be Punctual: Arrive on time to demonstrate professionalism and respect.

    Make a Great First Impression: Greet the interviewer with a handshake, smile, and eye contact.

    Confidence and Enthusiasm: Project a positive attitude and show your genuine interest in the opportunity.

    Answer Thoughtfully: Listen carefully, take a moment to formulate clear and concise responses. Highlight relevant skills and experiences using the STAR method.

    Ask Prepared Questions: Demonstrate curiosity and engagement with the role and company.

    Follow Up: Send a thank-you email to the interviewer within 24 hours.

    Additional Tips:

    Be Yourself: Let your personality shine through while maintaining professionalism.

    Be Honest: Don't exaggerate your skills or experience.

    Be Positive: Focus on your strengths and accomplishments.

    Body Language: Maintain good posture, avoid fidgeting, and make eye contact.

    Turn Off Phone: Avoid distractions during the interview.

    Final Thought:

    To prepare for your PhD/Postdoc Position for Automatic Formal Verification of Cyber Physical Systems Using Reachability Analysis interview at Technical University of Munich, research the company, understand the job requirements, and practice common interview questions.

    Highlight your leadership skills, achievements, and strategic thinking abilities. Be prepared to discuss your experience with HR, including your approach to meeting targets as a team player. Additionally, review the Technical University of Munich's products or services and be prepared to discuss how you can contribute to their success.

    By following these tips, you can increase your chances of making a positive impression and landing the job!

    How to Set Up Job Alerts for PhD/Postdoc Position for Automatic Formal Verification of Cyber Physical Systems Using Reachability Analysis Positions

    Setting up job alerts for PhD/Postdoc Position for Automatic Formal Verification of Cyber Physical Systems Using Reachability Analysis is easy with Germany Jobs Expertini. Simply visit our job alerts page here, enter your preferred job title and location, and choose how often you want to receive notifications. You'll get the latest job openings sent directly to your email for FREE!