Total 582 system engineer job vacancies in Education / Training category in Singapore

• Perm
• At least 5 years in a Release Train Engineer role or similar positions (Agile Coach, Scrum Master, Project Manager, Product Owner).
• Preferable experience in shipping, logistics, supply chain, or technology industries.
• Demonstrable knowledge in Applications, Data, and Technology architecture (especially CICD technologies).
• Proficient in designing and delivering scaled Agile programs.

As a Agile Train Engineer, you will lead a critical role as a dependency manager through the monitoring and coordination of ongoing projects and applications.

Responsibilities:

Agile Leadership:

• Facilitate cross-squad ceremonies to resolve impediments, track dependencies, and align with PI goals.
• Conduct regular check-ins with Scrum Masters, Product Owners, and other stakeholders.
• Foster collaboration between teams and System/Solution Architects.
• Champion Agile and SAFe principles, promoting a culture of continuous improvement and collaboration.

Planning & Coordination:

• Organize and facilitate PI Planning sessions, ensuring team alignment on priorities and objectives.
• Collaborate with Product Owners to prioritize and groom the Program Backlog.
• Monitor progress, address deviations, and ensure timelines and Definition of Done are met.

Communication & Reporting:

• Develop and maintain communication plans to keep stakeholders informed.
• Provide regular status updates to leadership, highlighting milestones, risks, and areas for improvement.
• Maintain transparency by reporting relevant metrics on the project's performance and health.

Problem Resolution:

• Identify and address impediments, risks, and dependencies proactively.
• Collaborate with teams to find creative solutions to challenges.
• Escalate critical issues to leadership with recommended actions.

Continuous Improvement:

• Organize and facilitate Inspect and Adapt workshops to gather feedback and identify improvement areas.
• Implement lessons learned and drive continuous improvement initiatives.
• Share best practices and contribute to the evolution of Agile practices within the organization.

Typical Deliverables:

• Prioritized and groomed Program Backlog for upcoming Program Increments.
• PI Planning artifacts, including Program Board, Program Backlog, and team plans.
• Regular status reports and metrics on the health and performance of the ART.
• Action plans and improvements from Inspect and Adapt workshops.
• Resolutions to impediments and dependencies impacting the Agile Project.

Requirements

• Bachelor's Degree in IT, Engineering, or related field.
• Minimum 5 years in a Release Train Engineer role or similar positions (Agile Coach, Scrum Master, Project Manager, Product Owner).
• Preferable experience in shipping, logistics, supply chain, or technology industries.
• Demonstrable knowledge in Applications, Data, and Technology architecture (especially CICD technologies).
• Proficient in designing and delivering scaled Agile programs.
• Experience engaging with both C-Suite and operational staff.
• Ability to articulate the benefits of an Agile operational model.
• Interest in emerging technology trends and their application to Agile transformation.
• Excellent stakeholder engagement, people management, and communication skills.
• Strong analytical, problem-solving, and critical thinking skills.
• Recent Agile certifications (SAFe RTE) preferred.
• Proficient with Microsoft Office applications (PowerPoint, Teams, Excel, SharePoint, Outlook).
• Proficiency in English, both verbal and written.

Triton AI Pte Ltd
Registration Number: R1980724
EA: 21C0661

Nanyang Technological University’s Digital Trust Centre (DTC) is looking for a Principal Research Engineer to research, design, develop, implement, and oversee techniques and systems platform related to Trust Technologies, which mainly cover three main areas: (i) privacy preserving AI, (ii) digital identity and decentralization, and (iii) AI safety. Privacy preserving technologies involved include homomorphic encryption, multi-party computation, searchable encryption, data synthesis and differential privacy, and federated learning. Decentralization technologies covered include blockchain, digital identity, distributed ledger, trust execution environment, and verifiable computing. AI safety technologies covered include AI model testing, evaluation and benchmarking, risks in generative AI contents, Large Language Model, and NLP.

The role will focus on emerging technologies that engender trust and espouse its values in digital technologies.

Key Responsibilities:

• Conduct research into trust technologies testing – translating research algorithms, and design/develop tools and frameworks into working prototypes that can explain how research outputs can be productised into new capabilities.
• Work closely with Centre’s researchers to design and develop system implementation work from research into product.
• Design and build working tools that can support technology transfer of new research capabilities to practical solution capabilities that can be used to showcase the value of a given research outcome.
• Write and maintain technical documentation, presentations, and papers on research into trust technologies testing, help to educate and raise the overall competency of Singapore manpower in emerging areas of trust technologies.
• Engage global partners and researchers to understand latest trends and advance Singapore’s mindshare in this domain.
• Responsible for the system and architecture design of trust solutions for digital transformation in addition to their engineering and implementation.

Job Requirements:

• The candidate should possess a Masters’ degree in computer science, software engineering, information theory or relevant field.
• With a minimum of 15 industrial and academic years of experience in software engineering and system development.
• Understand the emerging trends of IT technologies, in particular those related to privacy preserving and AI safety.
• Good communication skill.
• Self-motivated, and could deliver under tight schedule.

