Das Barkhausen Institut forscht an neuesten Hardware-, Software- und Kommunikationstechnologien und demonstriert deren Anwendung in der Gesellschaft von morgen. Unser Ziel ist es, eine flexible und vertrauenswürdige IoT-Plattform zu entwickeln, die auf zuverlässiger Elektronik und sicheren Kommunikations¬methoden basiert.

Your responsibilities will include

• Besides contributing your unique ideas, you will actively participate in the formal verification of our technology stack,
• Design and implementation of programming languages for hardware and software along with their respective compilation,
• Contribution of code written in the Rocq theorem prover, Rust and other programming languages,
• Development of proofs for functional correctness, safety and security properties,
• Engagement in writing scientific papers about our work and their presentation at conferences.

We expect the following

• Experience in the Rocq theorem prover and its ecosystem,
• A strong knowledge in type theory, compilers and programming languages,
• Experience in writing Rust programs,
• An integrative and cooperative personality with excellent communication and social skills,
• Fluency in English both verbally and written.

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!

What we provide

• A position in an energetic, fast-moving team,
• Agile working hours and workflows
• Various opportunities to grow,
• An office right in Dresden city center,
• In certain circumstances, the opportunity to work remotely.

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

Application Procedure

• Your application should include: motivation letter, CV, copy of university degree certificate, short summary of Masters/PhD thesis.
• Barkhausen Institute strives for gender and diversity equality. We welcome applications from all backgrounds. Severely disabled persons are given preference in the event of equal suitability.
• We only accept complete documents as one single PDF document by e-mail to careers@barkhauseninstitut.org . Please reference "formal verification” 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.