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

Find Your Dream Job with Us

WE ARE HIRING!! Apply now and make a difference.

Role: System Analyst

Job Requisition Number: JR41881

Job Level: More than 10 years of experience (L4)

Location: Singapore

Job Objectives:

- To lead and deliver with consistently good quality AML systems enhancements/changes into Production

- To provide reliable and timely Level 3 investigative and fix-it supports for all AML systems

- To provide reliable leadership and support during System Integration Testing and UAT phases.

- To manage and resolve Audit and Security findings timely

- To identify early and escalate critical delivery showstopper with proper context timely and to propose viable solutions or workarounds where possible

Key Responsibilities:

- Perform impact analysis on Project scope and document proposed solution and estimated required effort

- Responsible to analyse and define detailed functional specifications based on the functional and non-functional requirements document

- Collaborate with Functional Business Analyst to clarify functional and non-functional requirements

- Define and ensure traceability from functional specifications to business requirements

- Ownership of the creation of functional design specifications and technical design document

- Collaborate with developers and infrastructure teams to clarify functional specification and technical design during build, test and deployment phase

- Review and contribute to test planning and design for SIT and UAT

- Clarify test findings escalated by Test Manager and classify the findings accordingly (either as a defect or change request)

- Provide input to impact assessment and estimation for Project Change Request

- Manage and work with vendor and internal teams to successfully deliver committed scope for AML systems

- Manage and work with stakeholders during all phases of system changes delivery

- Coordinate and plan with Infra and change management teams for application deployment activities in Devops environment.

- Conduct technical delivery/process knowledge and best practices sharing/training sessions with internal teams to help improve overall delivery competency level.

Key Requirements:

- AML system enhancements delivery experience in the banking industry

- Hands on experience in design and configurations/development work for the Netreveal AML application

- Experience in leading, with good results, design gathering and design workshops with users as part of project delivery or defects fix it work

- Strong Oracle SQL, PL/SQL and Unix skills

- Good application design operational impact awareness

Please forward your resume in MS word format to [email protected] and

[email protected]

Please refer your friends for any IT openings as we have various positions.

Please do not send a PDF Format Resume. Send the following details

1. Notice period

2. Current Salary

3. Expected Salary

4. Visa Status in Singapore

5. Current Location

Find Your Dream Job With Us

WE ARE HIRING !! Apply now and make a difference.

Role: System Analyst

Job Requisition Number: JR44158

Job Level: More than 10 years of relevant experience (L4)

Location: Singapore

Key Skills: Shell Script, SQL, Spark, Python, System Diagram

Job Objectives

To support AML (Anti-Money Laundering) Projects/CRs for Singapore and Regional entities

Key Responsibilities

· Participate in end-to-end projects for system implementation of machine learning system

· Engage and collaborate with Architects, Security and Development Lead to ensure solution design complies with enterprise design principles, security and control standards

· Liaise with application teams across group and countries build the enhancements according to the technical solution plan

· Analyse user requirements and convert requirements to design document and other system documentation to capture key design decisions

· Plan technical deliverables, perform design and development works to meet project’s requirements within schedule

· Perform data mapping and process mapping with interfacing applications

· Escalate issues that impacts project schedule on timely basis and propose workarounds/resolutions

· Create technical documents for the solutions. Compile timely, comprehensive, and accurate documentation as requested

· Test, maintain and recommend software improvements to ensure strong functionality and optimization

· Work with production support team members to conduct root cause analysis of issues, review new and existing code and/or perform unit testing

· Partner with Test Management teams to ensure completion of SIT, UAT, performance / load testing and application security testing with quality result

· Liaise with other application teams and business users to prepare test cases and test data prior to testing in UAT and Mock Run environment

· Manage project change request approval windows and deployment schedule

· Facilitate and provide technical and testing support before and after production deployment

· Liaise with other units across IT and Business in the organization

· Manage external vendors for project delivery within schedule

Key Requirements:

Must Have

