• Company Benefits & Incentives
• Career Progression Opportunities
• Attractive Salary Package
• Working Location: Island wide - Arrange Close to Your Home
• Working days: 5 days

Job Requirements:

• Diploma/ Fundamental Certificate in Early Childhood Care and Education (DECCE / FECCE) OR;
• Relevant Experience

Job Scope:

• Ensure the safety of children at all times
• Responsible for planning and implementing programs for young children
• Engage children with activities to enhance their learning experience
• Observe, assess and document children's performance, behavior, social development, and physical health

Tan Meng Liang Reg No: R23115923

The Supreme HR Advisory Pte Ltd EA No: 14C7279

At NTUC First Campus, we believe you should harness them all to be the best you can be. This is why we respect you and your needs so you can excel at work, while we provide you with the opportunities to develop and grow your potential. Most importantly, we keep you excited to work in an organisation that is constantly innovating.

You will nurture children through developmentally appropriate, integrated, and authentic learning experiences which caters to a diverse classroom with varied interests, learning needs and styles.

You are required to facilitate learning experiences to help children acquire important life skills and cultivate a positive disposition that will prepare them to be life-long learners. It is also important to create learning activities and classroom environments and that are safe, purposeful, and engaging for children to learn in meaningful contexts.

You will establish a strong home school partnership with parents to foster children's holistic development through home-based learning activities and resources and to provide quality care and education in the best interest of the children to assure parents a peace of mind.

You will engage and partner various community partners to extend children’s learning beyond the classroom. There will be opportunities to participate in trainings, workshops, E learning or reflection as part of your continuous professional development journey.

Working alongside with a dynamic team, you will establish a conducive culture and achieve SPARK accreditation.

Requirements:

• Minimum with a Diploma or Certificate in Early Childhood Care & Education - Teaching (DECCE-T or CECCCE), Diploma in Child Psychology & Early Education
• GCE 'O' Level credit in English with a minimum of C6 grading
• Good communication and interpersonal skills
• IT savvy
• A team player with passion in equipping and inspiring young lives

Hi! We’re looking for an Assistant Teacher for a Private Kindergarten who loves working with kids and is excited to be part of an awesome teaching team!

The vibe:

• Creativity is valued and teachers are encouraged to bring their unique ideas to the classroom to make everyday exciting and engaging for the children.
• The management team is incredibly supportive, providing the team with the resources and guidance needed to thrive.
• They follow a play-based approach, helping children explore, discover, and grow through hands-on experiences.
• With smaller class sizes, meaningful connections are built with each child, nurturing their development in a personalized way.
• They celebrate diversity and create an inclusive environment where every child feels valued and loved.

What you’ll do:

• Assist in creating a warm and welcoming classroom where every child feels safe and excited to learn.
• Support the Lead Teacher in implementing lesson plans and activities that promote language development and social skills.
• Observe and engage with children during activities, providing encouragement and guidance as needed.
• Help maintain a clean and organized classroom environment that promotes exploration and discovery.
• Communicate with parents and guardians about their child’s progress and experiences in a friendly and open manner.

About you:

• You possess minimally a Fundamentals Certificate in Early Childhood Care and Education.
• You’re enthusiastic about working with young children and love making learning enjoyable.
• You’re patient, nurturing, and bring a positive attitude to the classroom.
• You communicate well with kids and parents, building strong relationships.
• You’re ready to contribute to a supportive team environment and help every child thrive.

If this sounds like you, we’d love for you to apply!

*Only candidates selected for shortlisting will be contacted.

Melody Grace Navarro | EA Licence No.: R1764275

Talents Connect | EA Reg. Number: 22C1201

Position: English language teacher [L2]

Salary: Up to $4000

Job Description

• Plan, supervise and implement the programme for the class in accordance with centre’s policies and framework.

• Complete progress reports on children for each semester and prepare a developmental portfolio for each child.

• Set up and create a stimulating and engaging pleasant learning environment that promotes self-directed learning.

• Responsible for all aspects of classroom management and carry out routine care duties to ensure safety and hygiene of the children.

• Work closely with the other teaching staff in the class in carrying out the duties.