We regret that only shortlisted candidates will be notified.

Job Responsibilities:

• Responsible for performing professional process engineering research, development, and evaluation in support of the IME’s variety of programs requirements
• May conceive and plan projects involving definition and selection of new materials, concepts and approaches in the processing or development of new processes.
• Compiles and evaluates test data to determine appropriate limits and variables for process specifications.
• Championing engineering experiments for process characterization to drive for quality and yield improvement
• Setup and collect the experimental data and generate reports for both internal and customer distribution.
• Design and complete DOE (Design of Experiments) evaluations to characterize process window for new requirements
• Work closely with senior staff and process integrators to understand technology roadmaps, process capability requirements and business issues/ challenges.
• Act as a resource for colleagues with less experience; lead small projects with manageable risks
• Act as subject matter wet etch expert for both internal and external stockholders.

Requirements:

• Master’s degree in chemistry, Chemical engineering with 1+ years of relevant work experience in semiconductor process engineering; or
• Bachelor’s degree with 1+ years of relevant work experience in semiconductor process engineering.
• Prior experience in wet etch/ wet clean processes is preferred
• A safety mindset is the most prerequisite for this position.
• Hands-on experience in designing and executing experiments (DOE), statistical and cause analysis, and problem-solving methods
• Possess good interpersonal and communication skills

Job Responsibilities:

• Responsible for performing professional process engineering research, development, and evaluation in support of the IME’s variety of programs requirements
• May conceive and plan projects involving definition and selection of new materials, concepts and approaches in the processing or development of new processes.
• Compiles and evaluates test data to determine appropriate limits and variables for process specifications.
• Championing engineering experiments for process characterization to drive for quality and yield improvement
• Setup and collect the experimental data and generate reports for both internal and customer distribution.
• Design and complete DOE (Design of Experiments) evaluations to characterize process window for new requirements
• Work closely with senior staff and process integrators to understand technology roadmaps, process capability requirements and business issues/ challenges.
• Act as a resource for colleagues with less experience; lead small projects with manageable risks
• Act as subject matter wet etch expert for both internal and external stockholders.

Requirements:

• Master’s degree in chemistry, Chemical engineering with 1+ years of relevant work experience in semiconductor process engineering; or
• Bachelor’s degree with 1+ years of relevant work experience in semiconductor process engineering.
• Prior experience in wet etch/ wet clean processes is preferred
• A safety mindset is the most prerequisite for this position.
• Hands-on experience in designing and executing experiments (DOE), statistical and cause analysis, and problem-solving methods
• Possess good interpersonal and communication skills

Summary:

Skywork AI Singapore welcomes enthusiastic and forward-thinking research engineers to join our dynamic team at the Kunlun-2050 Research Lab Singapore. Being a new entrant in Singapore’s R&D landscape, we are dedicated to pushing the boundaries of Artificial General Intelligence (AGI) through foundational and application research, with a particular focus on Foundation Model 2.0 and Agents. Foundation Model 2.0 encompasses various dimensions, including pioneering new foundation modes and applications, optimizing training and inference acceleration, and conducting theoretical studies to enhance interpretability. Our work on Agents delves into both virtual and physical agents, propelling us into the forefront of AGI development.

We invite individuals who share our passion for AGI advancement and are eager to make their mark in the field to apply and become a vital part of our evolving team. Join us to contribute to cutting-edge research and explore the potential for technology transfer into Skywork AI's core products.

Key Responsibilities:

• Implement intricate algorithms and enhance model scalability
• Provide comprehensive engineering support to the research team
• Develop reusable libraries to support research in AGI field, focusing on Foundation Model 2.0 and Agents.
• Collaborate closely with our interdisciplinary team to publish influential research findings in top-tiered conferences and journals, making a significant impact on the AGI community.
• Actively explore technology transfer opportunities into Skywork AI's core products.

Desirable Experience:

• Hold a Bachelor’s degree or higher in computer science, statistics, engineering, applied mathematics, data science or related fields
• Possess more than three years of related work experience
• Demonstrated proficiency in programming languages
• Hands-on experience with deep learning frameworks and familiar with development tools
• Actively contribute to open-source projects
• Achievement in programming competitions and regional contests
• Attain esteemed recognition within the academic and professional community

Apply:

If you're excited to be part of our cutting-edge research team in the AGI space, please send your latest Curriculum Vitae to [email protected] to explore this exciting opportunity.

Skywork AI Singapore is committed to fostering diversity and welcomes candidates from all backgrounds to apply. Join us in shaping the future of AGI at Kunlun-2050 Research Lab. Your contributions can be instrumental in defining our journey as a new start-up in this dynamic field

Summary:

Being a new entrant in Singapore's R&D landscape, Skywork AI Singapore is dedicated to pushing the boundaries of Artificial General Intelligence (AGI) through foundational research, with a particular focus on Foundation Model 2.0 and Agents. Foundation Model 2.0 encompasses various dimensions, including pioneering new foundation models and applications, optimizing training and inference acceleration, and conducting theoretical studies to enhance interpretability. The work on Agents delives into both virtual and physical agents, propelling us into the forefront of AGI development.

Skywork AI Singapore is partnering with universities in Singapore, to invite motivated candidates to enroll in a PhD program and work at Skywork AI Singapore. Successful candidates will become full-time employees of Skywork AI and should qualify to be admitted into the PhD Programme at one of the universities in Singapore.

Candidate's Expectation:

• Work with our research scientists to conduct groundbreaking research in the AGI field, focusing on Foundation Model 2.0 and Agents
• Collaborate closely with our interdisciplinary team to publish influential research findings in top-tiered conferences and journals, making a significant impact on the AGI community
• Embrace the entrepreneurial spirit and actively explore technology transfer opportunities into business products

Desirable Experience:

• Demontrate a strong interest in a career in computer science
• Keen to study and perform research in areas such as Artificial Intelligence, Computer Vision, Deep Learning, Game AI, Natural Language Processing, Reinforcement Learning, and Speech Recognition. (Preferably but not limited to)
• Proficiency in differentiable programming frameworks such as PyTorch, TensorFlow, and JAX
• Possessed Bachelor's or Master's Degree in Computer Science/Engineering, Statistics, Mathematics, Data science, or related fields is highly desirable
• Not a recipient of, or hold any other scholarship or other award of a monetary nature (Excluding bursary and financial aid);
• Must meet the postgraduate admission and academic requirements
• For existing PhD candidates, must be 2 years or less into the postgraduate program

IPP trainees will be able to enjoy the following benefits:

• A Monthly salary of SGD6,000, in addition to CPF (for citizens and PRs), Medical Insurance, and many employment perks
• Sponsorship of tuition fee for 4 years
• Conference and travel allowances
• Computing equipment and GPU resources

Apply:

Interested candidates may send the latest Curriculum Vitae, transcripts and publication list to [email protected] to explore this exciting opportunity.

We are committed to fostering diversity and welcome candidates from all backgrounds to apply. Join us in shaping the future of AGI at Kunlun-2050 Research Lab.

Summary:

Skywork AI Singapore welcomes enthusiastic and forward-thinking research engineers to join our dynamic team at the Kunlun-2050 Research Lab Singapore. Being a new entrant in Singapore’s R&D landscape, we are dedicated to pushing the boundaries of Artificial General Intelligence (AGI) through foundational and application research, with a particular focus on Foundation Model 2.0 and Agents. Foundation Model 2.0 encompasses various dimensions, including pioneering new foundation modes and applications, optimizing training and inference acceleration, and conducting theoretical studies to enhance interpretability. Our work on Agents delves into both virtual and physical agents, propelling us into the forefront of AGI development.

We invite individuals who share our passion for AGI advancement and are eager to make their mark in the field to apply and become a vital part of our evolving team. Join us to contribute to cutting-edge research and explore the potential for technology transfer into Skywork AI's core products.

Key Responsibilities:

• Implement intricate algorithms and enhance model scalability
• Provide comprehensive engineering support to the research team
• Develop reusable libraries to support research in AGI field, focusing on Foundation Model 2.0 and Agents.
• Collaborate closely with our interdisciplinary team to publish influential research findings in top-tiered conferences and journals, making a significant impact on the AGI community.
• Actively explore technology transfer opportunities into Skywork AI's core products.

Desirable Experience:

• Hold a Master's degree or higher in computer science, statistics, engineering, applied mathematics, data science or related fields
• Possess more than three years of related work experience
• Demonstrated proficiency in programming languages
• Hands-on experience with deep learning frameworks and familiar with development tools
• Actively contribute to open-source projects
• Achievement in programming competitions and regional contests
• Attain esteemed recognition within the academic and professional community

Apply:

If you're excited to be part of our cutting-edge research team in the AGI space, please send your latest Curriculum Vitae to [email protected] to explore this exciting opportunity.

Skywork AI Singapore is committed to fostering diversity and welcomes candidates from all backgrounds to apply. Join us in shaping the future of AGI at Kunlun-2050 Research Lab. Your contributions can be instrumental in defining our journey as a new start-up in this dynamic field

The Centre for Advanced Robotics Technology Innovation (CARTIN) are seeking a highly skilled and motivated Autonomous Robotics Software Engineer to join our team.

Key Responsibilities:

• Develop and maintain software for autonomous sweeping vehicles.
• Conduct field testing trials to validate software performance and reliability.
• Provide software and computer support, including setting up and troubleshooting computer-related matters.
• Develop software tools, sensors, actuator drivers for testing safety-critical modules and sensors in robotic systems.
• Assist in integrating custom modules into complex software stacks.
• Work with Subject Matter Experts (SMEs) to carry out software acceptance testing, including unit, functional, and load testing, and organize test result records.
• Manage and deploy software commits for field testing, ensuring timely updates and maintenance.

