Blätter-Navigation

Offre 155 sur 210 du 19/11/2024, 18:10

logo

Bark­hau­sen Insti­tut gGmbH - Inter­net der Dinge

The Bark­hau­sen Insti­tut per­forms rese­arch on the latest hard­ware, soft­ware and com­mu­nic­a­tion tech­no­lo­gies and demon­stra­tes their app­lic­a­tion in tomor­row's soci­ety. Our goal is to build a flex­ible and trust­worthy IoT plat­form based on reli­able elec­tron­ics and secure com­mu­nic­a­tion meth­ods.

Rese­arch Asso­ci­ate (PhD or Post­doc) “For­mal Veri­fic­a­tion” (m/f/d)

Working field:

  • 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.

Requirements:

  • 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!

What we offer:

  • 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.).

How to apply:

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.