• Build and maintain close partnership with parents.

Requirements

• Minimum Diploma in Early Childhood Care and Education

• Certified by ECDA at L2 category.

✅The Supreme HR Advisory Pte Ltd EA No: 14c7279

✅SAMUEL SIAW Reg No: R24124745

Join the Team at Matt's Education!

About Us

Founded in 2011, Matt’s Education is a vibrant enrichment centre located in the heart of the West, specializing in engaging English, Maths, and Science classes. We believe that childhood should be filled with joy while students pursue academic excellence. Our unique approach has earned us features in prominent publications like The Straits Times, CNA, and Lianhe Zaobao. With two outlets in Jurong West and Clementi, we also partner with MOE schools to deliver public speaking training and exciting English-related projects throughout the year. Discover more about our innovative approach at www.mattseducation.com.

About the Role

Are you passionate about shaping young minds? Ready to embark on a rewarding career in private education? Join our supportive team at Matt’s Education, where you’ll receive comprehensive mentorship to help you thrive as an educator.

We are on the lookout for a dynamic and dedicated individual to teach Science and Mathematics at both primary and secondary levels. In this full-time role, you’ll not only lead engaging classes but also collaborate on curriculum and program development, making a meaningful impact on our students' academic journeys. Recent graduates eager to start their careers in education are warmly encouraged to apply!

Note: This position is open only to Singapore citizens and permanent residents.

Key Responsibilities

Conduct group tuition classes in Maths and Science for primary and secondary students

Collaborate closely with the founders to innovate and develop our curriculum

Partner with the team to design and implement enriching programs in local schools

Qualifications

A minimum of a bachelor’s degree

Strong command of the English language

Excellent interpersonal and communication skills

Comfort and enthusiasm for teaching in a classroom setting

Availability to work 4 weekdays and 1 weekend on a permanent basis

Part time positions available as well

Proficiency in Microsoft Office

What We Offer

A competitive remuneration package tailored to your experience and qualifications

A warm, family-like environment that fosters personal and professional growth, giving you the freedom to bring your ideas to life

The chance to be part of a respected educational institution that helps students rediscover their love for learning

Join us in making a difference in the lives of our students! If you’re ready to inspire and empower the next generation, we’d love to hear from you.

Our Client:

• Reputable Preschools
• Multiple Locations
• 5 Days, Monday to Friday
• Up to $4500 + AWS + Performance Bonuses

Responsibilities:

• Engage children meaningfully in accordance with the curriculum.
• Responsible for all aspects of classroom management.
• Carry out routine care duties and ensure safety of the children.
• Build positive relationships with the parents.

Requirements:

• Higher Certificate in Infant Care (HCIC) / Advanced Certificate in Early Years (ACEY) / Diploma Certificate.

For interested applicants, please click “Quick Apply”

We regret to inform that only shortlisted candidates would be notified.

By submitting your personal data and/or resume, you will be deemed to have agreed and consented to us collecting, using, retaining, and disclosing your personal information to prospective employers for their consideration.

Quay Choon Lan Joanne (Guo Chunlan) | EA Reg No: R24121479
JTE Recruit Pte Ltd | EA Lic No: 14C7215

Our Client:

• Reputable Preschools
• Multiple Locations
• 5 Days, Monday to Friday
• Up to $4500 + AWS + Performance Bonuses

Responsibilities:

• Engage children meaningfully in accordance with the curriculum.
• Responsible for all aspects of classroom management.
• Carry out routine care duties and ensure safety of the children.
• Build positive relationships with the parents.

Requirements:

• Diploma in Early Childhood Care & Education.

For interested applicants, please click “Quick Apply”

We regret to inform that only shortlisted candidates would be notified.

By submitting your personal data and/or resume, you will be deemed to have agreed and consented to us collecting, using, retaining, and disclosing your personal information to prospective employers for their consideration.

Quay Choon Lan Joanne (Guo Chunlan) | EA Reg No: R24121479
JTE Recruit Pte Ltd | EA Lic No: 14C7215

Our Client:

• Reputable Preschool
• 5 Days, Monday to Friday
• Location: MacPherson
• Up to $4300 per month + AWS + Performance Bonus

