Dear all, [My excuses if see this email more than once] Kernkonzept seeks outstanding formal-methods experts to join their team in Dresden, Germany. Applicants should have a background in formal methods and software verification. Please visit http://kernkonzept.com/jobs.html for the concrete job descriptions. Kernkonzept is a small and friendly operating-systems engineering company that leverages the microkernel-based L4Re operating system for industrial use. The formal-methods engineers at Kernkonzept will have the task to prepare the safety and security certification of the L4Re system according to different international standards. If you are interested or have questions, please contact us at jobs@kernkonzept.com. Kind regards, Christiane Berndt -- christiane.berndt@kernkonzept.com - Tel. 0351-41 888 615 http://www.kernkonzept.com Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth