• Besi­des con­trib­ut­ing your uni­que ideas, you will act­ively par­ti­cip­ate in the for­mal veri­fic­a­tion of our tech­no­logy stack to sup­port us in our vis­ion of build­ing secure and effi­cient plat­forms.
• Design and imple­ment­a­tion of for­mal spe­cific­a­tions for indi­vidual parts of our tech­no­logy stack.
• Prove cor­rect­ness, safety and secur­ity prop­er­ties in Coq (Agda or Lean).
• Devel­op­ment of use cases and IoT demon­strat­ors.
• Engage­ment in Sci­ence Com­mu­nic­a­tion: In coo­per­a­tion with our Open­Lab team, you will par­ti­cip­ate in activ­it­ies that aim to exp­lain rese­arch res­ults in dia­log with soci­ety.

• Above-aver­age MSc/Dip­loma and PhD degree in areas rela­ted to our rese­arch focus (Com­puter Sci­ence) from renow­ned uni­ver­sit­ies.
• Good pro­gram­ming skills in Coq (Agda, Lean, Isa­belle/HOL) or Has­kell (OCaml).
• Know­ledge in the fol­low­ing domains:
• Pro­gram­ming lan­guage design (type sys­tems, oper­a­tio­nal seman­tics)
• Com­piler tech­no­logy
• Oper­at­ing sys­tem prin­ciples and micro­ker­nels
• An integ­rat­ive and coo­per­at­ive per­son­al­ity with excel­lent com­mu­nic­a­tion and social skills.
• Good com­mu­nic­a­tion and writ­ing skills in Eng­lish.

You are inter­ested, but you don’t think you meet all the require­ments of the job post­ing? Then you should know: We don’t hire resu­mes, we hire people. We are look­ing for poten­tial and want to act­ively fos­ter it. That‘s why we encour­age you to apply!

• Intro­duc­tion and hands-on exper­i­ence in cer­ti­fied soft­ware devel­op­ment (with Coq)
• Cross-dis­cip­lin­ary pro­jects
• Influ­en­tial work on upcom­ing tech­no­lo­gies
• An open and cre­at­ive team
• Agile work­ing hours and work­flows
• Flat hier­arch­ies for your ideas to soar
• Com­pet­it­ive salary

If you have pas­sion for new tech­no­lo­gies and the desire to deve­lop the con­nec­ted world of tomor­row with us, we are look­ing for you.

Life and sci­ence are com­pat­ible at our insti­tute. We offer a range of recog­nised fam­ily-fri­endly meas­ures, such as part-time work, mobile work­ing and flex­ible work­ing hours that take fam­ily needs into account. We also offer sup­port for arriv­ing in Dres­den (all form­al­it­ies, apart­ment etc.).

Your app­lic­a­tion should include: motiv­a­tion let­ter exp­lain­ing your decision to apply at the insti­tute, CV, copy of uni­ver­sity degree and PhD cer­ti­fic­ate, short sum­mary of doc­toral the­sis, list of pub­lic­a­tions.

App­lic­a­tions from women are par­tic­u­larly wel­come. We only accept com­plete doc­u­ments as one sin­gle PDF doc­u­ment by e-mail to careers@barkhauseninstitut.org. Please ref­er­ence “Rese­arch Asso­ci­ate For­mal OS” in the sub­ject line. App­lic­a­tions that con­tain other file for­mats (e.g. Word, Excel) will not be con­side­red in the selec­tion pro­cess. Infor­mal inquir­ies can also be sub­mit­ted to the same address.

The data sub­mit­ted by you in the course of the app­lic­a­tion pro­ced­ure will be pro­ces­sed by the Bark­hau­sen Insti­tut (BI). BI shall use the data for the pur­poses of the app­lic­a­tion pro­ced­ure. No data shall be pas­sed on to third par­ties.