- Above-average MSc/Diploma and PhD degree in areas related to our research focus (Computer Science) from renowned universities.
- Good programming skills in Coq (Agda, Lean, Isabelle/HOL) or Haskell (OCaml).
- Knowledge in the following domains:
- Programming language design (type systems, operational semantics)
- Compiler technology
- Operating system principles and microkernels
- An integrative and cooperative personality with excellent communication and social skills.
- Good communication and writing skills in English.
You are interested, but you don’t think you meet all the requirements of the job posting? Then you should know: We don’t hire resumes, we hire people. We are looking for potential and want to actively foster it. That‘s why we encourage you to apply!
- Introduction and hands-on experience in certified software development (with Coq)
- Cross-disciplinary projects
- Influential work on upcoming technologies
- An open and creative team
- Agile working hours and workflows
- Flat hierarchies for your ideas to soar
- Competitive salary
If you have passion for new technologies and the desire to develop the connected world of tomorrow with us, we are looking for you.
Life and science are compatible at our institute. We offer a range of recognised family-friendly measures, such as part-time work, mobile working and flexible working hours that take family needs into account. We also offer support for arriving in Dresden (all formalities, apartment etc.).
Your application should include: motivation letter explaining your decision to apply at the institute, CV, copy of university degree and PhD certificate, short summary of doctoral thesis, list of publications.
Applications from women are particularly welcome. We only accept complete documents as one single PDF document by e-mail to email@example.com
. Please reference “Research Associate Formal OS” in the subject line. Applications that contain other file formats (e.g. Word, Excel) will not be considered in the selection process. Informal inquiries can also be submitted to the same address.
The data submitted by you in the course of the application procedure will be processed by the Barkhausen Institut (BI). BI shall use the data for the purposes of the application procedure. No data shall be passed on to third parties.