Current jobs related to Principal Research Scientist, Symbolic Ai, Cclaw, Yphsl - Singapore - SINGAPORE MANAGEMENT UNIVERSITY

  • Principal Research Scientist, Symbolic Ai, Cclaw, Yphsl

    4 months ago

    Singapore SINGAPORE MANAGEMENT UNIVERSITY Full time

    Contract Middle Management Bachelor\'s Degree or equivalent | Master\'s or equivalent | Doctorate or equivalent Singapore | Closing On 17 May 2023 1-year contractAbout Us 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...

  • Senior Research Engineer, Symbolic AI

    22 hours ago

    Singapore HYPERSCAL SOLUTIONS PTE. LTD. Full time

    Research Engineer in Symbolic AIJoin HYPERSCAL SOLUTIONS PTE. LTD. as a Research Engineer in Symbolic AI and contribute to the development of cutting-edge technologies in the field of artificial intelligence.About the RoleWe are seeking a highly skilled and motivated Research Engineer to join our team in Singapore. As a Research Engineer in Symbolic AI, you...

  • Principal Research Scientist, Symbolic Ai

    4 months ago

    Singapore SINGAPORE MANAGEMENT UNIVERSITY Full time

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

  • Research Scientist

    2 weeks ago

    Singapore SKYWORK AI PTE. LTD. Full time

    About Skywork AI PTE. LTD.Skywork AI PTE. LTD. is a dynamic and innovative company dedicated to pushing the boundaries of Artificial General Intelligence (AGI). Our mission is to advance the field of AGI through foundational research, with a particular focus on Foundation Model 2.0 and Agents.Job SummaryWe are seeking a highly skilled and motivated Research...

  • AI Research Scientist

    7 days ago

    Singapore RiceBowl Full time

    Job Summary:RiceBowl is seeking a highly skilled AI Research Scientist to join our team. As a key member of our research team, you will be responsible for conducting cutting-edge research in artificial intelligence, machine learning, and related fields to advance our technological capabilities. This role involves developing innovative algorithms,...

  • AI Research Scientist

    1 week ago

    Singapore RiceBowl Full time

    Job Summary:RiceBowl is seeking a highly skilled AI Research Scientist to lead cutting-edge research in artificial intelligence, machine learning, and related fields. As a key member of our team, you will be responsible for developing innovative algorithms, experimenting with new AI techniques, and contributing to academic and industry knowledge.Key...

  • Research Scientist

    21 hours ago

    Singapore SKYWORK AI PTE. LTD. Full time

    Research ScientistSkywork AI Singapore is seeking a highly motivated and accomplished Research Scientist to join our dynamic team at the Kunlun-2050 Research Lab Singapore. As a key member of our research team, you will be responsible for conducting cutting-edge research in the field of Artificial General Intelligence (AGI), with a focus on Foundation Model...

  • Research Scientist

    22 hours ago

    Singapore SKYWORK AI PTE. LTD. Full time

    Research ScientistSkywork AI Singapore is seeking a highly motivated and accomplished Research Scientist to join our dynamic team at the Kunlun-2050 Research Lab Singapore. As a pioneer in the field of Artificial General Intelligence (AGI), we are dedicated to pushing the boundaries of AGI through foundational research, with a particular focus on Foundation...

  • Research Scientist

    2 weeks ago

    Singapore SKYWORK AI PTE. LTD. Full time

    {"Roles & ResponsibilitiesSummary:At Skywork AI Singapore, we are seeking a talented Research Scientist to contribute to our cutting-edge research in Artificial General Intelligence (AGI). As a member of our dynamic team at the Kunlun-2050 Research Lab, you will have the opportunity to push the boundaries of AGI through foundational research, with a focus on...

  • Principal Research Scientist

    4 months ago

    Singapore NTU (Nanyang Technology University- Main Office-HR) Full time

    The Air Traffic Management Research Institute (ATMRI), established in 2013 through a strategic partnership between NTU and the Civil Aviation Authority of Singapore (CAAS), is a premier institution dedicated to advancing the science and technology of air traffic management. ATMRI aims to enhance the efficiency, safety, and sustainability of the worldwide air...

  • Principal Research Scientist

    22 hours ago

    Singapore NANYANG TECHNOLOGICAL UNIVERSITY Full time

    Job Title: Principal Research ScientistWe are seeking a highly skilled and experienced Principal Research Scientist to join our team at Nanyang Technological University. The successful candidate will be responsible for leading and managing research projects, supervising research staff, and collaborating with international partners.Key Responsibilities:Lead...

  • Research Scientist

    2 weeks ago

    Singapore MyCareersFuture Full time

    Job Summary:MyCareersFuture is seeking a highly skilled Research Scientist to join our team at the Kunlun-2050 Research Lab. As a Research Scientist, you will be responsible for conducting groundbreaking research in Artificial General Intelligence (AGI), focusing on Foundation Model 2.0 and Agents.Key Responsibilities:Conduct research in AGI, focusing on...

  • Research Scientist

    2 weeks ago

    Singapore SKYWORK AI PTE. LTD. Full time

    Research EngineerAt Skywork AI PTE. LTD., we are seeking a highly skilled Research Engineer to join our team of experts in Artificial General Intelligence (AGI). As a Research Engineer, you will play a crucial role in pushing the boundaries of AGI through foundational research, with a particular focus on Foundation Model 2.0 and Agents.Key...

  • AI Research Scientist

    3 weeks ago

    Singapore RiceBowl Full time

    Job Summary:RiceBowl is seeking a highly skilled AI Research Scientist to join our team and contribute to the development of cutting-edge artificial intelligence and machine learning technologies. As a key member of our research team, you will be responsible for conducting advanced research in AI and machine learning, developing innovative algorithms and...

  • Research Scientist

    2 weeks ago

    Singapore MyCareersFuture Full time

    About MyCareersFutureMyCareersFuture is a leading organization in the field of Artificial Intelligence, dedicated to advancing the understanding of intelligence and driving breakthroughs in AI.Job SummaryWe are seeking a highly skilled Research Scientist to join our team at MyCareersFuture. As a Research Scientist, you will be responsible for designing novel...

  • Research Scientist

    3 months ago

    Singapore SKYWORK AI PTE. LTD. Full time

    Roles & ResponsibilitiesSummary:Skywork AI Singapore welcomes enthusiastic and forward-thinking research scientists 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 research, with a...

  • Research Scientist/Senior Research Scientist, ISCE2

    2 weeks ago

    Singapore A*STAR RESEARCH ENTITIES Full time

    Roles & ResponsibilitiesJOB DESCRIPTIONResearch Scientist/Senior research scientist (Catalysis/AI scientist with process and chemistry background)The Emerging Technologies Division is looking for a proactive, highly motivated, and creative scientist to lead and contribute to research in carbon capture and utilization, sustainable processes for the...

  • Research Scientist

    22 hours ago

    Singapore SKYWORK AI PTE. LTD. Full time

    Research EngineerAt Skywork AI PTE. LTD., we are seeking a highly skilled Research Engineer to join our team. As a Research Engineer, you will be responsible for conducting groundbreaking research in the field of Artificial General Intelligence (AGI), focusing on Foundation Model 2.0 and Agents.Key Responsibilities:Collaborate with our research scientists to...

  • Research Scientist

    2 weeks ago

    Singapore NANYANG TECHNOLOGICAL UNIVERSITY Full time

    About the RoleNanyang Technological University is seeking a highly skilled Research Scientist to join our team and contribute to pioneering research in learning-based model compression and green AI/computing.Key ResponsibilitiesTo conduct cutting-edge research in exploring learning-based model compression and green AI/computing, with a focus on developing...

  • AI Research Scientist

    1 month ago

    Singapore HSBC Full time

    Job description Some careers grow faster than others. If you’re looking for a career that will give you plenty of opportunities to develop, join HSBC and your future will be rich with potential. Whether you want a career that could take you to the top, or simply take you in an exciting new direction, HSBC offers opportunities, support and rewards that...

Principal Research Scientist, Symbolic Ai, Cclaw, Yphsl

4 months ago

Singapore SINGAPORE MANAGEMENT UNIVERSITY Full time

  • Contract
  • Middle Management
  • Bachelor\'s Degree or equivalent | Master\'s or equivalent | Doctorate or equivalent
  • Singapore | Closing On 17 May 2023 1-year contract

    About Us

    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.



    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 prototypes for government and industry partners in the areas of computable contracts and "rules as code". Experience in requirements 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 multiple use cases so that we can abstract across them and develop generalized, reusable infrastructure. We will work with 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 be expected to actively participate in team meetings and text-based communications. You will be expected to be active 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; 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, and demonstrated practical experience producing and supporting high-quality open-source code through community 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.

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 \xea\x9e\x8f Unix \xea\x9e\x8f TCP/IP \xea\x9e\x8f HTTP(S) \xea\x9e\x8f XML \xea\x9e\x8f JSON \xea\x9e\x8f Schemas \xea\x9e\x8f YAML \xea\x9e\x8f Git \xea\x9e\x8f Github \xea\x9e\x8f Technical Writing \xea\x9e\x8f Developer Relations and Evangelism

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

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

Semantic Web and Ontologies: RDFa \xea\x9e\x8f RDFt \xea\x9e\x8f RDF \xea\x9e\x8f RIF \xea\x9e\x8f SWRL \xea\x9e\x8f OWL \xea\x9e\x8f Cyc \xea\x9e\x8f KBpedia \xea\x9e\x8f SUMO \xea\x9e\x8f UFO \xea\x9e\x8f Prot\xc3\xa9g\xc3\xa9 \xea\x9e\x8f or a commercial rules engine with ontology support

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

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

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

Skills listed below this line are preferred but not required:

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

Model Checkers and SAT/SMT solvers: Z3 \xea\x9e\x8f PAT \xea\x9e\x8f SMTlib \xea\x9e\x8f NuSMV \xea\x9e\x8f SPIN \xea\x9e\x8f Sentient

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

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

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

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

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

Other Information

#LI-JN2

Times Higher Education