[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Sirs, I would like to point you to the announcement of a Postdoc position in Munich, Germany, the city of the Oktoberfest. I would appreciate if you could advertise the position in your department or forward it to whomever you deem appropriate. The announcement is attached as a pdf file, and a plain text version can be found at the end of this email. Thank you. Sincerely, Gunther Reissig ==================================================================== Gunther Reißig, Dr. habil. Professor Bundeswehr University Munich Department of Aerospace Engineering LRT-15, Institute of Control Engineering 85577 Neubiberg (Munich) Germany -------------------------------------------------------------------- E-Mail: gunther.reis...@unibw-muenchen.de WWW: http://www.reiszig.de/gunther/ FAX: +49-89-6004-4565 Skype: guntherreissig ==================================================================== Postdoc position: Formal methods in control (Munich, Germany) Bundeswehr University Munich, Germany Department of Aerospace Engineering Institute of Control Engineering We invite applications for an EU funded post-doctoral researcher position in the field of formal methods in control. The successful candidate is expected to advance the state of the art of abstraction-based synthesis and verification for nonlinear continuous-state plants and to extend existing synthesis software. Depending on background and interests of the candidate, possible research foci are: automated determination of error bounds for floating-point implementations of numerical algorithms; parallelizable on-the-fly synthesis algorithms; adaptive state discretization; input-output interface of synthesis software. Required qualifications: * PhD degree in Systems and Control, Computer Science, Mathematics, or a related field. Exceptionally qualified and experienced candidates with an MSc degree will also be considered. * Solid experience in one of the following fields: Set-valued numerics; validated floating-point arithmetic; dynamic programming; formal methods in control. * Programming proficiency (C or Ada). * Efficient communication skills in English. The position is full-time and paid according to pay scale ``TVOeD Bund, E 14''. Actual income depends on marital status and professional experience, and starts from EUR 33000 net p.a. (E-13/EUR 31000 for applicants with an MSc degree). Reimbursement for travel expenses to conferences. No teaching load. The position is available immediately and for a duration until April 2023. It is open to applicants worldwide; no special security clearance necessary. Your complete application consists of the following documents, which should be sent as a single PDF file to the email address given below (deadline: July 28, 2021): * CV * One-page cover letter (clearly indicating available start date as well as relevant qualifications, experience and motivation) * University certificates and transcripts (BSc, MSc and PhD degrees) * Up to three letters of recommendation * List of publications * Possibly an English language certificate All documents should be in English or German. Gunther Reissig http://www.reiszig.de/gunther/ Email: gunther2...@reiszig.de, Subject: Postdoc ref 9y22x
AusschreibungEmailA.pdf
Description: Binary data