Research librarian Jobs in Heidenau
Research Associate “Formal Verification” (m / f / d)
Barkhausen Institut gGmbH von ITsax.deDresden, Sachsen, DE- Gesponsert
Research Associate / PostDoc (m / f / x) Center Synergy ofSystems (SynoSys)
Technische Universität DresdenDresden, SN, Germany
HEIMARBEIT : Testkäufer für online Aufträge
Helion ResearchDresden, Deutschland
English into French Medical Translators (Clinical Research documents) Remote
WelocalizeDresden, Germany- Gesponsert
Online Data Analyst - German Speaking
TELUS International AI Inc.Dresden, Deutschland
PhD Student on the topic “Delineation of metastatic drivers in gastric cancer”
DKFZDresden, DE
Research Associate (m / f / x)
TU DresdenDresden, Germany){kind=logo}
Post-doctoral research fellow (m / f / d)
Leibniz Institute of Polymer Research Dresden (IPF)Dresden, Germany
PhD Positions at the International Max Planck Research School for Chemistry and Physics of Quantum Materials
Academic Media Group International ABDresden, Germany
Principal Electron-Optics Research Scientist (E)
KLADresden, Germany
Research assistant (m / f / d) for FPGA / SoC system development in Dresden
Fraunhofer-Institut für Integrierte Schaltungen IISDresden, Sachsen, Deutschland- Gesponsert
){kind=logo}
PhD Student Biology, Biotechnology - Gastric Cancer (m / f / d)
Deutsches Krebsforschungszentrum (DKFZ)Dresden, Sachsen, Germany
Research Associate “Processor Design” (m / f / d)
Barkhausen Institut gGmbH von MINTbund.deDresden, Sachsen, DE- Gesponsert
Job in Germany : Network Administrator (m / f / d) - in Dresden
Scionics Computer Innovation GmbHDresden- Gesponsert
Wir suchen : Empfangsmitarbeiter (m / w / d)
Rosen Technology and Research Center GmbHDresden, Deutschland- Gesponsert
Wireless Research Industry Focused Applications Engineer
EmersonDresden, Saxony, Germany
Informatiker / in (Hochschule)Research Associate for research data and information infrastructures (m / f / x)
Landeshauptstadt DresdenDresden
Studentischer Mitarbeiter (m / w / d) im Bereich Research - Datenbanken
SachsenDresden- Gesponsert
System Software Researcher Engineer (m / f / d)
Huawei DeutschlandDresden, DE
Unsolicited application Students / Internship
Fraunhofer-GesellschaftDresdenResearch Associate “Formal Verification” (m / f / d)
Barkhausen Institut gGmbH von ITsax.deDresden, Sachsen, DEThe Barkhausen Institut performs research on the latest hardware, software and communication technologies and demonstrates their application in tomorrow's society. Our goal is to build a flexible and trustworthy IoT platform based on reliable electronics and secure communication methods.
The Composable Operating Systems group at Barkhausen Institut is developing Compiler, Operating System and Hardware technologies for a trusted IoT world. To secure this trust, we are building a team to formally verify this technology stack.
At the earliest possible date, we are looking for a
Research Associate (PhD or Postdoc) “Formal Verification” (m / f / d)
The position will initially be filled for a period of 2 years and will be remunerated in accordance with the public remuneration level TV-L E-13.
Your responsibilities will include
- Besides contributing your unique ideas, you will actively participate in the formal verification of our technology stack to support us in our vision of building secure and efficient platforms :
- Design and implementation of formal specifications for individual parts of our technology stack.
- Prove correctness, safety and security properties in Coq (Agda or Lean).
- Development of use cases and IoT demonstrators.
- Engagement in Science Communication : In cooperation with our OpenLab team, you will participate in activities that aim to explain research results in dialog with society.
We expect the following
Programming language design (type systems, operational semantics)
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
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 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 Kontakt-Formular . 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.
EBND Hinweis : Bitte bewerben Sie sich ausschließlich über unseren direkten Bewerbungslink gehostet von Empfehlungsbund und ITsax.de : https : / / www.itsax.de / jobs / 177442 / research-associate-formal-verification-m-strich-f-strich-d-in-dresden . Das geht am schnellsten und dort erfahren Sie noch weitere wichtige Details zur Stelle. Wir freuen uns darauf, Sie kennenzulernen!
ITsax.de-FF
Schlagwörter : Formal verification,coq,Agda,Lean,IoT,5G,IoT demonstrators,PhD,PostDoc,Haskell,Englisch,Sicherheit,Softwareentwicklung,Software,security,support,Support,Anwendungsentwicklung,Laravel,Systemingenieur, Empfehlungsbund, EBND (ITsax.de 3yaiqospqqk0talent-com)