Lex Jobs

AI/ML Architect

Permanent Job

Singapore

5-7 years

9000 - 11000 USD monthly

SageMaker Comprehend ScikitLearn R MxNet Rekognition Lex Pytorch Python AWS Tensorflow

4 days ago

Senior Research Engineer, Symbolic AI (contract till 30 Jun 2025), CCLAW

Permanent Job

Singapore

0-2 years

Yacc ltl CoQ Controlled Natural Languages Flora-2 Defeasible Logic Language Server Protocol Agda VDM++ FrameNet ACErules Protg UFO JetBrains MPS B Method owl K Framework SPIN alloy ivy RIF NuSMV Advanced Haskell Z notation CTL Lean Prover Expert Systems Sentient Happy RDFt wordnet Template Cyc Full-Stack Development ocaml BNFC KBpedia bison SUMO Oracle Policy Manager TLA+ F* RDFa DocAssemble CFGs Idris alex Emacs EBNF SWRL Answer-Set Programming SenseNet Attempto Controlled English Sublime Text Visual Studio Code Prolog Atom Vim Lex Amazon Web Services datalog Node Drools Docker Typescript Haskell Javascript Python Lisp

a month ago

Principal Research Engineer (till 30 Jun 2025), Centre for Computational Law

Permanent Job

Singapore

0-2 years

Yacc ltl CoQ Controlled Natural Languages Flora-2 Defeasible Logic Test-Driven Development Language Server Protocol Agda VDM++ FrameNet Protg UFO JetBrains MPS B Method owl K Framework SPIN alloy ivy RIF literate programming NuSMV Xp Advanced Haskell pair programming Z notation CTL Lean Prover Expert Systems Sentient Happy RDFt wordnet Template ACE rules Cyc Full-Stack Development ocaml BNFC KBpedia bison SUMO Oracle Policy Manager TLA+ F* RDFa DocAssemble CFGs Idris alex Emacs EBNF SWRL Answer-Set Programming SenseNet Attempto Controlled English Sublime Text Agile Scrum Visual Studio Code Prolog Atom Software Project Management Vim Lex Unit Testing Amazon Web Services datalog Node Drools Docker Typescript Haskell Javascript Python Lisp Continuous Integration

a month ago

Senior Research Engineer (contract till 30 Jun 2025), CCLAW

Permanent Job

Singapore

0-2 years

Yacc ltl CoQ Flora-2 Defeasible Logic Agda VDM++ Protg UFO B Method Parsers owl alloy ivy RIF Isabelle Advanced Haskell Z notation CTL Lean Prover Expert Systems Happy RDFt Template Cyc Full-Stack Development ocaml etc Programming Language Theory BNFC KBpedia bison SUMO Oracle Policy Manager TLA+ F* HOL RDFa DocAssemble CFGs Idris alex EBNF SWRL Answer-Set Programming StrangeLoop Compilers Prolog Lex Amazon Web Services datalog Node elm Drools Docker Typescript Haskell Javascript Python Lisp

a month ago

Home

lex Jobs

Top Industry

Job Category

Lex Jobs

AI/ML Architect

Senior Research Engineer, Symbolic AI (contract till 30 Jun 2025), CCLAW

Principal Research Engineer (till 30 Jun 2025), Centre for Computational Law

Senior Research Engineer (contract till 30 Jun 2025), CCLAW