Responsibilities:

• Implement the school’s curriculum and adapt it to meet the needs of individual children.
• Responsible for all aspects of classroom management.
• Document children’s learning progress and developmental milestones.
• Carry out routine care duties and ensure safety of the children.
• Build positive relationships with the parents, providing regular updates on their child’s progress.

Requirements:

• Diploma in Early Childhood Care & Education.
• Certified by ECDA at L2 Category.
• Minimum 1 year of preschool teaching experience.

For interested applicants, please click “Quick Apply”

We regret to inform that only shortlisted candidates would be notified.

By submitting your personal data and/or resume, you will be deemed to have agreed and consented to us collecting, using, retaining, and disclosing your personal information to prospective employers for their consideration.

Quay Choon Lan Joanne (Guo Chunlan) | EA Reg No: R24121479
JTE Recruit Pte Ltd | EA Lic No: 14C7215

• Working days: Monday - Friday
• Working Hours:
  School Holidays : 7am-2pm & 12pm to 7pm ( 2 shift)
  Non School Holiday: 12pm-7pm
• Salary: $1500 - $1700
• Location: Ubi Ave 1 (Ubi)

Responsibilities

• Guide student on their school homework and assignments
• Conduct daily student care and school holiday programs
• Monitor and record the student’s progress and ensure that learning goals are met
• Develop and implement new lesson plans and other creative activities
• Create a fun and interactive learning environment
• Communicate with parents on their child’s learning progress
• Provide administrative support for the centre’s operations and events

Requirements:

• Minimum O levels

If you are interested to apply, kindly WhatsApp me your updated resume in DOC file and allow our Consultant to match you with our Clients.

Whatsapp: +65 8525 2419

Email: [email protected]

Tan Man Ee Reg No: R22108289

The Supreme Hr Advisory Pte Ltd EA No: 14C7279

Interested applicants are invited to apply directly at the NUS Career Portal

Your application will be processed only if you apply via NUS Career Portal

We regret that only shortlisted candidates will be notified.

Job Description

The Centre for Computational Social Science and Humanities (CSSH) is seeking a Research Associate to join our collaborative team and advance computational research in the social sciences and humanities.

Position Overview

As Research Associate, you will design and implement high-quality, sustainable software to drive research in computational social science and humanities. You will collaborate with CSSH management, faculty and external partners to translate research priorities into software solutions, including data analysis, model implementation, and tool development. Your expertise in computational methods and machine learning workflows will be crucial in advising scholars and contributing to research outputs. This full-time position is based in Singapore.

Key Responsibilities

• Develop, test, and maintain research software using best practices in software engineering
• Implement and optimize machine learning workflows for social science and humanities research
• Manage multiple projects and priorities effectively
• Contribute to research articles and presentations
• Help train graduate students and run master classes
• Promote CSSH’s work within the broader computational social science and digital humanities communities

The successful candidate will play a crucial role in advancing computational research in the social sciences and humanities at the National University of Singapore. We seek an individual who can bridge technical expertise with domain-specific knowledge related to the key themes of the centre to drive innovative research outcomes. The themes are: 1) computational models of social behaviour; 2) digital platforms and ecosystems; 3) health and social care; 4) social media, networks, and interactions; 5) texts, heritage and culture.

Only shortlisted candidates will be notified.

Job Requirements

• Bachelor's or Master's degree in Computer Science, Data Science, Computational Social Science, Digital Humanities, or a related field
• Strong programming skills and experience, particularly in Python, with expertise in machine learning libraries and frameworks
• Demonstrated experience in implementing and optimizing machine learning workflows
• Experience with data gathering, processing, and analysis from diverse sources and formats
• Strong project management skills and ability to handle multiple priorities
• Excellent communication skills to collaborate with researchers across disciplines

Preferred

• Experience in computational social science or digital humanities research
• Experience contributing to open-source projects

Our Client:

• Reputable Preschool
• Working Location: Admiralty
• 5 Days, Monday to Friday
• Up to $4500 + AWS + Performance Bonuses

Responsibilities:

• Plan and deliver lessons in accordance with the school curriculum.
• Responsible for all aspects of classroom management.
• Engage children with activities to enhance their learning experience.
• Carry out routine care duties and ensure safety of the children.
• Build positive relationships with the parents.

Requirements:

• Diploma in Early Childhood Care & Education.

For interested applicants, please click “Quick Apply”

We regret to inform that only shortlisted candidates would be notified.

By submitting your personal data and/or resume, you will be deemed to have agreed and consented to us collecting, using, retaining, and disclosing your personal information to prospective employers for their consideration.

Quay Choon Lan Joanne (Guo Chunlan) | EA Reg No: R24121479
JTE Recruit Pte Ltd | EA Lic No: 14C7215

Trainee / Junior Tea Barista / Senior Tea Barista

1) Trainee
Salary : $2000

2) Tea Barista - 1-2 Years Experience [Relevant to F&B / Retail ]
Salary : $2500 (Probation) > After Probation $2700 [ 3 Months Probation]

3) Senior Tea Barista - 1-2 Years [ Relevant Experience to F&B / with Managerial Level exp ]
Salary : $2800 (Probation) > After Probation $3000 [ 3 Months Probation ]

Working Days : 5 Days [ 44 Hours Rostered Schedule ]

Working Location : Island Wide [ Outlet to be allocated upon interview ]
Current store at Orchard, Plaza Sing, Raffles City

Training Centre at Tai Seng - 3 Weeks Training with Test for all roles

Job Responsibilities:

• Greeting customers in a friendly manner and manage customers queries in a timely and efficient manner
• Prepare beverage according to standardized recipes and customer preferences
• Utilize proper brewing techniques and equipment to ensure the quality and consistency of each beverage served
• Provide friendly and attentive customer service, greet customers warmly and assist them in selecting their beverage based on their preferences and dietary restrictions
• Prepare drinks by following the prescribed recipes and preparation techniques
• Accurately process customer orders, handle cash and electronic payments
• Act in compliance to operational policies and procedures
• Maintain cleanliness and sanitation standards in the tea barista area, including brewing equipment, serving utensils, and workstations to meet the requirements of Health & Safety and Hygiene Protocol
• Ensure sufficient stock at all time by monitoring tea inventory levels, reporting discrepancies, restocking supplies handling stock delivery upon arrival as needed and communicating inventory needs to management

Job Requirement:

• Relevant Experience

Tan Jia Jun | REG No: R23112681

The Supreme HR Advisory Pte Ltd| EA No: 14C7279

Fitness Trainer

5.5 days | 11am – 8pm (1 to 2 hours break) | Willing to work on weekend

Basic Salary : From $1,800 + Commission | Gross up to 3000 +

Address : Suntec or Tai Seng

Requirement

• Preferred qualified Personal Trainer or possess extensive Muay Thai experience.
• Training provided

Responsibilities

• Deliver engaging, high-energy group fitness classes that challenge and inspire participants of all levels
• Provide personalized attention and guidance to members, ensuring they perform exercises safely and effectively
• Stay up-to-date with the latest fitness trends, techniques, and industry best practices
• Motivate and encourage members to push their limits and reach new milestones
• Maintain a positive, supportive, and inclusive environment in the studio
• Collaborate with the wellness team to develop innovative programming and events
• Actively participate in the growth and development of the fitness community

Tan Jia Jun | REG No: R23112681
The Supreme HR Advisory Pte Ltd | EA No: 14C7279

Fitness Trainer

5.5 days | 11am – 8pm (1 to 2 hours break) | Willing to work on weekend

Basic Salary : From $1,800 + Commission | Gross up to 3000 +

Address : Suntec or Tai Seng

Requirement

• Preferred qualified Personal Trainer or possess extensive Muay Thai experience.
• Training provided

Responsibilities

• Deliver engaging, high-energy group fitness classes that challenge and inspire participants of all levels
• Provide personalized attention and guidance to members, ensuring they perform exercises safely and effectively
• Stay up-to-date with the latest fitness trends, techniques, and industry best practices
• Motivate and encourage members to push their limits and reach new milestones
• Maintain a positive, supportive, and inclusive environment in the studio
• Collaborate with the wellness team to develop innovative programming and events
• Actively participate in the growth and development of the fitness community

