Job Description

• Undertake design for road and drainage, including long section and cross section of permanent and temporary stages
• Study and propose utility diversion for permanent and temporary stages
• Assist in developing the specifications and tender documents, cost estimates, calling tenders and tender evaluation.
• Undertake design development, prepare technical reports and supervision of roads and utilities works for infrastructure projects.
• Communicate with clients, sub consultants, approving agencies, etc, for purposes of obtaining information and approvals.

Requirements

• Recognized Degree in Civil Engineering, Transportation Engineering or Traffic Engineering
• Preferably at least 3 years of practical experience in road design, traffic management and road safety engineering. Experience in roadside drainage and traffic is an advantage
• Proficiency in Microstation and InRoad / InRail programme will be an advantage
• Good command of English
• Team player with good interpersonal and communication skills
• Analytical, resourceful, self-motivated, independent and diligent

Job Responsibilities:

• Perform programming and integration of the control systems.
• Carry out engineering, PLC and SCADA software interface programming.
• Develop process functional design including control write-up and control schematics.
• Develop hardware and software design specification and other software/test documentation.
• Carry out diagnosis and resolution of electrical, instrumentation and control systems issues.
• Ensuring on time completion of commissioning activities.
• Develop drawing/documentation as required for the project; and work together with lead engineer for document submission.

Job Responsibilities:

• Diploma in Electrical Engineering or equivalent
• At least 4 years of experience in Industrial/Process automation.
• Experience in building management systems will be advantageous.

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: Cloud Engineer

Job Requisition Number: IGSKA001

Job Level: 6 – 9 years of relevant experience (L3)

Location: Singapore

Job Objectives

We are looking for a Cloud Engineer to help with the acceleration of cloud adoption. The applicant will have a strong background in IT Infrastructure with a strong understanding and at least 3 years’ experience with Public, Private and hybrid cloud.

Asset Management is a leading Asian asset manager with award-winning investment expertise in fixed income and equities. Headquartered in Singapore, we offer global investment management expertise to individuals, institutions and corporations from a regional network spanning Thailand, Malaysia, Brunei, Japan and beyond. Our comprehensive product suite includes innovative solutions covering retail unit trusts, exchange-traded funds and customized portfolio management services.

Key Responsibilities

• Design, deploy, and maintain cloud-based infrastructure using AWS or Google Cloud.

• Ensure compliance with asset management regulations in relevant countries.

• Monitor and optimize cloud resources for performance, cost, and security.

• Collaborate with cross-functional teams to develop and implement cloud solutions.

• Troubleshoot and resolve cloud-related issues promptly.

• Develop and maintain documentation for cloud infrastructure and processes.

• Stay updated with the latest cloud technologies and best practices.

• Managing cloud environments in accordance with company policies and security

guidelines.

• Developing, deploying and debugging IaC code (Cloud formation and terraform).

• Interacting with users, providing cloud support, and making recommendations based

on user needs.

• Employing exceptional problem-solving skills, with the ability to see and solve issues

before they snowball into problems.

• Educating teams on the implementation of new cloud technologies and initiatives.

• Regularly reviewing existing systems and making recommendations for improvements.

Key Requirements:

• Bachelor’s degree in computer science, Information Technology, or a related field.

• 3-7 years of experience in cloud engineering, with a focus on AWS or Google Cloud.

• Experience in the financial services industry.

• Strong understanding of cloud security, networking, and cost management.

• Knowledge of DevOps practices and tools.

• Familiarity with asset management regulations in countries where Asset Management

operates.

• Experience with infrastructure as code (IaC) tools such as Terraform or CloudFormation.

• Proficiency in scripting languages like Python, Bash, or PowerShell.
• Excellent problem-solving skills and attention to detail.

• Strong communication and collaboration skills. Relevant cloud certifications (e.g., AWS

Certified Solutions Architect, Google Cloud Professional Cloud Architect).

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

[email protected]

Please refer to 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

Responsible for the construction, testing, installation,
operations & facility management of client platforms to meet agreed business needs & service levels.

- Perform troubleshooting for client platform related problems.

- Respond promptly to incident, investigate & provide temporary &/or permanent resolution of incidents escalated. Provide timely status updates to relevant parties.

- Perform service request related to client platforms.

- Monitor the agreed service level, document & maintain the configuration of the systems; provide regular reporting to relevant parties.

- Involve in client platform implementation/upgrade project.

- Manage client platform implementation/upgrade project.