Job Requirements:

• Bachelor's degree in Computer Science, Robotics, Electrical Engineering, or a related field. A Master’s degree is preferred.
• 2–6 years of experience in C++/ROS development.
• Hands-on experience in robotics and mechatronics.
• Experience with deploying ROS in real-world environments.
• Familiar with robotic sensor and actuator hardware such as LiDAR.
• Strong problem-solving skills and the ability to work in a multi-disciplinary team.
• Experience in developing software for cleaning systems or similar applications.
• Familiarity with robotics technologies.
• Knowledge of machine learning applications in robotics.
• Experience with software development life cycles, including design, implementation, deployment, and maintenance.

We regret that only shortlisted candidates will be notified.

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modelingsoftware, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally andexternally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

The first set of tasks will involve the following specific assignments:

• Expressing decision logic using DMN/FEEL
• Evaluating the rule engine API
• Encoding existing materials in L4 for open source distribution
• Building interactive UIs using HTML, CSS, JavaScript and Python

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances in computational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture
• reading (and updating/commenting, relevant) existing software documentation
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done
• writing (and presenting, if so decided by the PI) academic papers and materials for publication
• documenting in a sufficiently-detailed manner so as to share what you've learned

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries
• evaluating competing software systems for suitability
• building infrastructure to enable application development
• managing yourself, and managing fellow team members
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development
• writing documentation such as user/developer-facing manuals, tutorials
• delivering community support to users and customers
• preparing presentations to represent the project before external audiences
• writing actual user-facing applications throughout the "full stack"

in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

• Perm
• At least 5 years in a Release Train Engineer role or similar positions (Agile Coach, Scrum Master, Project Manager, Product Owner).
• Preferable experience in shipping, logistics, supply chain, or technology industries.
• Demonstrable knowledge in Applications, Data, and Technology architecture (especially CICD technologies).
• Proficient in designing and delivering scaled Agile programs.

As a Release Train Engineer, you will lead a critical role as a dependency manager through the monitoring and coordination of ongoing projects and applications.

Responsibilities:

Agile Leadership:

• Facilitate cross-squad ceremonies to resolve impediments, track dependencies, and align with PI goals.
• Conduct regular check-ins with Scrum Masters, Product Owners, and other stakeholders.
• Foster collaboration between teams and System/Solution Architects.
• Champion Agile and SAFe principles, promoting a culture of continuous improvement and collaboration.

Planning & Coordination:

• Organize and facilitate PI Planning sessions, ensuring team alignment on priorities and objectives.
• Collaborate with Product Owners to prioritize and groom the Program Backlog.
• Monitor progress, address deviations, and ensure timelines and Definition of Done are met.

Communication & Reporting:

• Develop and maintain communication plans to keep stakeholders informed.
• Provide regular status updates to leadership, highlighting milestones, risks, and areas for improvement.
• Maintain transparency by reporting relevant metrics on the project's performance and health.

Problem Resolution:

• Identify and address impediments, risks, and dependencies proactively.
• Collaborate with teams to find creative solutions to challenges.
• Escalate critical issues to leadership with recommended actions.

Continuous Improvement:

• Organize and facilitate Inspect and Adapt workshops to gather feedback and identify improvement areas.
• Implement lessons learned and drive continuous improvement initiatives.
• Share best practices and contribute to the evolution of Agile practices within the organization.

Typical Deliverables:

• Prioritized and groomed Program Backlog for upcoming Program Increments.
• PI Planning artifacts, including Program Board, Program Backlog, and team plans.
• Regular status reports and metrics on the health and performance of the ART.
• Action plans and improvements from Inspect and Adapt workshops.
• Resolutions to impediments and dependencies impacting the Agile Project.

• Bachelor's Degree in IT, Engineering, or related field.
• Minimum 5 years in a Release Train Engineer role or similar positions (Agile Coach, Scrum Master, Project Manager, Product Owner).
• Preferable experience in shipping, logistics, supply chain, or technology industries.
• Demonstrable knowledge in Applications, Data, and Technology architecture (especially CICD technologies).
• Proficient in designing and delivering scaled Agile programs.
• Experience engaging with both C-Suite and operational staff.
• Ability to articulate the benefits of an Agile operational model.
• Interest in emerging technology trends and their application to Agile transformation.
• Excellent stakeholder engagement, people management, and communication skills.
• Strong analytical, problem-solving, and critical thinking skills.
• Recent Agile certifications (SAFe RTE) preferred.
• Proficient with Microsoft Office applications (PowerPoint, Teams, Excel, SharePoint, Outlook).
• Proficiency in English, both verbal and written.

Triton AI Pte Ltd
Registration Number: R1980724
EA: 21C0661