· More than 10 years assuming techno functional role in either compliance technology or machine learning domain

· At least 8 years of experience / knowledge in Unix Shell Scripting, Oracle, Java and Python, Spark

· At least 8 years of experience in application and database design and

· Ability to multitask effectively and handle large amounts of data

· Highly driven, pro-active and a strong team player

· Excellent interpersonal skills and written and verbal communication skills in English

Techno functional candidate not too technical profile.

Domain Compliance – first preferred / second Risk / third Finance domain.

Looking on Compliance domain.

Experience to sense compliance domain

Business analyst role able to liase with site business / design / analysis user discussion

Minimum 10 to 15 years’ experience.

Good to Have

· Experience in Hadoop ecosystem and technologies

· Experience in NoSQL database or Big Data

· Experience in Git, Jenkins, JIRA

· Experience in SharePoint and Confluence

Please forward your resume in MS word format to [email protected] and

[email protected]

Please refer your friends for any IT openings as we have various positions.

Please do not send PDF Format Resume . Send the following details

1. Notice period

2. Current Salary

3. Expected Salary

4. Visa Status in Singapore

5. Current Location

Intellimaticz Pte Ltd

Role: System Developer

Job Requisition Number: INGSLG001

Job Level: 6 – 9 Years of experience (L2)

Location: Singapore

Job Objectives:

1. To complete the mentioned projects successfully by the stipulated milestones

2. Improving system by handling fixes and enhancements

Key Responsibilities:

1. Successful implementation of COD projects with the above roles

2. Fixing and Improving COD system

3. Maintain updated documentation

Key Requirements:

1. Cobol and RPG programming proficiency

2. Analytical and design skill

3. Testing and debugging skill

4. Problem solving aptitude

5. Good communication skill

6. COD domain knowledge

7. Able to handle concurrent projects

Please forward your resume in MS word format to [email protected]

Please do not send a PDF Format Resume. Send the following details

1. Notice period

2. Current Salary

3. Expected Salary

4. Visa Status in Singapore

5. Current Location

• Join a renowned offshore company (company will be moving to Alexandra Techno Park in March 2025)
• Attractive Benefits
• 5 days work week

A company providing general offshore support services, drilling rig, support functions and cargo transport operations to the Oil and Gas industry

Job Description

• Provide constant day to day administration support for related ERP & Vessel Management System.
• Able to provide guidance / training to users .
• Keep abreast of all updates to the ERP & Vessel Management system and disseminate relevant information to users of the system.
• Provide technical assistance to prepare and maintain company data and operation procedures.
• Assist in training staff to use required software and other business operation systems.
• Other ad-hoc duties as assigned.

Competencies

• Excellent communication and interpersonal skills.
• Customer-oriented behaviour.
• Knowledge of computer hardware, including experience with operating systems e.g. Windows, Mac OS.
• Basic programming skills and logic.
• Strong interpersonal and communication skills.
• Good team player who is agile and adaptable.
• Passion for technology and people.
• Candidates without experience are welcome to apply. Training provided
• Willing to travel to Samulan Island (transport provided from Boon Lay MRT and have transport allowance). Company moving to Alexandra Techno Park in March 2025

Education Qualification

• Diploma in Information Technology, Computer Science, Software Engineering or a related field.
• Minimum of 3 years of relevant experience.

• Conduct regular inspections to ensure work adheres to approved method statements and complies with BCA's Good Industry Practice (GIP) guidelines.
• Develop and implement robust QA/QC plans to maintain consistent quality across all phases of the project.
• Monitor subcontractor workers across all trades, promptly identify defects, and ensure proper rectification to meet project standards.
• Effectively communicate non-conformances, corrective actions and preventive measures through the issuance and management of site memos.
• Draw up clear and accurate QA/QC reports and assist in the preparation of QM submissions.
• Arrange and coordinate with BCA for CONQUAS assessments.
• Follow-up and manage all required tests as per contract specifications and Inspection Test Plan (ITP).
• Conduct or participate in inspections at precast and structural steel work facilities (Malaysia and Singapore).
• Facilitate a smooth handover process during inspections and address client defects promptly during the Defect Liability Period.