- Perform on research/evaluation of client platform tools.

- Provide systems related technical advice to customers or project team.

- Manage client platform management systems.

- Manage systems changes through change request process & provide status reports to the relevant parties.

- Perform client platform related presales tasks.

- Gather business &/or application requirements on the infrastructure to perform the infrastructure requirement analysis & design.

- Ensure service level meet requirement. Propose and implement action plan when required.

- Established facility management standards/best practices to ensure
operation consistency across project/facility management teams.

Position: Operations Network Engineer
Location: Tanjong Pagar
Working Hours: 8 hours rotating shifts

Job Overview:
The Operations Network Engineer will be responsible for maintaining optimal network performance and security. Key duties include monitoring alerts, troubleshooting network issues, and collaborating with various departments to resolve any identified problems.

Key Responsibilities:

• Timely monitoring and escalation of alerts.
• Troubleshoot and oversee network activity.
• Isolate and diagnose faults, escalating to higher-level support when necessary.
• Collaborate with internal teams to address network issues.
• Proactively monitor data center network systems and connectivity to ensure availability and prevent downtime, coordinating resolutions with vendors or second-level support teams.
• Log and submit problem management records, assigning to the appropriate parties as per guidelines.
• Adhere to physical security protocols.
• Conduct basic troubleshooting on network switches and configure devices.
• Understand customer concerns, maintaining trust and managing expectations effectively.
• Ability to configure switches at height as required.

Qualifications:

• Diploma or Degree in Computer Science or a related field.
• Familiarity with monitoring tools such as SolarWinds or PRTG.
• Knowledge of network devices.
• CCNA certification is required.
• Experience in data center operations or a related area.
• Strong communication skills.
• Must be able to work from height

EA License Number: 11C3017

EA Personnel Number: R21100713

Find Your Dream Job With Us

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

Role: Workplace Technology Solutions Engineer

Job Requisition Number: IGSKA002

Job Level: 6 – 9 years of relevant experience (L3)

Location: Singapore

Job Objectives

We are looking for a Workplace Technology Engineer. The applicant will have a strong background in IT Infrastructure with a strong understanding and at least 5 years’ experience with Workplace Technologies.

Asset Management is a leading Asian asset manager with award-winning investment expertise in fixed income and equities. Headquartered in Singapore, we offer global investment management expertise to individuals, institutions and corporations from a regional network spanning Thailand, Malaysia, Brunei, Japan and beyond. Our comprehensive product suite includes innovative solutions covering retail unit trusts, exchange-traded funds and customised portfolio management services.

Key Responsibilities

· Design and execute the standardization of workplace and infrastructure solution across the group, taking into consideration industry best practices and regulatory requirements.

· Implement and manage workplace technology solutions including end users devices, telephony, collaboration and office productivity tools, managed print. These will include the focus on Microsoft 365 suite, including emerging technologies like Microsoft Co-Pilot.

· Implement and manage network infrastructure such as WAN, Enterprise LAN, firewalls, routers, switches, load balancers, remote access and other network enabling technologies and applications.

· Implement and manage the Service Desk to handle service requests and incidents.

· Drive workplace technology and infrastructure service recovery to reduce system downtime and impact to internal users and external customer.

· Track service providers SLAs.

· Experimentation and recommendation of new workplace technologies. Keep abreast with technology development in the industry and regulators.

Key Requirements:

· Bachelor’s degree in computer science, Information Technology, or a combination of

· More than 5 year’s relevant working experience in managing Workplace Technology and

infrastructure. Financial services industry experience preferred but not mandatory.

· Experience in implementing and managing Microsoft infrastructure (i.e. Microsoft 365), including Active Directory, ADFS, Azure AD, SCCM, end point management tools.

· Familiar with WAN routing protocols, QOS, COS and experienced with Telco’s business and operations and network protocols like DHCP, TCP/IP, and VPN.

· Relevant certifications in Workplace Technology and Networking preferred but not mandatory.

· Strong technical, analytical and engineering competencies with hands-on experience in managing workplace and infrastructure environments.

· Customer and service centric and able to communicate concisely and clearly with non-IT-savvy users.

· Knowledge of ITIL framework and IT service management concepts and Agile methodologies.

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

[email protected]

Please refer to 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

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

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

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)

Job Description:

