Visit www.acad.jobs with all Jobs for Academics!
                    
Position: Postdoctoral position in Verification of Machine Learning Algorithms
Institution: Chalmers University of Technology
Department: Department of Computer Science and Engineering
Location: Gothenburg, Västra Götaland County, Sweden
Duties: The postdoctoral researcher will carry out independent research on testing and verification of machine learning algorithms, in line with the funded project proposal. The long term goal is to develop methods to design neural networks and machine learning based software with guaranteed properties. The position divided into 80% research and 20% departmental duties (typically teaching)
Requirements: To qualify for the position of postdoc, you must have a doctoral degree in computer science or a related field. The degree should generally not be older than three years. Competitive candidates are those who have a strong background in at least one of functional programming, formal methods and machine learning, together with a willingness to combine them. You should not only be a skilled researcher, but also an excellent programmer and software tool builder, and preferably a functional programmer. We will pay particular attention to your ability to convey research ideas in writing and in presentations. English is the working language for research and Masters level teaching at the Department of Computer Science and Engineering. In this light, fluency in English is mandatory, while knowledge of Swedish is not required
   
Text: Postdoctoral position in Verification of Machine Learning Algorithms Ref REF 2019-0069 Apply Mail a friend Share Share Tweet Information about the department The department of Computer Science and Engineering is a joint department between Chalmers University of Technology and the University of Gothenburg. The department has around 270 employees from over 30 countries. The research spans 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. Our department is host to the Chalmers AI Research Centre ( CHAIR ), which funds this postdoctoral position. CHAIR will provide an excellent research environment, colleagues working on a broad range of topics in AI, and links to industry. The Functional Programming group at Chalmers is world-class. The group is applying its expertise in property based testing and formal verification to AI and Machine Learning algorithms, particularly in the areas of autonomous driving and natural language processing. This recruitment will contribute to this important research direction. An important aspect of this employment is that the postdoc will be given ample time to develop his/her own research directions. Major responsibilities The postdoctoral researcher will carry out independent research on testing and verification of machine learning algorithms, in line with the funded project proposal , working with Mary Sheeran and colleagues in the FP group (Carl Seger, Koen Claessen, John Hughes) and in the Formal Methods group (Moa Johansson). The long term goal is to develop methods to design neural networks and machine learning based software with guaranteed properties. Position summary The position provides full time temporary employment for a maximum of two years (1 1). It is divided into 80% research and 20% departmental duties (typically teaching). Our department and research group have too few female researchers. We welcome applications from females. Chalmers is committed to greatly improving the gender balance of its research and teaching staff, and to improving the working environment for all. The GENIE initiative has received significant resources from the Chalmers Trust. Prof. Sheeran is in the three person group that leads GENIE, and is also working to improve gender balance in the CHAIR centre. Applicants with an interest in contributing to this work will be welcome. The position is intended to start in the first half of 2019. Qualifications To qualify for the position of postdoc, you must have a doctoral degree in computer science or a related field. The degree should generally not be older than three years. Competitive candidates are those who have a strong background in at least one of functional programming, formal methods and machine learning, together with a willingness to combine them. You should not only be a skilled researcher, but also an excellent programmer and software tool builder, and preferably a functional programmer. We will pay particular attention to your ability to convey research ideas in writing and in presentations. English is the working language for research and Masters level teaching at the Department of Computer Science and Engineering. In this light, fluency in English is mandatory, while knowledge of Swedish is not required. However, Chalmers offers Swedish courses for those who are interested. Chalmers continuously strives to be an attractive employer. Equality and diversity are substantial foundations in all activities at Chalmers. Our offer to you Gothenburg is often referred to as the "heart of Scandinavia". The videos below give an impression of what it's like to live and study in Gothenburg. Chalmers: https://www.youtube.com/watch?v=IvnSWqIOklQ Gothenburg: https://www.youtube.com/watch?v=QkCgd9YfZ34 About working at Chalmers and benefits for employees. Application procedure The application should be marked with Ref 20190068 and written in English. The application should be sent electronically and be attached as pdf-files: CV: (Please name the document as: CV, Surname, Ref. number) including: • details about education and work history • complete list of publications • research experience • teaching experience • Industrial experience • two references whom we can contact (name, title and affiliation, email address) Personal letter: (Please name the document as: Personal letter, Family name, Ref. number) including: • 1-3 pages where you introduce yourself and present your qualifications • Previous research fields and main research results. • Future goals and research directions Other documents: • A document that you have written (for example a paper, tech report or thesis) • Attested copies of completed education, grades and other certificates • Two letters of recommendation together with the name and contact information of the referees who wrote them. It is preferable that you directly include letters of recommendation; we typically get a large number of applications, and it is not feasible for us to request letters for all applicants. Please use the button at the foot of the page to reach the application form. The files may be compressed (zipped). Application deadline: 15 March, 2019 Interviews will take place in April 2019 For questions, please contact: Professor Mary Sheeran, CSE, mary.sheeran@chalmers.se *** 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! URL to this page http://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job&rmjob=7203&rmlang=UK
Please click here, if the Job didn't load correctly.







Please wait. You are being redirected to the Job in 3 seconds.