Requirements:

• At least a Diploma in Civil Engineering or equivalent with 2 years of experience in construction QA/QC.
• Good knowledge in construction quality control/assurance principles and practices
• Excellent skills in construction management software and QA/QC documentation tools.

If you are interested, please send in your updated resume by clicking “Apply now” or email to [email protected]

Lim Siew Hua

Registration Number: R1984199

Workstone Pte Ltd

EA License Number: 19C9998

(Only shortlisted candidates will be notified.)

• Responsible for preparing and modifying precast schematic, detailed, and production drawings for precast concrete components, steel moulds, and reinforced concrete (RC) structures.
• Preparation of 2D and 3D design drawings and presentation
• Develop solutions for technical and design complications with reference to the Singapore’s established standards.
• Responsible for the performance of elementary designation computations and compilation of data.
• Participate in client liaison, authority consultation, coordination with consultants and subcontractors, and design and construction meetings.

Requirements:

• Diploma/Degree in Civil Engineering or equivalent
• At least 2 years of related working experience

If you are interested, please send in your updated resume by clicking “Apply now” or email to [email protected]

Lim Siew Hua

Registration Number: R1984199

Workstone Pte Ltd

EA License Number: 19C9998

(Only shortlisted candidates will be notified.)

We are seeking a System Safety Engineer for ST Engineering.

Job Title: System Safety Engineer

Responsibilities

• Develop system safety program plan, hazard analyses and risk assessment documents, safety assessment report and hazard logs based on contracted system safety and project requirements

• Facilitate system safety reviews and assessment with project system safety working groups and to facilitate and seek technical endorsement for safety assessment report with company and customer safety review boards

• Ensure system safety requirements and implementation are complied with company process and contracted requirements for projects and in-house products

• Submit monthly project status report and updates to Project Manager, System Safety Leads and Department Manager

• Support safety related administrative functions

• Lead and participate in Workplace Safety & Health committee and functions

Requirements

• Degree/Diploma in Electronic/Electrical/Mechanical Engineering

• At least 2 years working experience in communication/mechanical/ electrical project environment as system, project, engineering support, safety or maintenance engineer

• Experience and qualified as Safety Officer in Environmental Health & Safety would be advantage

• Good presentation, leadership and communication skills

• Working location is in Jurong East

• Singaporeans Only

Please click apply, or submit resumes to [email protected] with the following details in MS Word format:

- Position applying for

- Current remuneration

- Expected remuneration

- Notice period

Goh Kwan Way Marc

EA License No : 06C4642

EA Reg No : R24120754

We regret that only shortlisted candidates will be notified.

System Safety Engineer

Responsibilities

• Develop system safety program plan, hazard analyses and risk assessment documents, safety assessment report and hazard logs based on contracted system safety and project requirements

• Facilitate system safety reviews and assessment with project system safety working groups and to facilitate and seek technical endorsement for safety assessment report with company and customer safety review boards

• Ensure system safety requirements and implementation are complied with company process and contracted requirements for projects and in-house products

• Submit monthly project status report and updates to Project Manager, System Safety Leads and Department Manager

• Support safety related administrative functions

• Lead and participate in Workplace Safety & Health committee and functions

Requirements

• Degree in Electronic/Electrical/Mechanical Engineering

• At least 2 years working experience in communication/mechanical/ electrical project environment as system, project, engineering support, safety or maintenance engineer

• Good presentation, leadership and communication skills

• Working location is in Ang Mo Kio

• Singaporeans Only

Please click apply, or submit resumes to [email protected] with the following details in MS Word format:

- Position applying for

- Current remuneration

- Expected remuneration

- Notice period

Goh Kwan Way Marc

EA License No : 06C4642

EA Reg No : R24120754

We regret that only shortlisted candidates will be notified.

Join Our Team at Thatz International Pte Ltd

