Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
, technical documentation, prototype demonstrations, and other project-related activities as required. Job Requirements: PhD qualification in Systems Engineering, Computer Science, Software Engineering
-
software dependability, verification and validation, software quality and testing, secure software engineering, and software architecture and design. As a member of our Department, you will: Teach and
-
or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security Strong computational and analytical skills, including solid software
-
://www.uni.lodz.pl/kariera) Annex 1 to the Standards for the Protection of Minors at the UL Declaration for the purpose of verification in the Sex Offenders Register (https://www.uni.lodz.pl/kariera ) Annex 2
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
manuscript preparation; use graphics and statistical software to analyze and present data; search pertinent scientific literature as needed. ● Supervise other personnel in the laboratory; participate in
-
of Cultural Heritage • RT3: Corpora Analysis • RT4: Digitalisation of Education • RT5: HAI-NLP Software for SSH • RT6: Standards for FAIR Datasets The candidate will contribute to the implementation of all 4
-
responsible for developing and executing a NASA space-based mission through coordinated work across science, payload, spacecraft bus, software, systems engineering, integration and test, mission assurance, and
-
statistical software to analyze and present data; search pertinent scientific literature as needed. Supervise other personnel in the laboratory; participate in training of fellows, residents, students and
-
intelligence can support the development and use of computer algebra systems, including mathematical programming, software verification and testing, documentation, and new ways for researchers to interact with