Tan Jia Jun | REG No: R23112681
The Supreme HR Advisory Pte Ltd | EA No: 14C7279

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.

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

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

#LI-JN2

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.

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

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

#LI-JN2

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.

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

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.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet 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 ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood 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 ProtocolRule Systems and Logics

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

#LI-JN2

Our client is global leader in international education services. Due to business needs, they are now recruiting a Regional HR Operations Assistant Manager to be part of their HR Team for ongoing transformation projects. They are located in the Central - easily accessible.

Duties of Regional HR Operations Assistant Manager:

• Lead annual performance, remuneration, and bonus reviews, collaborating with Regional teams and global headquarters.
• Oversee payroll preparation, ensuring accurate, timely employee payments in coordination with Finance.
• Manage employee benefits programs, including insurance, pension plans, and leave entitlements, ensuring up-to-date documentation.
• Ensure accurate, up-to-date employee data for Singapore and SEA countries, conducting regular checks.
• Identify opportunities to digitize HR processes, enhancing efficiency and employee experience.
• Manage visa and work permit processes, ensuring compliance with local regulations and government agency requirements.
• Maintain updated HR policies, procedures, and employee handbooks, providing guidance on local employment laws.
• Handle employee grievances, mediate disputes, and foster compliance with employment regulations.
• Support Regional team in onboarding, system updates, and preparing materials for meetings.
• Collaborate on health and safety initiatives, and lead ad-hoc projects as assigned.

Requirements:

• Degree in related field
• 6 years of relevent experience

Interested candidates who wish to apply for the advertised position, please click APPLY NOW or email an updated copy of your resume/cv.

We regret that only shortlisted candidate will be notified

• Email Address: [email protected]
• EA License No: 19C9682
• EA Personnel No: R2199158
• EA Personnel Name: Soo Wei De

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.

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

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity 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.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

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

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) 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 ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

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.

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

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity 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.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

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

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) 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 ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

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.

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

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.

Minimum qualifications:

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

Parsers, Compilers, and Programming Language Theory

Lex/YACC alex/happy Bison CFGs EBNF BNFC

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

Programming Languages and Frameworks:

Preferred: Haskell or OCaml. Python.

Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

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

Formal Verification and Specification Languages

Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

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 ProtocolRule Systems and Logics

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

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 Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:

RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

We are looking for someone who:

• Teaches primary school students Lego Robotics (EV3 and WeDo) and Scratch Coding
• Engages well with children and explains instructions clearly
• Ensures discipline and safety of children under your care

Job requirements:

• Able to discipline students firmly
• Committed positive individuals
• Enjoys working with children
• Deliver lessons to children in an energetic and fun way

Education:

• Diploma/Degree, fresh graduate are welcome

Job Type: Permanent

Experience:

• No experience welcomed, training will be provided
• Preferably with teaching experience for children
• Preferred to have Robotics (Lego EV3 and Wedo) and Scratch coding experience
• Preferred to have an understanding of Python Programming Language

Working days and hours:

Flexible working hours can be arranged

Full-time.

Location:

SengKang

Job Types: Full-time

Job Types: Full-time, Permanent

Salary: $2,000.00 - $3,800.00 per month

Job Summary
• This role is responsible for driving a team of machine learning engineers and data scientists, guiding the development of machine learning software. The role collaborates with business stakeholders to understand goals and define machine learning product requirements. The role develops product roadmaps, allocates resources, and sets clear milestones for the team.

Responsibilities
• Architects, develops and programs integrated software solutions, especially in support of the development, deployment and life cycle of machine learning models.
• Designs machine learning systems, runs machine learning tests and experiments, and retrains systems when necessary.
• Delivers results according to product strategy schedules and quality while maintaining SLAs on velocity, productivity, and quality.
• Trains, tests and deploys machine learning models for multiple products.
• Participates in design reviews with peers and stakeholders to decide among available technologies.
• Collaborates with data science and engineering teams to integrate machine learning solutions.
• Engages in state-of-the-art research in AI and ML, ensuring the team remains at the forefront of the industry.
• Leverages deep algorithmic knowledge to design and implement robust machine learning solutions.
• Maintains a high-performing team.