Are you ready to embrace the new opportunities in the ever-evolving landscape of technology? At Thatz International Pte Ltd, we are committed to identifying exceptional talents to drive the growth of our Next-Generation ICT Engagement and Consultancy (Thatz2.0) or Outsourcing business in the new norm. If you're passionate about leveraging technology to make a difference, we want to hear from you!

With a track record of success since 1998, we prioritize Quality, Speed, and Technology to ensure the perfect match between candidate and job opening.

Our CORE VALUES:

· Integrity

· System

· Consistency

· Forward Looking

· Humanity, and

· Environmental Friendly

Software Project Manager (Momentus Enterprise System)

Job Title: Software Project Manager (Momentus Enterprise System)

Work Location: Downtown Core, Singapore

Job Type: 1 year contract, subject to renewal

About the Role:

The Software Project Manager will be responsible for working closely with business users to understand their processes, identify pain points, and provide insights to build and enhance a new system.

Primary Responsibilities:

· Engage with business users to comprehensively understand their processes, workflows, and provide insights to build and enhance a new system.

· Collaborate with stakeholders to translate business needs into technical requirements and system specifications.

· Identify and analyze existing vs new system technical gaps, pain points and inefficiencies in existing processes that the new system should address.

· Work closely with software developers to ensure they understand business requirements and technical specification.

· Provide continuous feedback and clarification to developers during the software development lifecycle.

· Participate in design and development discussions to ensure the software meets business needs.

· Assist in the creation of user stories, use cases, and acceptance criteria for software development.

· Ensure that developed software aligns with the documented requirements and business goals.

· Identify potential risks and issues during the development process and work with the team to mitigate them.

· Plan and execute User Acceptance Testing (UAT) to ensure software meets client requirements.

· Collaborate with business users to develop test plans, test cases, and test scripts for thorough validation of software functionality.

· Conduct System Integration Testing (SIT) to verify seamless integration with existing systems.

· Document and track defects, issues, and enhancements, and work with the development team to resolve them.

· Ensure that testing activities are conducted in a timely and efficient manner to meet project deadlines.

· Any other ancillary tasks or works as and when requested and assigned by the Company.

Job Requirements:

· Bachelor’s degree in Computer Science, Information Technology, or related field.

· Minimum of 3 years’ experience in Project Management with certification in SCRUM.

· Must be well-versed in EBMS System (Momentus Enterprise).

· Must be familiar with hospitality solutions and industry practices.

· Able to communicate messages clearly and concisely.

· Ability to maintain high-quality performance and constantly deliver results in a timely manner.

How to Apply:

Ready to join Thatz? Send your resume to [email protected].

Shortlisted candidates will be contacted.

Equal Opportunity Employer:

We are committed to fair employment practices and consider all applications based on merit. We encourage diversity and do not discriminate based on race, religion, gender, or any other characteristic.

Data Protection:

Your privacy matters to us. By applying to this job advertisement, you consent to the collection, usage, and/or disclosure of your personal data in compliance with the Personal Data Protection Act.

Our Associate Recruitment Company:

Established in the Year 2000, Thatz Resources Pte Ltd(Agency License No. 04S4557) has been dedicated to matching top IT talent with our clients’ needs across all levels.

Stay Connected:

Follow us on Instagram, Facebook, LinkedIn, and Telegram to stay updated on our latest offerings and industry insights. Join our online community to explore endless possibilities with us!

Instagram: https://www.instagram.com/thatz_international

Telegram: https://t.me/EmployMebyThatz

Facebook: https://www.facebook.com/profile.php?id=100091735044533

LinkedIn: https://www.linkedin.com/in/thatz-recruiter-25234548

Stay Safe and Healthy!

Take care of yourself and those around you.

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.

The first set of tasks will involve the following specific assignments:

• Expressing decision logic using DMN/FEEL
• Evaluating the rule engine API
• Encoding existing materials in L4 for open source distribution
• Building interactive UIs using HTML, CSS, JavaScript and Python

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

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

