DE EN

Career Service

Offizielles Stellenportal

Angebot 10 von 176

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) “Pro­gram­ming Lan­guage/Com­piler Tech­no­logy” (m/f/d)

Tasks

  • Besi­des con­trib­ut­ing your uni­que ideas, you will advance the Ohua code­base to sup­port us in our vis­ion of build­ing secure and effi­cient plat­forms:
  • Design and imple­ment­a­tion wit­hin Ohua com­piler code­base
  • Adapt­a­tion of Ohua for sep­ar­at­ing code into micro­ker­nel-sys­tem com­pon­ents
  • Devel­op­ment of use cases and IoT demon­strat­ors
  • Par­ti­cip­a­tion in writ­ing rese­arch pub­lic­a­tions and pro­ject deliv­er­ables
  • 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.

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

  • Know­ledge in the fol­low­ing domains:

  • Good pro­gram­ming skills in Has­kell (OCaml) or Coq (Agda, Lean, Isa­belle/HOL)

  • Good know­ledge of pro­gram­ming lan­guage design (type sys­tems, oper­a­tio­nal seman­tics)

  • Know­ledge of com­piler tech­no­logy

  • Know­ledge of oper­at­ing sys­tem prin­ciples and micro­ker­nels

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 Has­kell and 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 Ohua 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.

Facts

Published 19.11.2024
Number of employees 50
Category Graduate position, Researcher, PhD position
Location Germany, Saxony, Dresden
Area of responsibility Computer science, Research, Software development
Start date (earliest) Earliest possible
Duration The pos­i­tion will ini­tially be fil­led for a period of 2 years.
Full/Part-time Full-time
Remuneration The position will be remunerated in accordance with the public remuneration level TV-L E-13.
Working language and expected level
  • German (Very good command of the language)
  • English (Fluent in speech and writing)
Homepage http://www.barkhauseninstitut.org

Requirements

Qualification Above-average MSc/Diploma and PhD degree in areas related to our research focus (Computer Science) from renowned universities.
Field of study Engineering, Business informatics, Computer science, Media informatics
Computerkenntnisse Good programming skills in Haskell (OCaml) or Coq (Agda, Lean, Isabelle/HOL), Good knowledge of programming language design(type systems,operational semantic), Knowledge of compiler technology
Language skills
  • English (Fluent in speech and writing)

Apply

Reference number Research Associate Ohua OS
Application documents
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
By email careers@barkhauseninstitut.org