• Perm
• Medical & Insurance Coverage
• Bonus

• Perm
• At least 5 years in a Release Train Engineer role or similar positions (Agile Coach, Scrum Master, Project Manager, Product Owner).
• Preferable experience in shipping, logistics, supply chain, or technology industries.
• Demonstrable knowledge in Applications, Data, and Technology architecture (especially CICD technologies).
• Proficient in designing and delivering scaled Agile programs.

As a Release Train Engineer, you will lead a critical role as a dependency manager through the monitoring and coordination of ongoing projects and applications.

Responsibilities:

Agile Leadership:

• Facilitate cross-squad ceremonies to resolve impediments, track dependencies, and align with PI goals.
• Conduct regular check-ins with Scrum Masters, Product Owners, and other stakeholders.
• Foster collaboration between teams and System/Solution Architects.
• Champion Agile and SAFe principles, promoting a culture of continuous improvement and collaboration.

Planning & Coordination:

• Organize and facilitate PI Planning sessions, ensuring team alignment on priorities and objectives.
• Collaborate with Product Owners to prioritize and groom the Program Backlog.
• Monitor progress, address deviations, and ensure timelines and Definition of Done are met.

Communication & Reporting:

• Develop and maintain communication plans to keep stakeholders informed.
• Provide regular status updates to leadership, highlighting milestones, risks, and areas for improvement.
• Maintain transparency by reporting relevant metrics on the project's performance and health.

Problem Resolution:

• Identify and address impediments, risks, and dependencies proactively.
• Collaborate with teams to find creative solutions to challenges.
• Escalate critical issues to leadership with recommended actions.

Continuous Improvement:

• Organize and facilitate Inspect and Adapt workshops to gather feedback and identify improvement areas.
• Implement lessons learned and drive continuous improvement initiatives.
• Share best practices and contribute to the evolution of Agile practices within the organization.

Typical Deliverables:

• Prioritized and groomed Program Backlog for upcoming Program Increments.
• PI Planning artifacts, including Program Board, Program Backlog, and team plans.
• Regular status reports and metrics on the health and performance of the ART.
• Action plans and improvements from Inspect and Adapt workshops.
• Resolutions to impediments and dependencies impacting the Agile Project.

Requirements

• Bachelor's Degree in IT, Engineering, or related field.
• Minimum 5 years in a Release Train Engineer role or similar positions (Agile Coach, Scrum Master, Project Manager, Product Owner).
• Preferable experience in shipping, logistics, supply chain, or technology industries.
• Demonstrable knowledge in Applications, Data, and Technology architecture (especially CICD technologies).
• Proficient in designing and delivering scaled Agile programs.
• Experience engaging with both C-Suite and operational staff.
• Ability to articulate the benefits of an Agile operational model.
• Interest in emerging technology trends and their application to Agile transformation.
• Excellent stakeholder engagement, people management, and communication skills.
• Strong analytical, problem-solving, and critical thinking skills.
• Recent Agile certifications (SAFe RTE) preferred.
• Proficient with Microsoft Office applications (PowerPoint, Teams, Excel, SharePoint, Outlook).
• Proficiency in English, both verbal and written.

Triton AI Pte Ltd
Registration Number: R1980724
EA: 21C0661

• Provide scientific and technical leadership in the field of Artificial Intelligence
• In-depth exploration of the techniques in terms of theoretical, conceptual and implementation aspects
• Design cognitive systems, build applications and proof of concept solutions, create IP
• Project planning and management, liaison with stakeholders and research collaborators.
• Provide expertise in machine learning (e.g. deep learning), data mining, signal processing and etc.
• Create technical roadmap, initiate R&D theme proposals

Requirements:

• Master/ Ph.D. in Artificial Intelligence, Deep Learning, Computer Science, Engineering or similar
• Rich experience in machine learning, data analysis and algorithm development.
• Experience in NLP and Generative A.I
• Experience in technology transfer from R&D collaboration projects related to robotic, cognitive systems.
• Excellent programming skills in Python
• Demonstrated history of engineering innovation.
• Track record of publicized papers in top conferences/journals, international competition, patents is a plus.

Job Description:

We are seeking motivated and enthusiastic research engineers to join our team. The successful candidate will work closely with our PI, Co-Is and researchers to develop and test sustainable mineral extraction techniques and evaluate their effectiveness in capturing and sequestering CO2. This role will involve conducting experiments, analyzing data, and contributing to the development of new and improved methods for CO2 sequestration.

Job scope:

• Carry out experiment on extraction of calcium and magnesium ions from industry products.
• Assist in the development of a feasible and economical carbon capture technology.
• Conduct regular literature surveys of technologies for CO2 capture and mineral carbonation.
• Integrate experimental data from laboratory studies into process operation and optimization.
• Compile regular reports to keep the research team updated on progress and support project outcomes.
• Occasionally present results to external stakeholders such as national agencies and industrial partners.
• Undertake other supporting work as needed to ensure the success of the project.