Job Description:

We are seeking a skilled M365 Messaging Systems Support Engineer responsible for providing day-to-day support and maintenance of on-premises and/or Microsoft 365 (M365) messaging systems such as MS Exchange, Teams, Lync, Skype, and SharePoint. The ideal candidate will ensure smooth operations, monitoring, troubleshooting, and maintenance of these systems in line with the project service scope and service level agreements (SLAs). They will also handle service requests, escalations, and perform basic system administration tasks.

Key Responsibilities:

Technical Support:

Provide technical support for escalations and cases related to messaging systems, ensuring accurate documentation of the issue and its resolution.

Offer troubleshooting and technical support via phone, email, and web-based tools.

Operations & Monitoring:

Track and monitor the progress of all requests and ensure timely completion.

Perform daily operational tasks, including monitoring system availability and utilization.

Respond to system health alerts generated by monitoring systems.

System Administration:

Conduct basic system administration tasks, including processing standard service requests related to the messaging system.

Perform messaging log tracking and troubleshooting.

System Patching & Maintenance:

Support system patching and server reboot activities based on established work instructions.

Carry out post-preventive maintenance system health checks following OS patching or application updates.

Preventive Maintenance:

Assist in regular preventive maintenance routines to ensure optimal system performance and prevent downtime.

Collaboration:

Work closely with other IT team members to ensure effective resolution of issues and smooth operation of messaging systems.

Required Qualifications:

Experience:

3+ years of experience in messaging systems administration, troubleshooting, and support, particularly with Microsoft Exchange, Teams, Lync, Skype, SharePoint, or similar platforms.

Technical Skills:

• Strong knowledge of on-premises and M365 messaging systems.
• Experience with monitoring tools and troubleshooting messaging logs.
• Familiarity with system patching, server reboots, and preventive maintenance processes.

Soft Skills:

• Excellent communication skills for troubleshooting and support over phone, web tools, and email.
• Strong problem-solving abilities and attention to detail.
• Ability to work under pressure and meet tight deadlines.

Certifications (Preferred):

Microsoft Certified: Messaging Administrator Associate or equivalent.

Job Scope :-

• Track, Monitor, Control & Update Work Progress on Site
• Plan & Schedule for Site Inspections according to Work Progress Status
• Coordinate and Schedule draw 3D Drawings & Sample Submission for Approval to client
• Conduct Regular Internal Review meetings with Trade Contractors for Site Arrangement, Work Progress, & Technical Resolutions
• Perform Authorities submission including MOM, LTA, NEC, SCA, and any others deemed necessary for the site nature
• Support current direct sales activities
• Creation for new customer
• Support distributor’s sales activities
• Creation, maintenance and management of Social Networking Services content in each country
• Sales Tool Preparation (Clinical Data)
• Business planning
• Contract & negotiation with new Distributor
• Network building with the same industry
• Cultivate new customers
• Other ad-höc duties assigned

Job Requirements :

• Engineering or above on Electrical or Mechcaniacl flied or related discipline any bachelor degree
• At least 3-4 years of experience in A&A work and technical coodinator to lead the bussiness
• Strong leadership to monitor workers for the works executed
• Demonstrate ability to handle Work independently and efficiently
• Good interpersonal skills and be able to interface with all levels, internally and externally, in a responsive manner.

Job Responsibilities:

Civil & structure design, analysis, and assessment for foundation, excavation, earth retaining structures, slope, instrumentation, and site investigation.

To lead a team of supervisors to ensure full time supervision of works on site

Conduct inspections and checks on work performed by subcontractors

Prepare project-related reports and method statements for submission

Well-versed in civil and structural design software.
Familiar with authorities' submission requirements for engineering projects.

To ensure that works are carried out according to specifications, drawings and programme without compromising on quality and safety;

Requirements:
Degree in Civil/Structural Engineering from a recognized Institution.

Minimum 3-5 years of design experience in geotechnical and civil engineering projects in a consulting firm or main contractor

