Semantics Stellenangebote

Job vor 12 Tagen bei Neuvoo.com gefunden Technische Universität München (TUM)

Professor in Logic and Verification in Computer Science

• Munich [...] in Computer Science with significant contributions to one or several of the following areas:Automatic and/or interactive theorem proving Innovative applications of theorem proving in Computer Science and Mathematics Logic-based approaches to the analysis, verification, diagnosis, repair, or synthesis of programs Semantics of programming languages Teaching responsibilities include participation in theoretical education in the study programs Informatics. In particular in the lectures Functional Programming and Verification and Theoretical Computer Science in the Bachelor of Informatics as well as contributions to the specialization area Formal Methods in the Master of Informatics. Qualifications We are looking for candidates who have demonstrated excellent achievements in research and teaching in an internationally recognized scientific environment, relative to the relevant career level (please see for further information) . A university degree and an outstanding doctoral degree or equivalent scientific qualification, as well as pedagogical aptitude, are prerequisites. Substantial research experience abroad as well as the proven ability and experience in research/ science management and leadership and the [...]
Alle Verification Stellenangebote anzeigen

Job vor 9 Tagen bei JobMESH gefunden Technische Universität München Professor in Logic and Verification in Computer Science • Bavaria [...] Computer Science with significant contributions to one or several of the following areas: Automatic and/or interactive theorem proving Innovative applications of theorem proving in Computer Science and Mathematics Logic-based approaches to the analysis, verification, diagnosis, repair, or synthesis of programs Semantics of programming languages Teaching responsibilities include participation in theoretical education in the study programs Informatics. In particular in the lectures [...]

Job vor 12 Tagen bei Stellen-Online.de gefunden Technische Universität München (TUM)

Professor in Logic and Verification in Computer Science-Vollzeit

• München, 80333, 80331 W3 Associate or Full Professor; to begin as soon as possible. Scientific environment The professorship will be assigned to the TUM Department of Computer Science[...]

MEHR INFOS ZUM STELLENANGEBOT

[...] Computer Science with significant contributions to one or several of the following areas: Automatic and/or interactive theorem proving Innovative applications of theorem proving in Computer Science and Mathematics Logic-based approaches to the analysis, verification, diagnosis, repair, or synthesis of programs Semantics of programming languages Teaching responsibilities include participation in theoretical education in the study programs Informatics. In particular in the lectures [...]

Job vor 6 Tagen bei Jobleads gefunden Abteilungsleitung (w/m/d) - Datenmanagement und-aufbereitung • Jena, Thüringen Führungs-/ Leitungspositionen [...] B. Informatik, Physik, Mathematik) , der Ingenieurswissenschaften (z. B. aus den Bereichen Informatik) oder andere für die Tätigkeit relevanten Studiengänge. vertiefte Fachkenntnisse im Aufgabenbereich Datenmanagement, erworben durch beispielsweise einer Promotion oder andere nachgewiesene Forschungstätigkeiten, insbesondere in den Forschungsfeldern Data Provenance, Semantics, Ontologien, Informationsextraktion und/oder Produktionsprozesse sehr gute Kenntnisse und Erfahrung in der fachlichen und disziplinarischen Führung von Teams/ Gruppen/ Abteilungen, belegt [...]
Alle Datenmanagement Stellenangebote anzeigen

Job vor 6 Tagen bei Jobleads gefunden

PhD position: Computational linguistics, negation

• Frankfurt, Hesse [...] field with a (potentially computational) linguistic focus Very good language skills in English (C1) and German Proficiency in common software (including Python and La TeX) Ability to work independently, teamwork, and communication skills Demonstrable interest in the following areas: formal semantics and pragmatics, formal grammar, corpus linguistics (including quantitative methods) Interest in working with databases (MariaDB) , Large Language Models, and [...]
Alle PHD Stellenangebote anzeigen

Job am 02.04.2025 bei Jobleads gefunden Senior Data Excellence Rollout Manager (f/m/d) • Melsungen, Hessen Homeoffice möglich Jobticket [...] a successfully completed bachelors degree in (business) informatics or an equivalent qualification. You have several years of professional experience in a relevant field. You have a broad understanding and passion for data governance and the definition of data and its semantics. You have extensive knowledge and experience in defining and designing data interaction and communication channels. Very good English skills complete [...]