We are seeking a Technical Project Manager with a strong background in banking, specifically in Anti-Money Laundering (AML) and Know-Your-Customer (KYC) processes. In this role, you will be responsible for leading business and technology outcomes for assigned programs, projects, or contracted services. You will leverage standard tools, methodologies, and processes to deliver, monitor, and control service level agreements, ensuring the successful delivery of project milestones within scope, time, and budget constraints.

Key Responsibilities:

• Lead business and technology initiatives, ensuring the delivery of project milestones within the agreed-upon timelines and budget.
• Act as a Subject Matter Expert (SME) in Program and Project Management with a focus on the banking sector.
• Leverage your expertise in Business Process Design, M&A Integration Management Office (IMO), M&A Tech Integration Change & Communications, and Requirements Analysis to drive project success.
• Manage the project team, providing clear direction, guidance, and support to ensure a high level of performance.
• Identify project risks and issues, developing and implementing effective mitigation strategies.
• Regularly update stakeholders and senior management on project status, issues, and solutions.
• Utilize KYC system experience (e.g., Detica/NetReveal system functionalities) to enhance project implementation.
• Drive discussions, manage stakeholders, and provide concise management updates throughout the project lifecycle.

Qualifications and Skills:

Experience: Proven experience in Know-Your-Customer (KYC) and Anti-Money Laundering (AML) processes in the banking or financial services industry.

Technical Skills: Hands-on experience with KYC systems (e.g., Detica/NetReveal), including understanding functionalities and technical aspects.

Project Management: Strong background in system implementation project management, with the ability to manage complex discussions and stakeholder engagements.

Business Process Design: Expert proficiency in designing business processes that align with regulatory and organizational standards.

M&A Integration: Experience in M&A Integration Management Office (IMO) and technology integration, including change and communication strategies.

Leadership: Strong leadership and team management skills, with the ability to guide project teams to deliver successful outcomes.

Communication: Excellent communication skills, with the ability to convey technical information to non-technical stakeholders and provide regular project status updates.

Problem-Solving: Strong analytical and problem-solving skills, capable of identifying risks and developing effective mitigation strategies.

Certifications: Relevant project management certifications (e.g., PMP, PRINCE2) are a plus.

has context menu

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

Key Responsibilities:

• Identify and develop new business opportunities within the construction sector.
• Promote and sell the company's technical products and solutions to contractors, developers, architects, and other key stakeholders.
• Build and maintain strong relationships with clients to ensure repeat business and long-term partnerships.
• Making presentations and showing our proprietary solutions to clients like contractors, engineers, and architects.
• Conduct market research to identify potential customers, emerging trends, and opportunities for product expansion.
• Provide technical presentations and product demonstrations to clients, ensuring they understand the value and benefits of the company's offerings.
• Work closely with the technical team to align customer needs with product capabilities.
• Prepare and present proposals, quotations, and contracts, negotiating terms to close sales.
• Stay up to date on industry trends, new products, and competitors to ensure the company remains competitive.
• Maintain accurate records of sales activities, pipeline management, and client interactions.
• Attend industry events, exhibitions, and meetings to network and generate leads.

Key Requirements:

• Level, Pre-university candidates, Poly Diploma holders, or foreign certifications in related fields such as construction, civil engineering, or technical disciplines.
• Ability to write, read and speak English with Sales or Construction background
• Proven experience in sales within the construction industry, with a strong understanding of construction products, services, and technologies.
• Ability to communicate technical information effectively to non-technical clients and stakeholders.
• Strong negotiation, communication, and presentation skills.
• Self-motivated, results-driven, and capable of working independently to meet sales targets.
• Ability to build and maintain strong client relationships, both existing and new.
• Willingness to travel for client meetings, site visits, and industry events.

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)

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.

At Jacobs, we’re helping our clients innovate and grow by designing, engineering, and executing the construction of their various facilities that are changing our world. Our talented experts create exceptional spaces across the world through our creative blending of human need, environmental stewardship, value creation, science and art. We believe that built environments should reflect the context, history, cultures, communities, and the natural environment while incorporating advances in technology.

We are excited to welcome a Technical Team Lead to be part of the New Kranji Water Reclamation Project team in Singapore. The Technical Team Lead leads the discipline team to develop the design of large water infrastructure project to enable the safe and successful project delivery to the client in accordance with the contract requirements. You will prioritise and direct the design work, lead the Design Team to develop the preliminary and detailed design of the project. You will be responsible for the overall technical accuracy and adequacy of the design and provides oversight for interdisciplinary and inter-package coordination across the whole project. You will provide leadership, champion inclusion and diversity, drive global delivery, support a culture of innovation, apply a disciplined deployment of resources and ensure delivery excellence across the project.