Job Requirements:

• Degree/BS or MS in Chemistry, Material Science, Engineering, or related fields.
• Good understanding of the concepts and processes involved in CO2 absorption and desorption.
• Understanding of chemical processes and their design and optimization.
• Proficient in chemistry and chemical engineering concepts, particularly in inorganic chemical synthesis and multiphase reactions.
• Experience in designing, setting up, and operating reactors and other equipment at the kg-scale.
• Understanding characterization techniques such as XRF, XRD, SEM, BET, TGA, ICP, and others.
• Comfortable working with uncertainty typically associated with early-stage research in chemical engineering topics.

Job Description:

We are seeking motivated and enthusiastic research engineers to join our team. The successful candidate will work closely with our PI, Co-Is and researchers to develop and test sustainable mineral extraction techniques and evaluate their effectiveness in capturing and sequestering CO2. This role will involve conducting experiments, analyzing data, and contributing to the development of new and improved methods for CO2 sequestration.

Job scope:

• Carry out experiment on extraction of calcium and magnesium ions from industry products.
• Assist in the development of a feasible and economical carbon capture technology.
• Conduct regular literature surveys of technologies for CO2 capture and mineral carbonation.
• Integrate experimental data from laboratory studies into process operation and optimization.
• Compile regular reports to keep the research team updated on progress and support project outcomes.
• Occasionally present results to external stakeholders such as national agencies and industrial partners.
• Undertake other supporting work as needed to ensure the success of the project.

Job Requirements:

• Degree/BS or MS in Chemistry, Material Science, Engineering, or related fields.
• Good understanding of the concepts and processes involved in CO2 absorption and desorption.
• Understanding of chemical processes and their design and optimization.
• Proficient in chemistry and chemical engineering concepts, particularly in inorganic chemical synthesis and multiphase reactions.
• Experience in designing, setting up, and operating reactors and other equipment at the kg-scale.
• Understanding characterization techniques such as XRF, XRD, SEM, BET, TGA, ICP, and others.
• Comfortable working with uncertainty typically associated with early-stage research in chemical engineering topics.

Job Description:

Be part of an exciting Team working on cutting-edge advanced packaging process technologies. Partner and work with various FAB users, to always enable smooth operations and develop packaging solutions and taking the solutions from concept to production. Responsibilities will also include assisting in operations support in FAB clean rooms to make sure all rounded supports are provided.

This position is based in Singapore.

Responsibilities:

• Looking for a reliable, agile, and professional individual.
• Oversee the Team spare/ chemicals / inventories stores – upkeep with good house-keepings, periodic cycle counts. Maintain the inventory database, ensuring timely and accurate recordings, raise purchase requests accordingly.
• Take charge and provide day to day supports in all logistics needs and initiate material/spare parts procurement when required to ensure smooth Fab operations.
• Accountable for the inventory movements required to enable smooth lot operations across IME Premises.
• Follow through the orders from the start of purchase till delivery and to ensure that goods are delivered are on time.
• Work seamlessly with various stakeholders to provide logistics support and deliver inventory on time.
• Work towards and employ critical thinking, put-up good initiatives to move forward to digitalization.
• Ability to work in a multi-task environment.

Experience:

• Education: Diploma in engineering discipline. Preferably in supply chain logistic/ warehouse operations.
• At least 2 years of warehouse operations.
• Preferably some experience in semiconductor / manufacturing environment, with good wide contacts with semiconductor material suppliers, equipment vendors.
• Strong knowledge-based on excel skills and some knowledge of supply chain analytics.

Interested applicants are invited to apply directly at the NUS Career Portal.

Your application will be processed only if you apply via NUS Career Portal.

We regret that only shortlisted candidates will be notified.

Job Description

Rainfall-induced erosion failure of the slope is a severe concern in many tropical countries as it can harm public safety and/or infrastructure. The impact could be especially severe in Singapore as our population density is high and our infrastructure development is very dense; hence, some of these slopes are near to the infrastructure development and residential areas. The erosion failure can also lead to high repair costs. Singapore is tropical country with very high annual rainfall. Climate change seems to intensify our rainfall and increase its frequency. And this will increase the occurrence of erosion failure of slope.

This project seeks to study this and develop an “Erosion Risk Map” for Singapore. The scope of works includes the reviewing the mechanism of slope erosion, studying erosion potential subject to rainfall condition, conducting laboratory model testing, supervising site scan on the physical condition for selected slopes in Singapore for risk map development.

Responsibilities:

Conduct Research:
• Design and execute experiments to analyze the effects of climate change on erosion patterns.
• Utilize fieldwork, laboratory testing, and modeling techniques to gather relevant data.
• Collaborate with interdisciplinary teams to integrate findings into comprehensive research projects.

Data Analysis and Interpretation:
• Process and analyze large datasets to derive meaningful insights.
• Develop models to predict erosion trends under various climate change scenarios.
• Present findings through reports, publications, and presentations.