Be independent, analytical, highly motivated with excellent team spirit and interpersonal skills

A good knowledge of the application of design and drafting software such as Autocad, Staad Pro & Plaxis would be an advantage

Job Requirements:

Prepare design calculation reports and structural drawings for authorities submissions.

Coordinate with various stakeholders such as clients, consultants, and contractors for projects

Carry out detailed analysis and design of Civil, Structural and Geotechnical works

Supervise and inspect construction works.

Involved in design and analysis of steel and concrete structures.

Liaise with client and contractors with regards to potential design changes or resolve technical queries.

Design coordination with authorities and contractors

Requirements:

Degree in Civil/Structural Engineering from a recognized Institution.

Strong engineering fundamentals and analytical skills in structural

analysis and design work would be an advantage

A good knowledge of the application of design and drafting software such as Autocad, Staad Pro & Plaxis would be an advantage

We are looking for a dedicated and skilled Operation Engineer to support and drive continuous improvement in the areas of safety, quality, environment, and health management systems. The successful candidate will have a background in Chemical or Mechanical Engineering, with experience in a chemical processing plant. This role will be critical in ensuring the safe and efficient operation of plant processes, while also contributing to the company’s compliance with industry standards and regulations.

Key Responsibilities:

• Support the implementation and maintenance of Safety, Quality, Environmental, and Health Management Systems such as SS506 Part 3, ISO 9001, ISO 14001, OHSAS 18001, and IATF 16949.
• Drive continuous improvement initiatives in operational processes to ensure compliance with regulatory and industry standards.
• Monitor and ensure safe operations by participating in process safety management activities and conducting quantitative risk assessments (such as Layer of Protection Analysis - LOPA).
• Collaborate in the preparation and maintenance of safety case documentation.
• Provide technical support and troubleshooting for chemical and mechanical engineering processes within the plant.
• Assist in the optimization of plant performance by applying chemical, mechanical, or polymer science knowledge.
• Ensure compliance with cost control measures, regulatory requirements, and internal policies.
• Maintain working knowledge of relevant standards, such as ISO9001, ISO14001, SS506-Part 3, and related regulations.
• Participate in energy management and process optimization, and assist in the maintenance of steam systems if certified as a Steam Engineer or Boiler Attendant (preferred).
• Conduct root cause analyses and implement corrective actions in response to operational issues.
• Work closely with cross-functional teams to ensure smooth and safe plant operations.

Qualifications:

• Degree in Chemical or Mechanical Engineering, or its equivalent.
• Minimum of 2 years of experience as an Operation Engineer in a chemical processing plant.
• Singapore Certified Energy Manager (SCEM) or Steam Engineer/Boiler Attendant certificate.
• Strong knowledge of chemical and mechanical engineering principles, and/or polymer science.
• Experience in process safety management and conducting quantitative risk assessments (LOPA, Safety Case preparation, etc.).
• Working knowledge of ISO9001, ISO14001, SS506-Part 3, and related management systems.
• Familiarity with cost control methods and regulatory compliance in chemical processing environments.

If you are keen to join our dynamic team, please submit your resume in either Word or PDF format to [email protected]. In your application, kindly include the following details:

• Current Salary
• Expected Salary
• Availability
• Reason for Leaving

We appreciate your interest in this opportunity. Please note that only shortlisted candidates will be contacted for further consideration.

By submitting your application or resume, you acknowledge and consent to the collection, use, retention, and disclosure of your personal information by us to potential employers through our services.

EA (23S1595/R23116355)

We are seeking a highly skilled and experienced Process Engineer to join our team in the Petrochemical Industry. The ideal candidate will have extensive experience in process design, optimization, and safety in accordance with industry standards. This role will involve working closely with other engineers, safety teams, and production staff to ensure smooth and safe operations.

Key Responsibilities:

• Design, develop, and optimize chemical processes within the Petrochemical industry.
• Implement and maintain processes that align with ISO9001, ISO14001, ISO45001, SS651, and other relevant standards.
• Conduct process simulations using software such as Aspen Plus® and Aspen HYSYS® to improve system performance and efficiency.
• Work with Distributed Control Systems (DCS) to modify logic and sequences as needed.
• Ensure that processes comply with the IATF 16949 standard (if applicable) and IEC 61511 standard for functional safety (if applicable).
• Collaborate on Safety Case Regimes to assess and mitigate process risks.
• Engage in energy management initiatives, preferably in line with the Singapore Certified Energy Manager standards.
• Support ongoing maintenance and continuous improvement projects.
• Troubleshoot and resolve issues related to chemical processes and equipment.
• Collaborate with cross-functional teams including production, safety, and maintenance departments to ensure efficient and safe operations.
• Stay updated with the latest technological developments and regulatory changes in the Petrochemical industry.

Qualifications:

• A Bachelor’s or Master’s Degree in Chemical Engineering.
• 3 - 5 years of working experience in Petrochemical industries is preferred.
• Singapore Certified Energy Manager (Preferred).
• Familiarity with the Safety Case Regime.
• Knowledge of IATF 16949 standard (Preferred).
• Experience with ISO9001, ISO14001, ISO45001, and SS651 standards.
• Knowledge of the IEC 61511 standard for functional safety (Preferred).
• Expertise in process simulation software such as Aspen Plus® and Aspen HYSYS®.
• Hands-on experience with Distributed Control Systems (DCS), including logic and sequence modification.

If you are keen to join our dynamic team, please submit your resume in either Word or PDF format to [email protected]. In your application, kindly include the following details:

• Current Salary
• Expected Salary
• Availability
• Reason for Leaving

We appreciate your interest in this opportunity. Please note that only shortlisted candidates will be contacted for further consideration.

By submitting your application or resume, you acknowledge and consent to the collection, use, retention, and disclosure of your personal information by us to potential employers through our services.

EA (23S1595/R23116355)

The Roles:

• Provide timely and effective technical support for application-related incidents and service requests.

• Troubleshoot and resolve application issues, both independently and in collaboration with development teams.

• Monitor application performance, identify bottlenecks, and implement performance enhancements.

• Conduct root cause analysis for recurring issues and implement preventive measures.

• Collaborate with internal stakeholders to gather requirements and provide recommendations for application improvements.

• Maintain documentation related to application configurations, troubleshooting procedures, and known issues.

• Participate in application deployment and release management activities.

• Stay updated with industry trends and emerging technologies to drive continuous improvement in application support processes.

• Support UAT and Interface Testing

The Requirements:

• Minimum 5 years relevant experience

• Strong technical knowledge and experience in supporting enterprise-level applications.

• Proficiency in troubleshooting application issues, performing log analysis, and using monitoring tools.

• Experience with databases and SQL query language.

• Familiarity with software development life cycle (SDLC) and ITIL principles.

• Excellent problem-solving and analytical skills.

• Effective communication and collaboration abilities.

• Ability to work under pressure and prioritize tasks in a fast-paced environment.

• Occasionally required to work late hours (to support application deployment) and weekends (to support UAT)

Preferred Skillset

• Java – can read

• Oracle Database

• MySQL Database

• Jira

• Excel

• Hosting Platform,

include but not limited to, Tomcat, JBoss, IBM Websphere/ Weblogic

Find Your Dream Job With Us

WE ARE HIRING !! Apply now and make a difference.

Role: Automation Build Engineer

Job Requisition Number: JR43819

Job Level: More than 10 years of relevant experience (L4)

Location: Singapore

Job Objectives

Developing and maintaining infrastructure as code (IaC) templates and scripts using tools like Terraform, Ansible, Playbooks. This allows infrastructure components to be defined, deployed, and managed programmatically. This role requires a strong technical background, familiarity with infrastructure technologies, and expertise in automation tools and scripting languages.

Key Responsibilities

We’re looking for a hands-on engineer:

v Must have hands on experience of system administration for Linux(RHEL) and Windows.

