Senior Research Engineer, Symbolic Ai

1 month 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 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

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

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. Singapore Management University

  • Research Engineer/Senior Research Engineer, Visual Intelligence, I2R

    2 months ago

    Singapore A*STAR RESEARCH ENTITIES Full time

    Roles & ResponsibilitiesThe (Senior) Research Engineer must be willing to work on multi-disciplinary research projects at the intersection of computational neuroscience and AI. This includes designing human behavioral experiments and collecting human responses, alongside developing computational models of cognitive functions (visual attention, eye movements,...

  • Senior Research Engineer, Symbolic Ai

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

  • Senior Research Engineer, Symbolic Ai

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

  • Senior AI Research Scientist

    2 months ago

    Singapore HYPERGAI PTE. LTD. Full time

    Roles & ResponsibilitiesJob Details:The HyperGAI founding team has been pioneering in the field of artificial intelligence especially for Generative AI areas including multimodal generative AI, foundation models, large language models, computer vision, deep learning and machine learning. At HyperGAI, our team is committed to advancing the frontier of...

  • Senior AI Research Scientist

    4 weeks ago

    Singapore HYPERGAI PTE. LTD. Full time

    Roles & ResponsibilitiesJob Details:The HyperGAI founding team has been pioneering in the field of artificial intelligence especially for Generative AI areas including multimodal generative AI, foundation models, large language models, computer vision, deep learning and machine learning. At HyperGAI, our team is committed to advancing the frontier of...

  • AI Engineer for AI Singapore

    4 weeks ago

    Singapore NATIONAL UNIVERSITY OF SINGAPORE Full time

    Roles & ResponsibilitiesInterested applicants are invited to apply directly at the NUS Career Portal.Your application will be processes only if you apply via NUS Career Portal.We regret that only shortlisted candidates will be notified.Job DescriptionAI Singapore (AISG) is a national AI programme launched by the National Research Foundation (NRF) to anchor...

  • AI Research Scientist

    2 weeks ago

    Singapore HyperGAI Full time

    We are looking for extraordinary research scientists in the Multimodal Generative AI field. As a research scientist, you discover new research problems, develop novel methods, train new models, design comprehensive experiments, and generally advance the state of the art in Generative AI. Research scientists have the opportunities of choosing their research...

  • Ai Engineer

    2 weeks ago

    Singapore Bifrost AI Full time

    At Bifrost, we believe that autonomous systems and computer vision have the opportunity to drastically improve the quality of life for billions of people.This is why we love what we do: enabling AI developers to build safer, better systems in a fraction of the time.We're helping unlock new capabilities previously thought impossible to do at scale - landing...

  • Senior Ai Researcher

    2 weeks ago

    Singapore Upper Spring Consulting Full time

    Job Category:Information TechnologyJob Type:PermanentJob Location:SingaporeWe are currently assisting our client, part of a global technology and engineering group, look for a Senior AI Researcher.Responsibilities: Work closely with product, business development and sales teams to understand business goals and determine AI requirements. Work with software...

  • Principal Research Scientist, Symbolic Ai, Cclaw

    2 weeks ago

    Singapore Singapore Management University Full time

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

  • (Senior) Lead Research Engineer,ARTC

    1 month ago

    Singapore A*STAR RESEARCH ENTITIES Full time

    Roles & ResponsibilitiesThe Advanced Remanufacturing and Technology Centre (ARTC) is a public-private partnership consortium of more than 80 industry members. Our core mission is to develop and deploy advanced manufacturing solutions and upskill the workforce to drive local industry competitiveness.Smart Virtual Systems (SVS) Group is seeking a highly...

  • Research Engineer

    3 weeks ago

    Singapore A*star Research Entities Full time

    Job DescriptionAs a (Senior) Research Engineer in our Robotics & Automation R&D team, you will play a pivotal role in conceptualizing, designing, and implementing intelligent robotics solutions that solve complex challenges across various industries. Leveraging your expertise in robotics, computer vision, AI, and ROS, etc., you will contribute to the...

  • Principal Research Scientist, Symbolic Ai

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

  • Principal Research Scientist, Symbolic Ai

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

  • Senior Research Engineer/Lead Research Engineer

    3 months ago

    Singapore A*STAR RESEARCH ENTITIES Full time

    Roles & ResponsibilitiesJob Description:The CPPS group is seeking a highly motivated senior research engineer or lead research engineer to lead and conduct R&D in Industry 5.0 smart manufacturing solutions and integrating digital technologies with AI-enabled physical production systems that promote human-centricity, environmental sustainability, and...

  • AI Engineer for AI Singapore

    4 weeks ago

    Singapore NATIONAL UNIVERSITY OF SINGAPORE Full time

    Roles & ResponsibilitiesInterested applicants are invited to apply directly at the NUS Career Portal.Your application will be processes only if you apply via NUS Career Portal.We regret that only shortlisted candidates will be notified.Job DescriptionAI Singapore (AISG) is a national AI programme launched by the National Research Foundation (NRF) to anchor...

  • Ai Research Engineer Computer Vision

    2 weeks ago

    Singapore Adecco - GS Perm Full time

    As an AI Research Engineer, you will be responsible for researching the state-of-the-art methodologies to achieve the best performance in AI and machine learning. The person in this role should have experience and good understanding in Computer Vision.Adecco is partnering with a Global company. They are looking for an AI Research Engineer to join their...

  • Research Assistant in Artificial Intelligence

    2 months ago

    Singapore SINGAPORE UNIVERSITY OF TECHNOLOGY AND DESIGN Full time

    Roles & ResponsibilitiesWe are seeking a highly motivated research assistant with a strong mathematical background who is interested to explore new research directions in neuro-symbolic methods, specifically on the interplay between deep learning and symbolic reasoning. The successful candidate can expect to help with the implementation of algebraic machine...

  • Senior Research Engineer, Symbolic Ai

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

  • Senior Research Engineer, Symbolic Ai

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