[TYPES/announce] Postdoc position: Formal Methods (Munich, Germany)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications for a post-doctoral researcher position in the field of formal methods, in Munich, Germany, the city of the Oktoberfest. The successful candidate is expected to advance the state of the art of abstraction-based synthesis and verification 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 languages and problem specific compiler for synthesis software. Required qualifications: * PhD degree in Computer Science, Systems and Control, 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; reachability analysis; software development. * 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: September 19, 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 https://urldefense.com/v3/__http://www.reiszig.de/gunther/__;!!IBzWLUs!EgjqJNBwkxQajNf9KNtq1VHZe5mDmNadGClXcuNGBg8XbbzKAivNcbY_sPbUIyx4-_c3jb83jy2igA$ Email: gunther2...@reiszig.de, Subject: Postdoc ref 9y22x Bundeswehr University Munich, Germany Department of Aerospace Engineering Institute of Control Engineering
[TYPES/announce] Postdoc position: Formal Verification/Synthesis (Munich, Germany, deadline: August 28, 2021)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications for an EU funded post-doctoral researcher position in the field of formal verification/synthesis. 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 languages and compiler for synthesis software. Required qualifications: * PhD degree in Computer Science, Systems and Control, 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 verification/synthesis; professional grade software development. * 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: August 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 Bundeswehr University Munich, Germany Department of Aerospace Engineering Institute of Control Engineering