![SINGAPORE MANAGEMENT UNIVERSITY](https://media.trabajo.org/img/noimg.jpg)
Senior Research Engineer, Symbolic Ai
5 days ago
:
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
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
-
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
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...
-
AI Research Scientist
2 weeks ago
Singapore HyperGAI Full timeWe 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...
-
Principal Research Scientist, Symbolic Ai, Cclaw
2 weeks ago
Singapore Singapore Management University Full timeCOMPANY 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...
-
Ai Engineer
2 weeks ago
Singapore Bifrost AI Full timeAt 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 timeJob 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...
-
Research Engineer
3 weeks ago
Singapore A*star Research Entities Full timeJob 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...
-
Ai Research Engineer Computer Vision
2 weeks ago
Singapore Adecco - GS Perm Full timeAs 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 timeRoles & 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...
-
Ai Research Analyst
2 weeks ago
Singapore DC FRONTIERS PTE. LTD. Full timeHandshakes is an award-winning DataTech company. We enable our clients to make safer, more informed decisions by delivering meaningful insights, harnessed from reliable data. Through our products, clients gain greater clarity on their businesses, clients, partners, and competitors.We are looking for an Artificial Intelligence Research Analyst ( AI Research...
-
Senior Full Stack Developer
1 month ago
Singapore VULCAN AI Full timeVulcan AI are an enterprise AI solution provider that helps businesses do more with less. Better outcomes, with lesser resources and carbon footprint. We build AI to better manage the Internet of Things (IoT) and power responsible enterprises.We build intelligent applications that incorporate industry, functional processes and engineering know-how into AI...
-
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...
-
AI Researcher/ Scientist
2 weeks ago
Singapore SHANDA GROUP PTE. LTD. Full timeRoles & ResponsibilitiesWhy You Should Join Our TeamEmbracing innovation is the cornerstone of Shanda's mission. We thrive on collaborative learning and continuous innovation, viewing challenges as opportunities for growth and progress towards our long-term objectives. At Shanda, we cultivate a culture of collective growth and impact, not only for ourselves...
-
Intern, AI Research engineer
2 weeks ago
Singapore, Singapore Bosch Group Full timeCompany DescriptionRobert Bosch (South East Asia)Pte Ltd is a regional subsidiary of the Bosch Group, representing the Group's interests in Southeast Asia where it is present in all ASEAN member countries. Business operations in these countries report to Robert Bosch (South East Asia) Pte Ltd, located in Singapore. Bosch has been present in Southeast Asia...
-
Research Scientist
2 months ago
Singapore NTU (Nanyang Technology University- Main Office-HR) Full timeA Corp Lab in NTU is looking for a Research Scientist to conduct research in Green AI.Key Responsibilities:Designing and conducting comprehensive research focused on applying AI in medical fields such as medical report generation, medical knowledge graph creation, and personalized medicine recommendations.Developing and fine-tuning advanced AI models to...
-
Research Associate, AI for Biomedicine
1 week ago
Singapore NTU (Nanyang Technology University- Main Office-HR) Full timeThe MVAIT lab at Nanyang Technological University conducts high quality research on AI for medicine. These projects include the development of AI and software tools for the analysis of different types of medical data, such as omics, cell and medical imaging data. The objective is to enhance clinical efficiency and introduce affordable and effective...
-
Senior Research Engineer I
2 months ago
Singapore NTU (Nanyang Technology University- Main Office-HR) Full timeA Senior Research Engineer I position is available in the Centre for Smart Platform Infrastructure Research on Integrative Technology (SPIRIT), Nanyang Technological University, Singapore. SPIRIT is a translational R&D institute funded by National Research Foundation and supported by Smart Nation Programme Office and GovTech, to develop the Smart Platform...
-
Singapore SINGAPORE MANAGEMENT UNIVERSITY Full timeContract Middle Management Bachelor\'s Degree or equivalent | Master\'s or equivalent | Doctorate or equivalent Singapore | Closing On 17 May 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 culture...
-
Singapore SINGAPORE MANAGEMENT UNIVERSITY Full timeContract 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...