Search
 
 
  Engleski
 
 
 
Open in this window (click to change)
Forum@DeGiorgi: Početna
Forum za podršku nastavi na PMF-MO
Login Registracija FAQ Smajlići Članstvo Pretražnik Forum@DeGiorgi: Početna

Postdoc position: Formal methods in control (Munich, DE) (informacija)

Moja sarma
 
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Ostalo - ozbiljno -> Diplomski, magisteriji, doktorati,...
Prethodna tema :: Sljedeća tema  
Autor/ica Poruka
vsego
Site Admin
Site Admin


Pridružen/a: 06. 10. 2002. (22:07:09)
Postovi: (3557)16
Spol: zombi
Sarma = la pohva - posuda
852 = 1066 - 214
Lokacija: /sbin/init

PostPostano: 1:35 ned, 18. 7. 2021    Naslov: Postdoc position: Formal methods in control (Munich, DE) Citirajte i odgovorite

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:[list][*] 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.[/list:u]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):[list][*] 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[/list:u]All documents should be in English or German.

Gunther Reissig
http://www.reiszig.de/gunther/
Email: gunther2016@reiszig.de, Subject: Postdoc ref 9y22x
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: gunther2016@reiszig.de, Subject: Postdoc ref 9y22x



_________________
U pravilu ignoriram pitanja u krivim topicima i kodove koji nisu u [code]...[/code] blokovima.
Takodjer, OBJASNITE sto vas muci! "Sto mi je krivo?", bez opisa u cemu je problem, rijetko ce zadobiti moju paznju.
Drzim prodike



AusschreibungEmailA.pdf
 Description:

Download
 Filename:  AusschreibungEmailA.pdf
 Filesize:  40.15 KB
 Downloaded:  9 Time(s)

[Vrh]
Korisnički profil Pošaljite privatnu poruku
Prethodni postovi:   
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Ostalo - ozbiljno -> Diplomski, magisteriji, doktorati,... Vremenska zona: GMT + 01:00.
Stranica 1 / 1.

 
Forum(o)Bir:  
Ne možete otvarati nove teme.
Ne možete odgovarati na postove.
Ne možete uređivati Vaše postove.
Ne možete izbrisati Vaše postove.
Ne možete glasovati u anketama.
You can attach files in this forum
You can download files in this forum


Powered by phpBB © 2001, 2002 phpBB Group
Theme created by Vjacheslav Trushkin
HR (Cro) by Ančica Sečan