Total 51 design engineer job vacancies in Education / Training category in D07 Golden Mile, Middle Road

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

• Developing novel deep learning assisted generalizable algorithm for solving combinatorial optimization
• Implementing traditional optimization algorithms
• Collecting real-world dataset and testing the above algorithms for benchmarking
• Writing paper for publication.

QUALIFICATIONS

• Minimum Bachelor's/Master's degree in Computer Science, Information Technology, Information Systems or closely related disciplines from a reputable institution of higher learning
• Minimum one year of relevant research experience in deep learning or operations research
• Proficiency in programming languages such as Python is required
• Demonstrated experience and know-how on solving combinatorial optimization problem
• Experience with at least one programming tools, such as Pytorch or Tensorflow is preferred
• Excellent working knowledge of deep learning or operations research (OR)
• Good analytical, technical and problem solving skills
• Applicants with strong publications in AI or OR area will be advantageous
• Self-motivated individual who can work independently and also collaboratively with team members

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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

• Developing novel deep learning assisted algorithm for solving large-scale combinatorial optimization
• Implementing traditional optimization algorithms
• Collecting real-world dataset and testing the above algorithms for benchmarking.
• Writing paper for publication

QUALIFICATIONS

• Minimum Bachelor's/Master's degree in Computer Science, Information Technology, Information Systems or closely related disciplines from a reputable institution of higher learning
• Minimum one year of relevant research experience in deep learning or operations research
• Proficiency in programming languages such as Python is required
• Demonstrated experience and know-how on solving large-scale combinatorial optimization problem
• Experience with at least one programming tools, such as Pytorch or Tensorflow is preferred
• Excellent working knowledge of deep learning or operations research (OR)
• Good analytical, technical and problem solving skills
• Applicants with strong publications in AI or OR area will be advantageous
• Self-motivated individual who can work independently and also collaboratively with team members

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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

• Design, modification, and implementation of a modified Android AOSP for fine-graine monitoring of Android applications.
• Design, modification, and implementation of an Android kernel to support the modified AOSP.
• Experimenting the modified AOSP and kernel on both real handsets and emulators.
• Evaluating the security capability and performance of the system.

QUALIFICATIONS

• Minimum Bachelor's degree in Computer Science, Information Technology, Information Systems or closely related disciplines.
• Good communication skills in English.
• Relevant research experience in computer security and related areas is a plus.
• Advanced level of programming and software implementation, especially in C/C++ and Java.
• Good understanding of Android architecture and Android executables.
• Good analytical, technical, and problem-solving skills.
• Knowledgeable in software security problems and solutions.
• Research experience in software and system security related research.
• Applicants with research publications in security area will be advantageous.
• Self-motivated individual who can work independently and also collaboratively with team members.

OTHER INFORMATION

#LI-XL1

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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

• Design and implement AI for software engineering solutions
• Conduct evaluations and/or user studies to validate the effectiveness of the algorithms and tools
• Write and publish research papers and present them to reputable academic conferences
• Package the documents, implementation code, evaluation results of the project for release
• Liaise with other team members of this project to realize the overall goal of the project

QUALIFICATIONS

• Minimum Master Degree in Software Engineering/Computer Science/Computer Technology/Information Systems
• Minimum 1 year of relevant research experience in software engineering resulting in concrete results documented in at least 1 accepted/published research paper
• Excellent knowledge about software engineering research
• Excellent knowledge about AI Highly fluent in programming
• Competent in designing and implementing algorithms and data structures
• Excellent oral and written communication skills
• Excellent analytical, technical and problem solving skills
• Self-motivated individual who can work independently and also collaboratively with team members
• Able to work under strict deadlines

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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

• Design, modification, and implementation of a modified Android AOSP for fine-graine monitoring of Android applications.
• Design, modification, and implementation of an Android kernel to support the modified AOSP.
• Design and implementation of an Android app that facilitates the communication between handsets and emulator.
• Experimenting the app and the modified AOSP and kernel on both real handsets and emulators.
• Evaluating the security capability and performance of the system.

QUALIFICATIONS