Job am 23.03.2025 bei Jobleads gefunden

Senior Web Fullstack Developer-100 Remote Possible-Innovative Work Culture

• Berlin ZAUBAR, a Berlin, Germany, based start-up in the field of Augmented Reality (time travel, actually) is looking for an experienced Vue/ Nuxt. js and backend[...]

MEHR INFOS ZUM STELLENANGEBOT

[...] Requirements 4+ years of experience working with Javascript Experience in developing Java Script-based web applications with Vue/ Nuxt. js framework. At least one published, still available Nuxt. js project. Knowledge of isomorphic web applications Good knowledge of HTML5 and the semantics of its elements Extensive knowledge of CSS3 and its different layout models Passion for design, UX and usability Focus on [...]

Job am 09.02.2025 bei Jobleads gefunden Engineering Manager (f/m/d) • Berlin Work-Life-Balance We are looking for an Engineering Manager to lead a high-performing, globally-distributed web development team responsible for shaping and executing the technical strategy for semantics and search. This role will focus on enhancing and maintaining the platforms core content capabilities, including taxonomies, ontologies, tags, and [...]
Alle Engineering Manager Stellenangebote anzeigen

Job am 06.02.2025 bei Jobleads gefunden

Frontend Developer

• Stuttgart, Baden- Württemberg [...] Fluid (TYPO3) , Twig (Drupal, Shopware) Implementation of interactive elements, micro/ interactions and animations Support and advice on the development of UI/ UX elements/ designs What we are looking for Very good knowledge of markup languages/ HTML incl. understanding of semantics and SEO Very good knowledge of writing CSS Ideally experience in integration into common CMS template systems (TYPO3 and Fluid [...]
Alle Frontend Developer Stellenangebote anzeigen

Job am 23.01.2025 bei Games-Career.com gefunden Globa Loc GmbH Localization PM Audio Productions (m/f/d) • 10243 Berlin About the role:Globa Loc GmbH is seeking a Localization Project Manager to join the companys production team and work on our audio projects, including analyzing[...]

MEHR INFOS ZUM STELLENANGEBOT

[...] Pro Tools Soundforge is a plus About usGloba Loc is a full localization service provider that is specialized in the intercultural adaptation of computer and video games in consideration of all aspects of the target language (technical language, colloquial language, semantics and stylistics) . Our team consists of experts that are dealing with localization of entertainment software for many years and [...]

Job am 12.01.2025 bei Jobleads gefunden Senior Web Fullstack Developer-100 Remote Possible-Innovative Work Culture ZAUBAR, a Berlin, Germany, based start-up in the field of Augmented Reality (time travel, actually) is looking for an experienced Vue/ Nuxt. js and backend[...]

MEHR INFOS ZUM STELLENANGEBOT

[...] Requirements 4+ years of experience working with Javascript. Experience in developing Java Script-based web applications with Vue/ Nuxt. js framework. At least one published, still available Nuxt. js project. Knowledge of isomorphic web applications. Good knowledge of HTML5 and the semantics of its elements. Extensive knowledge of CSS3 and its different layout models. Passion for design, UX and usability. Focus on [...]

Job am 02.01.2025 bei Jobleads gefunden Vue Frontend Developer ZAUBAR, a Berlin, Germany, based start-up in the field of Augmented Reality (time travel, actually) , is looking for an experienced Javascript/ Next. js developer[...]

MEHR INFOS ZUM STELLENANGEBOT

[...] suitable. Requirements Practical experience working with Java Script, particularly in creating frontend experiences. Experience in developing web applications using Vue/ Nuxt. js framework. Demonstrable projects developed with Vue/ Nuxt. js would be an advantage. Solid understanding of HTML5 and the semantics of its elements. Familiarity with integrating Authentication protocols into apps. Experience with providers like open-auth or auth0 is desirable. Good [...]

Job am 15.12.2024 bei Jobleads gefunden

PhD Students and Postdoctoral Researchers for S3-Semantics of Software Systems (m/f/d) - Group. . .

• Saarbrücken, Saarland PhD Students and Postdoctoral Researchers for S3-Semantics of Software Systems (m/f/d) - Group Zeller St. Ingbert, Germany The CISPA Helmholtz Center for Information Security is looking for [...]
Alle group Stellenangebote anzeigen

Job am 07.11.2024 bei Jobleads gefunden Engineering Manager (f/m/d) • Berlin About the Opportunity We are looking for an Engineering Manager to lead a high-performing, globally-distributed web development team responsible for shaping and executing the technical strategy for semantics and search. This role will focus on enhancing and maintaining the platforms core content capabilities, including taxonomies, ontologies, tags, and [...]

Job am 07.11.2024 bei Jobleads gefunden

Vue Frontend Developer

• Berlin [...] Requirements Practical experience working with Java Script, particularly in creating frontend experiences. Experience in developing web applications using the Vue/ Nuxt. js framework. Demonstrable projects developed with Vue/ Nuxt. js would be an advantage. Solid understanding of HTML5 and the semantics of its elements. Familiarity with integrating authentication protocols into apps. Experience with providers like open-auth or auth0 is desirable. Good [...]

Job am 07.11.2024 bei Jobleads gefunden PhD position: Semantics and pragmatics of Negative Polarity Items • Frankfurt, Hesse At the Institute of English and American Studies, Faculty of Modern Languages, at Goethe University Frankfurt, the position of a Research associate (m/f/d) (E 13[...]

MEHR INFOS ZUM STELLENANGEBOT

[...] or a relevant field with a linguistic focus. Very good language skills in English (C1) and German. Proficiency in common software (including La TeX) . Ability to work independently, teamwork, and communication skills. Demonstrable interest in the following areas: formal semantics and pragmatics, formal grammar, corpus linguistics, collection of speaker judgments. Interest in the linguistic study of Romanian and willingness to [...]

Job vor 8 Tagen bei Neuvoo gefunden senvo

Senior Backend Developer

• Berlin [...] understanding of different kinds of testing and test-driven development. Experience with designing and running cloud-native applications. Ops experience, especially Terraform expertise is a big plus. Experience with various data persistency solutions, including good understanding of performance and scalability characteristics, transaction semantics and data modelling capabilities. Good understanding of monitoring and telemetry in the backend context, tools for implementing these, and their [...]
Alle Senior Backend Developer Stellenangebote anzeigen

Job am 01.04.2025 bei Neuvoo gefunden SAP Senior Researcher (f/m/d) : SAP Business AI-SAP Knowledge Graph • Berlin We help the world run better At SAP, we enable you to bring out your best. Our company culture is focused on collaboration and a[...]

MEHR INFOS ZUM STELLENANGEBOT

[...] libraries for graphs, (Neo4j, TypeDB are added advantage) . Expertise in Python, and experience with ML frameworks such as Py Torch, Tensor Flow, or similar. Ideally a modeling expert with working knowledge of adapting LLMs with Knowledge Graph context and semantics. Ideally a proven track record in knowledge graph modeling related research, with sub topics like modeling of domain specific knowledge [...]
Alle Senior Researcher Stellenangebote anzeigen

Job am 01.04.2025 bei Neuvoo gefunden business

AI QA: German (Germany)

• germany, de, [...] communications will be conducted in English. Requirements A Bachelors degree or higher within the humanities or social science field from a school where most classes are instructed in German Exceptional, native proficiency in German, including different writing styles, grammar, syntax, semantics, and pragmatics. The work you produce will be idiomatically localized to the region 1 or more years of experience in [...]

Job am 07.03.2025 bei Neuvoo gefunden SAP (Associate) Developer-Cloud Engineer (f/m/d) for HD A-Common Service Infrastructure • Berlin Customer Service. We help the world run better Our company culture is focused on helping our employees enable innovation by building breakthroughs together. How? We[...]

MEHR INFOS ZUM STELLENANGEBOT

[...] technologies, especially Kubernetes, and are running at large scale in all major cloud provider infrastructures. With a strong focus on reusability across the SAP HANA Database Analytics portfolio, we are fulfilling our responsibility to provide an enterprise-ready unified data and semantics layer that ultimately enables our customers to build mission-critical, scalable, and reliable applications on top of our services. The Role: [...]

Job am 07.03.2025 bei Neuvoo gefunden ZAUBAR Senior Web Fullstack Developer-100 Remote Possible-Innovative Work Culture • Berlin IT. ZAUBAR, a Berlin, Germany, based start-up in the field of Augmented Reality (time travel, actually) is looking for an experienced Vue/ Nuxt. js and[...]

MEHR INFOS ZUM STELLENANGEBOT

[...] Requirements 4+ years of experience working with Javascript Experience in developing Java Script-based web applications with Vue/ Nuxt. js framework. At least one published, still available Nuxt. js project. Knowledge of isomorphic web applications Good knowledge of HTML5 and the semantics of its elements Extensive knowledge of CSS3 and its different layout models Passion for design, UX and usability Focus on [...]

Job am 07.03.2025 bei Neuvoo gefunden Contentful Engineering Manager (f/m/d) • Berlin Work-Life-Balance Engineering. About the Opportunity We are looking for an Engineering Manager to lead a high-performing, globally-distributed web development team responsible for shaping and executing the[...]

MEHR INFOS ZUM STELLENANGEBOT

Engineering. About the Opportunity We are looking for an Engineering Manager to lead a high-performing, globally-distributed web development team responsible for shaping and executing the technical strategy for semantics and search. This role will focus on enhancing and maintaining the platforms core content capabilities, including taxonomies, ontologies, tags, and [...]

Job am 07.03.2025 bei Neuvoo gefunden ZAUBAR Vue Frontend Developer • Berlin IT. ZAUBAR, a Berlin, Germany, based start-up in the field of Augmented Reality (time travel, actually) is looking for an experienced Javascript/ Next. js developer[...]

MEHR INFOS ZUM STELLENANGEBOT

[...] suitable. Requirements Practical experience working with Java Script, particularly in creating frontend experiences. Experience in developing web applications using Vue/ Nuxt. js framework. Demonstrable projects developed with Vue/ Nuxt. js would be an advantage. Solid understanding of HTML5 and the semantics of its elements. Familiarity with integrating Authentication protocols into apps. Experience with providers like open-auth or auth0 is desirable. Good [...]

Job am 07.03.2025 bei Neuvoo gefunden SAP Senior Cloud Engineer (f/m/d) for Common Service Infrastructure • Berlin Engineering. We help the world run better Our company culture is focused on helping our employees enable innovation by building breakthroughs together. How? We focus[...]

MEHR INFOS ZUM STELLENANGEBOT

[...] cutting-edge technologies, especially Kubernetes, and are running at large scale in all major cloud provider infrastructures. With a strong focus on reusability across the HANA Database Analytics portfolio, we are fulfilling our responsibility to provide an enterprise-ready unified data and semantics layer that ultimately enables our customers to build mission-critical, scalable, and reliable applications on top of our services. As a [...]
Alle Senior Cloud Engineer Stellenangebote anzeigen

Job am 07.03.2025 bei Neuvoo gefunden cariad Master Thesis-Shape the Future of Software-Defined Vehicles (SDVs) : Innovating Cross-Platform Software Development and Integration (m/f/d) • Monsheim, Rhineland- Palatinate IT. At CARIAD, were bundling and further expanding the Volkswagen Groups software expertise. Were uniting over 6, 500 global experts to build a scalable technology[...]

MEHR INFOS ZUM STELLENANGEBOT

[...] runtime performance, and other code quality parameters. WHAT YOU WILL DO Conduct extensive literature and market research on state-of-the-art C code generators for automotive software applications Generate platform-independent application software in C using selected code generators Implement middleware signal communication semantics using open-source and internal tools Implement an API for integration of application software with middleware Present the results and framework [...]
Alle Integration Stellenangebote anzeigen