As the Technical Team Lead, you will rely on your in-depth expertise in your own job discipline and broad knowledge of other job disciplines within the organisation to drive the project outcomes. In the role, you shall anticipate internal and or external business challenges, vendor and/or regulatory issues and recommend process, product or service improvements, solve unique and complex problems that have a broad impact on the business.

This role will work with the Project Manager and Engineering Manager in the delivery of the project in all aspects including the overall quality, schedule, cost, HSE and human relations amongst the team members across delivery offices. As one of the lead representatives of Jacobs to the Client for information or decision relative to the assigned project, you will act as a key point of contact for the Project with the client, subcontractors and contractors, including progress reporting, safety, financial recommendations, quality control and design development, implementation and change management. The Technical Lead acts as a "hands-on" manager in a complex network of interrelated activities necessary to move technical and engineering information forward to complete the design, construction and initial operations of the project facilities. Together with Project Manager and Engineering Manager to be accountable for the financial performance of the design tasks, and drive delivery on the key commercial performance objectives. By motivating, inspiring and holding your team to account, you will ensure that considered investment decisions, responsible cost control, balanced risk management and disciplined solution delivery translates to the achievement of key commercial targets and broader business goals.

The essential duties and responsibilities of the Technical Team Lead include:

• Ultimately responsible for design team technical performance, resourcing and design program.
• Responsible for the delivery and integration of the discipline design packages to ensure a complete design is delivered.
• Ensure technical conformance of the design to the Client’s specifications, and all applicable standards, regulations, and legislation by assuring that the quality processes are undertaken.
• Provides support, guidance, and direction to Design Leads, Package Leads and Discipline Professionals to facilitate the effective delivery of the project objectives.
• Review of all deliverables from the Design and Package Leads for quality and cohesiveness prior to issue to the Client, Stakeholders and Contractor(s).
• Approval and issue of all design deliverables, documentation and correspondence to Client, Stakeholders and Contractor(s).
• Responsible for identification of design changes to scope of work and immediately inform PM and EM.
• Responsible for immediate reporting to PM and EM of risks arising from inadequate levels of resourcing to meet schedule, time delays, cost overruns, scope changes, technical issues, etc.
• Day-to-day management of technical aspects for project risk register.

To be a successful candidate you shall possess:

• Minimum Degree in Civil Engineering. Registered as a Professional Engineer (PEB) and/or Chartered Engineer will be an added advantage.
• Minimum 12 years of proven experience in delivering large-scale infrastructure projects. Experience in Water Infrastructure projects will be an added advantage.
• Prior experience working on PUB projects will be an added advantage.
• The ability to work in a multi-disciplinary team and act as a consultant to our Client.

Jacobs. A world where you can.

From our inclusive employee networks, to our positive mental health champions – we’re committed to driving a culture of caring where you can be you. Joining Jacobs not only connects you locally but globally - and together, our diverse perspectives and unique backgrounds power our collective strength. We collaborate and share! By supporting one another, we all succeed. With safety and flexibility always top of mind, we’ve gone beyond traditional ways of working so you have the support, means and space to maximise your potential.

You’ll uncover flexible working arrangements, benefits and opportunities to do good too – from participating in our global giving and volunteering program, to exploring new and inventive ways to help our clients make the world a better place. No matter what drives you, you’ll discover how you can cultivate, nurture and achieve your goals – all at a single global company.

Please note: If you are being represented by a recruitment agency you will not be considered, to be considered you will need to apply directly to Jacobs. Jacobs complies with the Tripartite Guidelines on Fair Employment Practices (TGFEP), including the prevailing guidelines on recruitment. All qualified applicants will be considered for the position regardless of age, race, religion, language, nationality, marital status, or family responsibilities.

#ASIAID #ASIAWater

About Us

Working with Bernhard Schulte Shipmanagement (BSM) means partnering with one of the world’s leading third-party ship managers. As a multinational, family-owned business, we celebrate a culture of togetherness. Caring for and learning from each other is at the base of our success. Our superpower is our diversity. The wealth of more than 80 nationalities and diverse expert knowledge boosts our capacity to innovate and take industry standards to the next level.