• Minimum Bachelor's degree in Computer Science, Information Technology, Information Systems or closely related disciplines.
• Good communication skills in English.
• Relevant research experience in computer security and related areas is a plus.
• Advanced level of programming and software implementation, especially in C/C++ and Java.
• Good understanding of Android architecture and Android executables.
• Good analytical, technical, and problem-solving skills.
• Knowledgeable in software security problems and solutions.
• Research experience in software and system security related research.
• Applicants with research publications in security area will be advantageous.
• Self-motivated individual who can work independently and also collaboratively with team members.

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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

• Design, modification, and implementation of a modified Android AOSP for fine-graine monitoring of Android applications.
• Design, modification, and implementation of an Android kernel to support the modified AOSP.
• Design and implementation of an Android app that facilitates the communication between handsets and emulator.
• Experimenting the app and the modified AOSP and kernel on both real handsets and emulators.
• Evaluating the security capability and performance of the system.

QUALIFICATIONS

• Minimum Bachelor's degree in Computer Science, Information Technology, Information Systems or closely related disciplines.
• Good communication skills in English.
• Relevant research experience in computer security and related areas is a plus.
• Advanced level of programming and software implementation, especially in C/C++ and Java.
• Good understanding of Android architecture and Android executables.
• Good analytical, technical, and problem-solving skills.
• Knowledgeable in software security problems and solutions.
• Research experience in software and system security related research.
• Applicants with research publications in security area will be advantageous.
• Self-motivated individual who can work independently and also collaboratively with team members.

OTHER INFORMATION

#LI-XL1

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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.

QUALIFICATIONS

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

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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.

QUALIFICATIONS

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

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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 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.

QUALIFICATIONS

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

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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

• Process video feeds captured by drones flying at the OCBC Aquatic Center.
• Perform background subtraction on the videos to remove the pool and other unnecessary details.
• Segment the swimmers into specific body limbs.
• Analyze the limbs to extract performance metrics of value to the swimming coaches.
• Create visualisations of the metrics for review by the coaches.
• Work with the drone operators to create a real-time feed where the videos are processed in real-time to generate analytics that can be viewed by the coaches during training.

QUALIFICATIONS

• Minimum Bachelor's/Master's degree in Computer Science, Information Technology, Information Systems or closely related disciplines from a reputable institution of higher learning.
• Minimum 2 years of relevant research experience in video analytics.
• Demonstrated experience and know-how on video analytics.
• Experience with at least one programming software/languages, such as python and java is preferred.
• Excellent working knowledge of the various python video analytics toolkits.
• Good analytical, technical and problem solving skills.
• Applicants with research publications in the video analytics area will be advantageous.
• Self-motivated individual who can work independently and also collaboratively with team members.

OTHER INFORMATION

#LI-XL1

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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

• Visualise the analytics results generated by the rest of the project.
• Build dashboards for use on tablets and laptops that can quickly and easily visualize the analytics results produced by the rest of the project.
• Built filters and overlays to allow the coaches to see what they need quickly and easily.
• Build different visualisations for different use cases e.g. coaches at the side of the pool, coaches analysing detailed results, athletes viewing their own data.
• Integrate as many feeds as necessary to produce the visualisations.
• If possible, create mobile friendly versions.

QUALIFICATIONS

• Minimum Bachelor's/Master's degree in Computer Science, Information Technology, Information Systems or closely related disciplines.
• Minimum 2 years of relevant research experience in video analytics.
• Demonstrated experience and know-how on visualisation.
• Experience with at least one programming software/languages, such as javascript, HTML, android / iOS displays aa is preferred.
• Excellent working knowledge of the various visualisation toolkits.
• Good analytical, technical and problem solving skills.
• Applicants with research publications in the data visualisation area will be advantageous.
• Self-motivated individual who can work independently and also collaboratively with team members.

OTHER INFORMATION

#LI-XL1

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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

• Design and implement AI for software engineering solutions.
• Conduct evaluations and/or user studies to validate the effectiveness of the algorithms and tools.
• Write and publish research papers and present them to reputable academic conferences.
• Package the documents, implementation code, evaluation results of the project for release.
• Liaise with other team members of this project to realize the overall goal of the project.