Innovation and Technology:
• Stay abreast of advancements in erosion research, climate science, and relevant technologies.
• Explore innovative approaches to mitigate the impact of climate change on erosion.

Collaboration:
• Work closely with researchers, scientists, and environmental experts to foster a collaborative research environment.
• Engage with external partners and stakeholders to share knowledge and gather diverse perspectives.

Project Management:
• Lead and contribute to research projects, ensuring timelines and deliverables are met.
• Effectively communicate progress and challenges to project stakeholders.

Job Requirements

• Possess a Bachelor of Engineering (Civil) or related field.
• Proven experience in erosion research, climate change impact assessment, or related areas.
• Strong background in data analysis, modeling, and simulation techniques.
• Passionate about environmental sustainability and addressing climate change challenges.
• Detail-oriented, analytical mindset, and problem-solving skills.
• Ability to work independently and collaboratively in a team.
• Strong written and spoken communication.
• Open to fixed term contract.

KEY JOB PURPOSE

We are looking for a focused and highly motivated individual to contribute to a dynamic and growing team. This team aims to expedite the novel light-weight and flexible perovskite solar cells for low-weight applications such as portable and wearable devices, BIPV and IoT.

KEY RESPONSIBILITIES

As a Research Engineer specializing in flexible perovskite solar cells, your responsibilities will revolve around conducting research, development, and optimization of this emerging technology. Here are some key job scopes for this position:

· Optimize deposition techniques, such as solution processing, vacuum deposition, or printing methods, to achieve uniform and high-quality perovskite thin films on flexible substrates.

· Investigate new materials, device architectures, and manufacturing methods to improve the overall performance and reliability of flexible perovskite solar cells.

· Investigate encapsulation strategies and barrier materials to protect flexible perovskite solar cells from degradation.

· Design and execute experiments to fabricate and characterize flexible perovskite solar cells.

· Conduct accelerated aging tests and reliability studies to evaluate long-term stability and durability of the devices.

· Scale up procedures from lab-scale to manufacturing scale.

· Conceptualize and realize new device configurations with enhanced stability and efficiency

· Report writing and results presentation

· Regular maintaining of research and study records, conceptualize, execute and interpret scientific experiments

· Work closely with internal colleagues in Singapore and China to work in company target.

COMPETENCIES AND QUALIFICATION REQUIREMENTS

· Master, PhD in Materials Science, Chemistry or related fields with in-depth knowledge of materials (especially perovskites), device physics and processing.

· Deep understanding of all kind of perovskite materials and interface engineering. Experience in flexible perovskite solar cells and low-temperature process/deposition is a plus.

· Expertise in device making and materials characterizations.

· Good skills in time management, experiment design and data analysis.

· Good communication and interpersonal skills.

We regret that only shortlisted candidates will be notified.

Job Description:

Be part of an exciting FAB Team working on cutting-edge advanced packaging process technologies. Partner and work with various teams in IME, to be the lead in FAB inventory management, logistic planning, and its related operations to always enable smooth operations and develop packaging solutions and taking the solutions from concept to production. Responsibilities will also include assisting in operations support in FAB clean rooms to ensure all rounded supports are provided.

This position is based in Singapore.

Responsibilities:

- Looking for a reliable, agile, and professional individual.

- Able to understand, look ahead, plans the production schedules etc, and provide day to day supports in materials / spare parts procurement, inventory and logistics management to ensure smooth Fab operations.

- Initiate, lead and provide day to day supports in all logistics needs and initiate material/spare parts procurements when required to ensure smooth Fab operations.

- Follow through all the orders initiated from the start of purchase till delivery. Ensure the orders are delivered are on time.

- Accountable for the inventories required to enable smooth FAB cleanroom operations.

- Work seamlessly with various stakeholders to ensure inventory adequacy and logistics efficiencies.

- Employ critical thinking and put-up good initiatives to move forward towards systematic inventory digitalization.

- Ability to work in a multi-task environment.

Experience:

- Education: Diploma/Degree in engineering or supply chain discipline.

- Process strong customer service mind-set with excellent interpersonal and communication skills.

- Preferably some knowledge of supply chain analytics, experiences in semiconductor / manufacturing environment, with good wide contacts with semiconductor material suppliers, equipment vendors.

The Singapore Institute of Technology (SIT) is a prominent public university in Singapore, renowned for its applied learning approach and strong industry partnerships. Established in 2009, SIT aims to provide a distinctive education by integrating academic knowledge with real-world skills. This model helps produce graduates who are highly employable and equipped to meet the evolving demands of the industry.

Adopting a user-centric model, Design Factory@SIT (DF@SIT)seeks to support industry partners through collaborative innovation projects, thereby creating authentic interdisciplinary and collaborative learning opportunities for students and enhance the workplace learning continuum.