The BSM family includes over 20,000 seafarers and 2,000 shore-based staff in more than 30 locations and across the oceans. Together, we move a fleet of over 600 vessels and help hundreds of ship owners trade cargo all around the world safely and efficiently. We see it as our highest responsibility to operate with greatest respect to the integrity of the environment, the vessels, and our people.

Are you interested in exciting career opportunities, personal growth, and great development options in an international fast-paced working environment? Then join the BSM family!

Job Objective

• Handles the Technical Services and Procurement activities for the assigned vessels efficiently and promptly.
• Supports the Technical Superintendent in managing the vessel’s Budget to ensure cost optimization. Assesses and reports the performance of the vessels.
• Supports the Company’s maintenance and procurement strategies to achieve defined targets and goals.
• Ensure OHSE, Energy and Environmental compliance policies are upheld.

Assists and Supports the Technical Superintendent

Reports

1. Monitors all the Monthly Reports from the vessel.

2. Follows up on Lubricating Oil/Bunker/Boiler & Cooling Water Analysis Reports. Highlights any deviations to the Technical Superintendent and Vessel for follow up action.

3. Keeps Certification PAL updated for each assigned vessel.

4. Collates the necessary data required for the preparation of Owners Reports.

Services

1. Follows up on the service/repair arrangements as arranged by Technical Superintendent by way of issuance of timely Purchase Orders, Logistical Support etc.

2. Arranges for necessary services for Annual Surveys (Safety Equipment/Radio Surveys/Lifeboat & Davit Service etc.)

3. Communicates with Classification Societies for Annual & Occasional Surveys as directed by the Technical Superintendent.

4. Arranges for Annual and Routine Servicing of Vessel’s Equipment (Gas Instruments/MMC Tapes etc.)

Vendors

1. As far as practicable ensures that all service arrangements are carried out by approved and/or contracted vendors.

2. Issues the necessary Purchase Orders for services prior to the service delivery.

3. For ‘Urgent’ services during after Office Hours/Holidays liaises closely with Technical Superintendent to ensure that Purchase Orders are issued as soon as practicable on the next working day.

4. Follow up with vendor service delivery and updates from Technical Superintendent in case of potential problems which will affect approved costs.

5. If required, source for new vendors and liaises with the SCM Team for approval within the Purchase PAL system.

6. Provides feedback to the SCM Team on vendor performance, as applicable.

Purchasing & Quotation Management

1. Supports the vessel for ‘ad hoc’ & ‘emergency’ purchasing requirements as required.

2. Ensures that purchasing is done with approved and/or contracted vendors at the contracted prices.

3. Negotiates with vendors to optimize costs.

4. Reviews the monthly ASBA and highlights significant deviations to the Technical Superintendent.

Port Planning

1. Uses the ‘Port Planning’ module in Voyage PAL to register all services for each vessel for each port call.

2. Coordinates with the Central Purchasing Team vis-à-vis logistics for arranged services at each port call, if applicable.

PAL Utilization

1. Actively uses relevant modules of PAL – PMS, Purchase, Certification, Voyage, Drydock to support the Technical Superintendent and vessels.

2. As required provides user feedback to improve utility of the various modules

New Build Projects
Where an SMC is taking into management new buildings, develops the purchasing requirements for new build projects, in order to contribute to the smooth initiation of their project. Upon approval proceeds with the purchasing plan for new build projects, together with the staged delivery of initial outfit equipment, material and consumables in line with SCM policies

Follow-up of Service Arrangements and Procurement
Keeps the Technical Superintendent, Accounts Officers and Vessel Senior Officers updated on arranged Services as well as any Procurement as applicable. Inform relevant departments of current and potential invoices for optimization of Budget utilization.

Prepares prepayment vouchers as required and presents them for authorization, checks invoices and disbursement accounts, controlling they are not paid until all possible disputes are settled, and assists in verifying variance reports.

Requirements

Education & Qualifications

• Bachelor Degree in Business or Accounting, or equivalent or Second mate/ Third Engineer License

Work Experience

• 6 years experience in purchasing or supply chain management, preferably with a shipping background

Job specific skills

• Strong knowledge of vessel's technical requirements and voyage regulations
• Advanced knowledge of the local and regional market of technical subcontractors
• Very good negotiation skills
• Excellent communication abilities
• Strong organisational and project management skills
• Fluency in English
• PC literacy

Benefits

• On-the-job training
• First-hand exposure to the growing maritime technological industry
• Diverse workforce
• Technology-driven company
• Be a part of the ever-growing Schulte group family!

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)

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)