QUALIFICATIONS

• Minimum Bachelor Degree in Software Engineering/Computer Science/Computer Technology/Information Systems.
• Minimum 1 year of relevant research experience in AI for software engineering research.
• Excellent knowledge about software engineering research.
• Excellent knowledge about AI.
• Highly fluent in programming.
• Competent in designing and implementing algorithms and data structures.
• Excellent oral and written communication skills.
• Excellent analytical, technical and problem solving skills.
• Self-motivated individual who can work independently and also collaboratively with team members.
• Able to work under strict deadlines.

OTHER INFORMATION

#LI-XL1

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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

• Design and implement AI for software engineering solutions.
• Conduct evaluations and/or user studies to validate the effectiveness of the algorithms and tools.
• Write and publish research papers and present them to reputable academic conferences.
• Package the documents, implementation code, evaluation results of the project for release.
• Liaise with other team members of this project to realize the overall goal of the project.

QUALIFICATIONS

• Minimum Bachelor Degree in Software Engineering/Computer Science/Computer Technology/Information Systems.
• Minimum 1 year of relevant research experience in AI for software engineering research.
• Excellent knowledge about software engineering research.
• Excellent knowledge about AI.
• Highly fluent in programming.
• Competent in designing and implementing algorithms and data structures.
• Excellent oral and written communication skills.
• Excellent analytical, technical and problem solving skills.
• Self-motivated individual who can work independently and also collaboratively with team members.
• Able to work under strict deadlines.

OTHER INFORMATION

#LI-XL1

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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

• Investigate the state-of-the-art of Web 3 security development.
• Create case from SlowMist Web 3 security report database.
• Use data mining and AI technology to build pattern and model library from SlowMist data.
• Conduct experiments to evaluate solutionse) Draft report and research paper with supervision.

QUALIFICATIONS

• Minimum Bachelor's degree in Computer Science, Information Technology, Information Systems or closely related disciplines.
• Minimum 5 years of relevant research or industrial experience in Web 3 security domain.
• Basic knowledge/Proficiency in programming software/languages such as C and Java will be positively considered/ is required.
• Demonstrated experience and know-how on Web 3 security.
• Experience with at least one programming software/languages, such as C, C++, Java, Python is preferred
• Excellent working knowledge of blockchain ecosystem.
• Good analytical, technical and problem solving skills.
• Applicants with research publications in data mining and AI area will be advantageous.
• Self-motivated individual who can work independently and also collaboratively with team members.

OTHER INFORMATION

#LI-XL1

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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

• Data Collection: Large-scale data collection related to code ownership policies on GitHub.
• Data Analysis: Analyze collected data to identify usage patterns and impacts.
• Workflow Automation Programming: Develop an automation system for code ownership recommendations.
• Evaluation: Conduct system effectiveness tests and refine based on results.
• Documentation: Prepare reports and research papers on the project.

QUALIFICATIONS

• Minimum Bachelor's/Master's degree in Computer Science, Information Technology, Information Systems or closely related disciplines.
• Proficiency in programming languages, with advanced skills in Python required and familiarity with JavaScript beneficial.
• Demonstrated experience in software engineering practices, including version control, code review processes, and secure coding practices, with a strong preference for candidates experienced with GitHub.
• Experience with workflow automation systems, such as GitHub Actions, is preferred.
• Experience with using APIs for data collection and analysis is preferred.
• Knowledge of data science methodologies and statistical analysis tools is preferred.
• Good analytical, technical, and problem-solving skills, with a particular emphasis on strong critical thinking abilities and applying theoretical knowledge to practical software security challenges.
• Applicants with research publications in software engineering or related fields will be advantageous.
• Effective communication skills, both written and verbal, for documenting research findings clearly and collaborating effectively with team members and the wider community.
• Self-motivated individual who can work independently and also collaboratively with team members, demonstrating the ability to take initiative and contribute positively to team dynamics.

OTHER INFORMATION

#LI-XL1

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University