Postdoctoral in formal analysis/verification of autonomous SW/HW systems

Information about the department
The Department of Computer Science and Engineering is a joint department at Chalmers University of Technology and the University of Gothenburg, with activities on two campuses in the city of Gothenburg. The department has around 210 employees from over 30 countries. Our research has a wide span, from theoretical foundations to applied systems development. We provide high quality education at Bachelor's, Master's and graduate levels, offering over 120 courses each year. We also have extensive national and international collaborations with academia, industry and society.

The Functional Programming Division conducts world class research in functional programming, both implementation and application. Through a major grant from the Wallenberg Autonomous Systems Program (WASP), Sweden’s largest individual research program ever, a research group has been created focusing on using functional languages and techniques from functional languages research, to research technologies and methodologies for creating correct, robust and secure HW/SW systems for autonomous systems.

Major responsibilities 
The post-docs will work as part of a team creating an environment in which correct, robust and secure systems can be created through a process involving a mixture of formal verification steps and trusted transformations. A particular focus will be the design and verification of algorithms based on deep learning. The practical work will range the whole way from creating domain specific languages used to capture the unique requirements of autonomous systems to implementing low-level interfaces to commercial synthesis and place and route tools. We place a strong emphasis on the development and implementation of our ideas in prototype systems and applying them to realistic test cases. As a result, a significant amount of practical "hands-on" work is expected in addition to theoretical work and software development.

The post-docs will be supervised by Prof. Carl-Johan Seger and will join a team of several Ph.D. students and post-docs.

Position summary
Full-time temporary employment. The position is limited to a maximum of two years (1+1).

Qualifications
To qualify for the position of postdoc, you must have a doctoral degree in computer science, computer engineering, or a closely related discipline; the degree should generally not be older than three years. You are expected to be somewhat accustomed to teaching, and to demonstrate good potential within research and education. You may apply if you have not completed all requirements for your degree, provided you will have before the position at Chalmers starts.

Competitive candidates will have a strong computer science background, both theoretical and practical, with emphasis on programming languages techniques; expertise in some of the areas of interests for this position; a passion for high-quality software research and development; and excellent analytical and communication skills. Prior publications are meritorious.

Whereas both Swedish and English are used in undergraduate courses, English is the working language for research in Chalmers's Department of Computer Science and Engineering. Thus, fluency in English is mandatory for candidates, but knowledge of Swedish is not required. Chalmers offers Swedish courses.

Chalmers continuously strives to be an attractive employer. Equality and diversity are substantial foundations in all activities at Chalmers.

Our offer to you
Chalmers offers a cultivating and inspiring working environment in the dynamic city of Gothenburg. 
Read more about working at Chalmers and our benefits for employees.

APPLY HERE

Application deadline: 31st May, 2020

For questions, please contact:
Professor Carl-Johan Seger, CSE, secarl@chalmers.se
+46 31 72-391 28 21 

*** Chalmers declines to consider all offers of further announcement publishing or other types of support for the recruiting process in connection with this position. *** 
   



Chalmers University of Technology conducts research and education in engineering sciences, architecture, technology-related mathematical sciences, natural and nautical sciences, working in close collaboration with industry and society. The strategy for scientific excellence focuses on our eight Areas of Advance; Building Futures, Energy, Information & Communication Technology, Life Science, Materials Science, Nanoscience & Nanotechnology, Production and Transport. The aim is to make an active contribution to a sustainable future using the basic sciences as a foundation and innovation and entrepreneurship as the central driving forces. Chalmers has around 11,000 students and 3,000 employees. New knowledge and improved technology have characterised Chalmers since its foundation in 1829, completely in accordance with the will of William Chalmers and his motto: Avancez!