Education & Experience Recommended
• Four-year or Graduate Degree in Computer Science, Statistics, Mathematics, Data Science, or any other related discipline or commensurate work experience or demonstrated competence.
• Typically has 10+ years of work experience, preferably in computer programming languages, machine learning, algorithms, statistical methods, or a related field.

Knowledge & Skills
• Agile Methodology
• Algorithms
• Amazon Web Services
• Apache Spark
• Artificial Intelligence
• Automation
• Big Data
• C++ (Programming Language)
• Computer Science
• Data Science
• Deep Learning
• Java (Programming Language)
• Machine Learning
• Microsoft Azure
• Natural Language Processing
• Python (Programming Language)
• PyTorch (Machine Learning Library)
• Scikit-learn (Machine Learning Library)
• Software Engineering
• TensorFlow

Cross-Org Skills
• Effective Communication
• Results Orientation
• Learning Agility
• Digital Fluency
• Customer Centricity

Impact & Scope
• Impacts large functions and leads large, cross-division functional teams or projects.

Complexity
• Provides highly innovative solutions to complex problems within established policy.

Disclaimer
• This job description describes the general nature and level of work performed in this role. It is not intended to be an exhaustive list of all duties, skills, responsibilities, knowledge, etc. These may be subject to change and additional functions may be assigned as needed by management.

#LI-POST

Sustainable impact is HP’s commitment to create positive, lasting change for the planet, its people, and our communities. This serves as a guiding principle for delivering on our corporate vision – to create technology that makes life better for everyone, everywhere.

HP is a Human Capital Partner – we commit to human capital development and adopting progressive workplace practices in Singapore.

Key Responsibilities:

• Answer incoming calls and respond to customer inquiries promptly.
• Provide information about products and services.
• Assist customers with troubleshooting and problem resolution.
• Maintain accurate records of customer interactions and transactions.
• Follow up on customer issues to ensure satisfaction.
• Collaborate with team members and other departments to enhance service delivery.

Qualifications:

• N/O-level/ Nitec/ Diploma Holders
• No experience needed, training provided

TELE me at @renovatingmyhouse or WA me at https://wa.me/+6586882353 NOW!

Interested candidates, please submit your resume to [email protected]

Celine Liew

Outsourcing Team

Recruit Express Pte Ltd (EA Licence No.: 99C4599)

Location: Clementi Central / Tion Bahru / Harbourfront

Working hours: 8am - 5pm

5.5 working days per week

Salary: $2700 - $3500 + allowance

Duration: 12 months contract

Responsibilities:

1) Attend to walk-in customers

2) Handle over-the-counter transactions in an efficient and accurate manner (including cash deposits and withdrawals)

3) Assist in customers’ enquiries and ensure service delivery standards are met in achieving total customer satisfaction

4) Prospect and introduce customers to the Bank’s products and services

5) Educate and migrate customers towards our digital platform

6) Drive service excellence in the areas of customer satisfaction - customer wait time, problem resolution and customer feedback / escalation / complaint

7) Ability to understand issues and appropriately escalate to Management in a timely fashion

8) Ensure compliance with all regulatory requirements

9) Contributes to self and team effort by accomplishing related results

Requirements:

• Customer Oriented
• Able to cope with large crowd
• Individuals with customer service experience

Interested candidate please click on the following link to begin your job search journey and submit your CV directly through the official PERSOLKELLY job application platform - GO Mobile. https://go.persolkelly.com/job/apply/7761

By sending us your personal data and curriculum vitae (CV), you are deemed to consent to PERSOLKELLY Singapore Pte Ltd and its affiliates to collect, use and disclose your personal data for the purposes set out in the Privacy Policy available at https://www.persolkelly.com.sg/policies. You acknowledge that you have read, understood, and agree with the Privacy Policy.

PERSOLKELLY Singapore Pte Ltd • RCB No. 200007268E • EA License No. 01C4394• Reg. Reg No: R23117785 (Lok Ding Hann)