As a member of the Design Factory Global Network, DF@SIT will collaborate with a network of innovation hubs in universities and research organizations across five continents in the world, across cultures, time zones and organizational boundaries to foster radical innovations. DF@SIT seeks to help students, academic staff and companies employ design-led innovation tools to pilot ideas and build roadmaps for the changing marketplace.

The Design Researcher and Lab Manager will be responsible for conducting user-centered research, managing lab operations, establishing, and managing internal and external partners and stakeholders, social media creation and maintenance, and ensuring that the lab and team functions efficiently. This dual role involves a blend of hands-on research, project management, and operational duties to support our design and innovation initiatives.

Key Responsibilities

Design Research

• Conduct qualitative and quantitative research to gather insights into user behaviors, needs, and motivations.
• Plan, execute, and analyze various research methodologies including user interviews, usability testing, surveys, and field studies.
• Collaborate with cross-functional teams to integrate research findings into the design and development process.
• Synthesize complex data into clear and actionable insights, reports, and presentations.
• Advocate for the user perspective and ensure that user experience is a key consideration in all product and service development.

Centre Management

• Oversee the day-to-day operations of the design research lab, ensuring it is equipped, organized, and functioning efficiently.
• Ensure all research tools and equipment are up-to-date, properly maintained, and calibrated.
• Coordinate with IT and facilities teams to troubleshoot and resolve any technical or operational issues.
• Manage the lab budget, including procurement of supplies and equipment, and track expenses.

Project Management

• Lead and coordinate research projects from initial briefing to final delivery, ensuring timely and successful completion.
• Collaborate with stakeholders to define research goals, timelines, and deliverables.
• Manage relationships with external research partners and vendors as needed.
• Provide mentorship and guidance to junior researchers and lab staff.

Social Media Management

• Develop and execute a comprehensive social media strategy aligned with the company's marketing goals and brand identity.
• Create, curate, and manage engaging content across all social media platforms (e.g., Facebook, Instagram, Twitter, LinkedIn, TikTok, etc.).
• Foster and grow online communities by actively engaging with followers, responding to comments and messages, and initiating conversations.
• Prepare regular reports on social media metrics and provide actionable recommendations for improvement.

Qualifications

Education

• Bachelor’s degree in Design, Engineering, Human-Computer Interaction (HCI), Psychology, Anthropology, Sociology, Fine Art, Media & Communications, Business, Marketing, or a related field.

Experience

• 3-5 years of experience in user research, design research, or a related field.
• Proven experience in managing a creative office or similar environment.
• Strong background in both qualitative and quantitative research methodologies.

Skills

• Excellent analytical skills with the ability to translate data into meaningful insights.
• Strong organizational and project management skills.
• Exceptional communication and presentation skills.
• Ability to work collaboratively in a multidisciplinary team environment.

Attributes

• Detail-oriented with a high level of accuracy in work.
• Innovative thinker with a passion for understanding human behavior.
• Self-motivated and capable of managing multiple projects simultaneously.
• Strong advocate for user-centered design and research-driven decision making.

The Institute of High Performance Computing (IHPC) was established in April 1998 to provide leadership in high performance computing as a strategic resource for scientific inquiry and industry development. Our mission is to advance science and technology, and develop leading-edge applications through high performance computing and computational science. We have long-term ties with industry partners, including multinational companies and local SMEs, which ensures that our R&D activities stay focused and relevant to real-world needs. We also have active cooperation with the world’s top academics and academic institutions.

Simulation Engineer

The candidate will be part of the team developing a next-generation electrified mobility simulation platform using an agent-based modelling approach. The platform is envisioned to be integrated with other modelling & simulation systems under a digital twin strategy. The responsibilities may include any of the following:

• Develop simulation modules for the agent-based simulator.
• Design and implement simulation scenarios for electrification.
• Optimise the performance of the simulation.
• Calibrate and validate the simulation model based on real-world transportation dynamics.
• Develop connectors, interfaces, and adapters to facilitate model communication and data interchange.

Education and experience requirements:

• Bachelor’s or Master’s degree in computer science, software engineering, transportation, or related fields.
• Minimum of two years of experience in simulation development.
• Experience with system integration or executing phased deployment plans is a plus.

Technical skills:

• Strong proficiency in a wide range of programming languages,including Python, Java, JavaScript, and C++.
• Familiarity with simulation software and tools (e.g., SimPy, MASON, Repast, Simulink, AnyLogic, SUMO).

Experience/familiarity with any of the following is a plus:

• Containerization and orchestration technologies, such as Docker and Kubernetes.
• Digital twins.
• Simulation integration standards and frameworks (e.g., HELICS, HLA, DIS).
• High-performance communication technology (e.g., gRPC, MPI, ZeroMQ).
• Model pipelining tools (e.g., Airflow, MLflow, Argo).

The above eligibility criteria are not exhaustive. A*STAR may include additional selection criteria based on its prevailing recruitment policies. These policies may be amended from time to time without notice. We regret that only shortlisted candidates will be notified.