PostDoc in Cyber-Physical Systems: Join our team as a Postdoctoral Researcher to conduct independent research in the field of formal analysis of autonomous cyber-physical systems (ACPS). The position involves developing cutting-edge design and verification techniques rooted in formal methods to ensure the safety and reliability of learning-enabled ACPS. This opportunity offers collaboration with leading national and international academic and industrial groups, funded by the prestigious Wallenberg AI, Autonomous Systems, and Software Program (WASP).
PostDoc in Formal Analysis of Autonomous Cyber-Physical Systems
Designation: Postdoctoral Researcher
Research Area: Formal Analysis of Autonomous Cyber-Physical Systems
Location: Gothenburg, Sweden
Eligibility/Qualification:
- Hold a doctoral degree in Computer Science, Electrical Engineering, or related disciplines, awarded no more than three years prior to the application deadline.
- Track record of publications in relevant fields.
- Experience in cyber-physical systems, formal methods, data science, or artificial intelligence.
- Excellent proficiency in written and spoken English; knowledge of Swedish is not required.
Job Description:
- Lead a research project in collaboration with project PIs and drive its implementation (80%).
- Mentor and co-supervise junior researchers and contribute to graduate-level teaching (20%).
- Develop and implement scientific ideas, establish research collaborations, and communicate results through publications and presentations.
- Focus on topics such as compositional contract-based design, correct-by-design methods, specification formalism, statistical verification, and runtime verification under uncertainty.
How to Apply: Interested candidates should submit the following documents electronically as PDF files:
- Curriculum Vitae (CV) with complete list of publications and details of previous teaching and pedagogical experiences.
- Personal letter (2-3 pages) introducing yourself, describing previous research fields and main results, and outlining future goals and research focus.
- Attested copies of completed education, grades, and other certificates.
- Contact information for two references.
Please use the button at the bottom of the page to access the application form. The application should be marked with Ref 2023-0434 and written in English. The deadline for applications is April 15, 2024.
Last Date for Apply: 15 April 2024
For questions, please contact: Assistant Professor Hazem Torfah Computing Science Division hazemto@chalmers.se