v Must have in depth knowledge in coding using chef cook books (Ruby, Shell, PowerShell)for configuration management.

v Must have Experience in developing code using Terraform (HCL) configuration language for IP assignment and VM creation.

v Must have Automate infrastructure provisioning and configuration management processes using Ansible, Terraform and Chef cookbook

v Building a CI/CD pipeline for automating the provisioning and management of infrastructure components with Terraform and Chef Cookbooks.

v Creating, modifying, and deleting Virtual Machines using Harshicorp configuration code and APIs, ensuring seamless operations of CI/CD pipelines.

v Maintain and enhance Linux and Windows image creation.

v Collaborating with cross-functional teams, such as developers, operations, Network and security, to ensure the infrastructure aligns with application requirements and organizational policies.

v Continuously optimizing and improving the efficiency and reliability of the infrastructure through automation, scripting, and the adoption of best practices.

v Conducts in depth evaluations, diagnosing, troubleshooting, and resolving a wide variety of complex technical issues.

v Exhibits strong initiative, Flexible, agile approach to collaboration and development.

Key Requirements:

Technical Skills

Programming Lang - Ruby script and Terraform HCL coding knowledge

Scripting Lang - PowerShell, Yaml, Json, shell script

Configuration management - Chef, Ansible, Terraform

Devops Tools - Jenkins, Bit Bucket, JIRA, CI/CD

Operating Systems - Red Hat, Windows

v Excellent communication skills

v Proven record of accomplishment of being results orientated with demonstrated ability to achieve aggressive goals.

Please forward your resume in MS word format to [email protected] and

[email protected]

Please refer your friends for any IT openings as we have various positions.

Please do not send PDF Format Resume . Send the following details

1. Notice period

2. Current Salary

3. Expected Salary

4. Visa Status in Singapore

5. Current Location

Job Summary:
We are looking for a technically skilled and highly motivated Technical Sales Engineer to support our sales team and assist customers with engineering solutions. The ideal candidate should have a strong mechanical engineering background, excellent technical drawing skills, and the ability to create detailed technical documentation.

Key Responsibilities:

• Provide technical support to the sales team and customers by preparing technical drawings, designs, and product documentation.
• Assist in the development of customized solutions by interpreting customer requirements and aligning them with product capabilities.
• Use AutoCAD and 3D modeling software to create and modify technical drawings, diagrams, and models.
• Work closely with the sales team to provide technical expertise during client presentations, meetings, and proposal development.
• Respond to technical inquiries and provide detailed product information, specifications, and guidance to customers.
• Prepare cost estimates and assist in developing proposals and quotations based on customer requirements and technical specifications.
• Collaborate with engineering and production teams to ensure that customer projects and designs meet technical standards and are delivered on time.
• Stay up to date with the latest industry trends, technical developments, and product innovations.
• Ensure all technical documentation is accurate, up-to-date, and compliant with industry standards.

Key Requirements:

• Minimum of ITE qualification in Mechanical Engineering or a related field.
• Proven experience or educational background in mechanical engineering, with a minimum of 3 years of working experience.
• Strong technical skills, particularly in creating detailed technical drawings, schematics, and documentation.
• Proficiency in AutoCAD and 3D modeling software.
• Excellent communication and interpersonal skills, with the ability to explain complex technical concepts to non-technical customers.
• Strong problem-solving and analytical skills, with the ability to troubleshoot and provide effective solutions.
• Detail-oriented, with the ability to manage multiple projects and meet deadlines.
• Ability to work well in a team environment and collaborate with cross-functional departments.

For interested applicants, kindly send your resume in Word/PDF format

Kindly include the following in your resume.

• Current Salary
• Expected Salary
• Availability
• Reason for leaving

Thank you for your application and we regret that only shortlisted applicants will be notified

By submitting any application or resume to us, you will be deemed to have agreed & consented to us collecting, using, retaining & disclosing your personal information to prospective employers with the services provided by us.

EA (23S1595/R23116355)