About this position

Your Tasks Modeling and formalization of decentralized systems, in particular so-called "Local-First Systems" such as Matrix Formal verification of security properties, in particular access control Publication and presentation of research results at international conferences Participation in the "Core Informatics" topic of the "Information" research area of the Helmholtz Association Your Profile Excellent university…

This is a short preview. Read the full posting on the source site. View Original ↗

View Full Posting & Apply

Opens the original posting on the institution’s portal

Similar positions

Other openings you might be interested in

Fraunhofer ITWM · ITWM - Industrial Mathematics

PhD

SPECULATIVE APPLICATION: PHD STUDENT

Fraunhofer ITWM is one of currently 75 institutes belonging to the Fraunhofer Society for the Promotion of Applied Research and can therefore draw on the expertise of a strong network. At Fraunhofer Institute for Industrial Mathematics ITWM, we see our task as further developing key technologies, providing innovative impetus and implementing these in practice together with industry partners. In doing so, we not only want to build bridges between the real and virtual worlds, but also act as a link between academic mathematics and its practical application. That is why our close ties to the…

🇩🇪 Kaiserslautern

No deadlineSource: Fraunhofer ITWM

Fraunhofer ITWM · ITWM - Industrial Mathematics

PhD

PhD student »Interferometry-based field-resolved spectroscopy«

Our »Optical Quantum Metrology« research group develops innovative measurement technologies for clinical and industrial applications based on the ability to measure individual the oscillations of optical electric fields in the infrared and terahertz spectral ranges. As part of the Laboratory for Lightwave Metrology, the research group on the one hand offers the opportunity to fundamentally examine light at the quantum limit, and on the other hand to apply this knowledge in order to develop novel spectroscopic tools for medicine, biology and industrial material characterisation. The advertised…

🇩🇪 Kaiserslautern

No deadlineSource: Fraunhofer ITWM

Fraunhofer IZI · IZI - Cell Therapy and Immunology

PhD

Unsolicited Application as a Doctoral Student (all genders)

At the Fraunhofer Institute for Cell Therapy and Immunology IZI, we bring together the expertise of our employees to drive medical progress. Our focus is on cell and gene therapy, pharmaceuticals and vaccines, molecular and immune diagnostics, and other innovative topics. We are the professional home for scientists, engineers, laboratory technicians, and administrative staff who work together in the service of health. Are you looking for an opportunity to expand your theoretical knowledge with practical experience as part of your doctorate? Then you've come to the right place! At Fraunhofer…

🇩🇪 Leipzig

No deadlineSource: Fraunhofer IZI

Fraunhofer ITWM · ITWM - Techno- und Wirtschaftsmathematik

PhD

Doktorand*in »Interferometrie-basierte feldaufgelöste Spektroskopie«

Unsere Arbeitsgruppe »Optische Quantenmesstechnik« entwickelt industrienah innovative Messtechnik, basierend auf der Fähigkeit, die einzelnen Schwingungen optischer elektrischer Felder im Infrarot- und Terahertz-Spektralbereich zu erfassen. Als Teil des Laboratory for Lightwave Metrology bietet unsere Arbeitsgruppe die Möglichkeit, Licht einerseits fundamental am Quantenlimit zu erforschen, und andererseits es als spektroskopisches Werkzeug für die Medizin, Biologie und industrielle Materialcharakterisierung anzuwenden. Im Rahmen der ausgeschriebenen Promotion sollen neuartige photonische…

🇩🇪 Kaiserslautern

No deadlineSource: Fraunhofer ITWM

PhD Student / Scientific Employee (f/m/d) Formal Verification of Decentralized Systems

About this position

AI Application Kit

Position Details

Similar positions

SPECULATIVE APPLICATION: PHD STUDENT

PhD student »Interferometry-based field-resolved spectroscopy«

Unsolicited Application as a Doctoral Student (all genders)

Initiativbewerbung als Doktorand (all genders)

INITIATIVBEWERBUNG: DOKTORAND*IN

Doktorand*in »Interferometrie-basierte feldaufgelöste Spektroskopie«