45 software-verification-postdoc Fellowship positions at Nanyang Technological University
Sort by
Refine Your Search
-
domains and formal methods Applying the developed research ideas and approaches to improve the software engineering process in Continental, especially requirement engineering and testing Conducting
-
, invited talks, and outreach activities, strengthening NTU’s leadership in infrastructure security R&D. Job Requirements: PhD in Computer Science, Software Engineering, or related field. Strong publication
-
Computer Science, Software Engineering, or related field. Strong publication record in top-tier venues. Experience with LLM-based program analysis and infrastructure security. Proven ability to work collaboratively
-
, scalability, and robustness. Collaboration & Mentorship - Work closely with the PI and the project team. - Collaborate with PhD students, undergraduate researchers, and other postdocs. - Provide mentorship and
-
project is required to: Investigate the role of generative AI tools as boundary objects in large-scale systems and software development. Conduct longitudinal qualitative research on the adoption
-
reference. Collaborating with AI scientists to provide domain insights that aid in the development of AI models. Performing experimental verifications of materials recommended by AI models. Publishing
-
MRI studies Perform image analysis and postprocessing using neuroimaging softwares such as SPM, CONN, BrainVoyager, EEGlab and NIRSlab, etc Apply programming skills in E-Prime, MATLAB, PsychoPy and
-
passionate individual contributing to NTU education environments A highly dynamic person inter-disciplinarily trained in AI, VR, and edu tech An experienced developer designing AI and VR for Education tools
-
conditions. To propose a methodology/framework in a software prototype to be developed in the project. To report research findings in the form of a report and present in international peer-reviewed conferences
-
Science, or a related field Strong background in nutritional analysis, food safety, and data integration methods Proficiency in relevant laboratory techniques and data analysis software Ability to work