Senior Research Engineer, Symbolic Ai, Cclaw

5 days ago

Singapore Singapore Management University Full time

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.

DESIGNATION : Senior Research Engineer, Symbolic AI (1-year contract), CCLAW

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

QUALIFICATIONS

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 ꞏ Protégé ꞏ 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 Fam

  • Senior AI Engineer

    2 weeks ago

    Singapore QUILT AI PTE. LTD. Full time

    Roles & ResponsibilitiesReady to build the future of cultural intelligence? Come shape how the world understands human behavior through AIAbout Quilt AIWe're building something revolutionary at Quilt AI - a cultural intelligence platform that helps brands and organizations understand human behavior at unprecedented scale. Our AI-powered platform analyzes...

  • Senior Ai Research Manager

    1 day ago

    Singapore Hays Full time

    Your new company A Leading association is seeking for an experience Senior AI Research Manager to join their team. Your new role - As the Senior AI Research Manager, you are responsible to conduct AI research, leading the team and work closely with external parties to leverage research outcome. Your role will involve leading research projects, mentoring...

  • Principal Research Scientist, Symbolic Ai, Sol

    7 days ago

    Singapore Singapore Management University Full time

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

  • AI Research Engineers

    4 weeks ago

    Singapore RINGS PTE. LTD. Full time

    Roles & ResponsibilitiesWe are looking for a motivated and enthusiastic Junior AI Engineer to join our dynamic team. As a Junior AI Engineer, you will work closely with senior engineers and data scientists to help develop, implement, and optimize AI and machine learning models to solve real-world problems. You will have the opportunity to contribute to...

  • Research/senior Research Engineer

    4 days ago

    Singapore A*STAR Agency for Science, Technology and Research Full time

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

  • Research Engineer

    2 days ago

    Singapore SINGAPORE-MIT ALLIANCE FOR RESEARCH AND TECHNOLOGY CENTRE Full time

    Job DescriptionWe are seeking a highly skilled Research Engineer to join our team at the SINGAPORE-MIT ALLIANCE FOR RESEARCH AND TECHNOLOGY CENTRE. The successful candidate will be responsible for systematically organizing knowledge related to human-AI teams as part of a five-year research program on Mens, Manus and Machina-How AI Empowers People,...

  • Senior AI Research Scientist

    13 hours ago

    Singapore NTU (Nanyang Technology University- MainOffice-HR) Full time

    About the RoleWe are seeking a highly motivated Senior AI Research Scientist to join our Cloud Application and Platform Group. As a member of our team, you will be involved in cutting-edge research projects focused on Digital Twin for Advanced Battery Analytics.Lead research projects and cross-functional teams, including research fellows, engineers, and...

  • AI Researcher

    4 weeks ago

    Singapore EVOLUTION RECRUITMENT SOLUTIONS PTE. LTD. Full time

    Roles & ResponsibilitiesSHOUTOUT THIS IS A HYBRID ROLE: 3 days in office, 2 days outWe are looking for an AI/ML Researcher to lead the research and development of large language model (LLM) solutions. The ideal candidate should have at least 2 years of experience in NLP research and a deep understanding of LLM modeling, information retrieval, entity-relation...

  • Senior AI Researcher

    2 days ago

    Singapore NANYANG TECHNOLOGICAL UNIVERSITY Full time

    Nanyang Technological University’s National Centre for Research in Digital Trust is a pioneering research hub focused on creating a trustworthy digital environment. Our mission is to empower businesses and individuals with confidence as they navigate the digital transformation.We are seeking an exceptional researcher to join our team and contribute to...

  • Ai Research Engineer

    1 day ago

    Singapore BETTERDATA PTE. LTD. Full time

    **Who are we looking for**: - We are looking for a Research Engineer where you will be working on research and development of cutting edge synthetic data generation techniques in our corporate lab with a university. - Work closely with a world-class engineering team alongside software and AI/ML engineers to develop and incorporate algorithms into our AI...

  • Junior AI Engineer

    4 weeks ago

    Singapore QUILT AI PTE. LTD. Full time

    Roles & ResponsibilitiesAbout Quilt AIWe're building something revolutionary at Quilt AI - a cultural intelligence platform that helps brands and organizations understand human behavior at unprecedented scale. Our AI-powered platform analyzes billions of digital footprints to uncover the cultural codes that drive human decisions and desires.Think of us as...

  • AI Researcher

    5 days ago

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

    Nanyang Technological University's School of Electrical and Electronic Engineering is a world-renowned institution for its cutting-edge research and innovative spirit. We are currently seeking a talented AI Researcher to join our team and contribute to our exciting projects in embodied AI research. As a researcher in our group, you will have the opportunity...

  • Research Engineer

    4 days ago

    Singapore Singapore-MIT Alliance for Research and Technology Full time

    Developing semi-formal descriptions of activities and processes that can be performed by people and/or AI systems. - Developing database and user interface tools for online knowledge bases of these activities and processes. - suggest innovative ways of combining humans and AI to solve various kinds of problems. - specify detailed workflows, task assignments,...

  • Senior Researcher in Medical AI

    13 hours ago

    Singapore Nanyang Technological University Full time

    Job DescriptionLeverage cutting-edge technologies to drive medical innovations and improve patient outcomes as a Research Associate at Nanyang Technological University's LKCMedicine. We are seeking an exceptional individual to lead innovative research in medical image processing, 3D organ reconstruction, large-scale model applications, and AI integration...

  • Research Engineer/senior Research Engineer

    5 days ago

    Singapore A*STAR Agency for Science, Technology and Research Full time

    The key roles & responsibilities include, but are not limited to the following: Co-develop AI models to enhance and automate decision making Work with a team of scientist and engineers to execute deliverables for industry projects Engage companies to understand their challenges and translate to research collaborations in AI Contribute to research and...

  • Senior Ai Architect for Ai Singapore

    5 days ago

    Singapore Office of the Deputy President(Res&Tech) Full time

    **Posting Start Date**:06/03/2025 AI Singapore (AISG) is a national AI programme launched by the National Research Foundation (NRF) to anchor deep national capabilities in Artificial Intelligence (AI). The programme office is hosted by the National University of Singapore (NUS) and brings together all Singapore-based research institutions and the vibrant...

  • Ai Research Engineer

    6 days ago

    Singapore BIFROST PTE. LTD. Full time

    **Bifrost**: Bifrost generates 3D worlds at scale and high fidelity synthetic datasets for AI development. This next-generation capability has use cases across defence, space, gaming, metaverse, mobility and robotics. We believe autonomous systems and computer vision have the opportunity to drastically improve the quality of life for billions of...

  • Senior AI Researcher

    12 hours ago

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

    Job OverviewThe School of Electrical and Electronic Engineering at NTU is a renowned institution built on a culture of excellence. We are seeking two Research Fellows to join our research team and contribute to cutting-edge projects in bio-inspired AI and sensor technologies.This is a fantastic opportunity to work with a talented, interdisciplinary team that...

  • Senior Research Scientist for AI-Augmented Teams

    2 days ago

    Singapore SINGAPORE-MIT ALLIANCE FOR RESEARCH AND TECHNOLOGY CENTRE Full time

    Collaborative Researcher for AI-Powered InnovationThis position offers a unique chance to collaborate with a diverse group of researchers and scientists on a groundbreaking project. As a key member of our team, you will contribute to the development of innovative solutions that bring together human expertise and AI capabilities.

  • Ai Researcher

    5 days ago

    Singapore Arabesque Full time

    **About Arabesque** We are a global group of financial technology companies offering sustainable investment, advisory, and data services through our advanced ESG and AI capabilities. Established in 2013, our story is one of partnership between leaders in finance, mathematics, AI, and sustainability working together to deliver a new approach to capital...