Area Description
Google Cloud provides organizations with leading infrastructure, platform capabilities and industry solutions. We deliver enterprise-grade cloud solutions that leverage Google’s cutting-edge technology to help companies operate more efficiently and adapt to changing needs, giving customers a foundation for the future. Customers in more than 150 countries turn to Google Cloud as their trusted partner to solve their most critical business problems.

Role Description (About the job)
As a Cloud Security Engineer, you will provide excellent technical guidance to customers adopting Google Cloud services. You will provide best practices on secure foundational cloud implementations, automated provisioning of infrastructure and applications, cloud-ready application architectures, and more. You will provide prescriptive guidance in ensuring customers receive the best of what Google Cloud Platform (GCP) can offer and you will ensure that customers have the best experience in migrating, building, modernising, and maintaining applications in Google Cloud. Additionally, you will work closely with Product Management and Product Engineering to drive excellence in Google Cloud products and features.

Responsibilities
We are looking for passionate and experienced security professionals to work with our strategic customers to help guide their vision, address risks and implement their security and compliance strategies on Google Cloud. The role will provide thought leadership and operate with a high degree of autonomy and visibility as part of our worldwide PSO specialist team.
● Provide deep domain expertise in cloud security and be a trusted technical advisor to customers and solve complex cloud security & compliance challenges.
● Work with customers to design and develop cloud security architectures and solutions to meet and exceed their security requirements, through deep dive discussions, strategic presentations/recommendations, and hands on implementation in Google Cloud environment.
● Create and deliver best practices recommendations, tutorials, blog articles, sample code, and technical presentations adapting to different levels of key business and technical stakeholders.
● Communicate effectively via video conferencing for meetings, technical reviews and onsite delivery activities.
● Manage disparate senior stakeholders within customer environments to deliver consensus and drive positive customer outcomes on the Google Cloud platform.
● Stay connected with the latest security trends throughout various industry verticals.
● Travel regularly (up to 30%, although we also frequently use video conferencing) in-region for meetings, technical reviews, and onsite delivery activities.

Minimum Qualifications (MQs)
● Bachelor’s degree in Computer Science, Engineering or related technical field or equivalent practical experience.
● Coding experience in one or more general purpose languages.
● Experience managing customer projects to completion, working with engineering teams, sales and partners.
● Experience architecting, developing, or maintaining secure cloud solutions.
● Strong verbal and written communication skills (English and Mandarin Chinese), and the ability to develop high-quality technical documentation and presentation materials.

Preferred Qualifications (PQs)
● At Least 7 years of security architecture and/or security engineering experience
● Hands on and deep knowledge of security principles.
● Demonstrated experience in Cloud Security delivered within the context of customer facing roles.
● Experience understanding attacks and mitigation methods, in two or more of the following: Network protocols and secure network design; Operating system internals and hardening; Web application security; Security assessments and penetration testing; Authentication and access control; Applied cryptography and security protocols; Security monitoring and intrusion detection, Incident response and forensics; Development of security tools, automation or frameworks.
● Strong practical experience securing Kubernetes and containerised workloads.

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

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

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

We are seeking a dedicated and skilled Maintenance Mechanical Engineer to ensure the smooth operation and maintenance of equipment and facilities at our chemical plant. The ideal candidate will be responsible for managing spare parts, optimizing stock control using CMMS TMQ-W, and improving equipment reliability to prevent downtime. This role requires strong mechanical engineering expertise and hands-on experience in plant and facility maintenance.

Key Responsibilities:

• Prepare and review the spare parts list and equipment data for inventory control.
• Ensure the availability of critical spare parts to avoid equipment downtime.
• Optimize spare parts management and stock control by using the CMMS system TMQ-W.
• Service and maintain used equipment and components to ensure they are always ready for use.
• Analyze equipment failures and collaborate with production teams and contractors to improve reliability.
• Continuously improve the maintenance process to increase the longevity and efficiency of utilities and facilities.
• Work proactively to ensure no operational downtime occurs due to the unavailability of spare parts or equipment failure.
• Conduct regular maintenance checks and repairs as required to keep machinery and equipment functioning smoothly.
• Work closely with the production team and contractors to address recurring issues and implement solutions to enhance equipment reliability.
• Review and refine maintenance practices to ensure optimal plant performance and minimize disruptions.

Qualifications:

• Degree in Mechanical Engineering or an equivalent qualification.
• 3-5 years of experience in plant and facility maintenance, preferably in a chemical processing plant.
• Basic understanding of maintenance technology in a manufacturing or process plant environment.
• Experience with CMMS software, specifically TMQ-W, for inventory and maintenance management.
• Strong knowledge of spare parts management and equipment maintenance techniques.
• Familiarity with utilities and facilities maintenance in a chemical plant.

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)

Find Your Dream Job With Us

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

Role: System Engineer

Job Requisition Number: JR38649

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

Location: Singapore

Job Objectives

To support AML Projects/CRs for Singapore and Regional entities

Key Responsibilities

· Participate in end-to-end projects for system implementation of MLS 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 groups and countries build the enhancements according to the technical solution plan.

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

· At least 8 years of experience / knowledge in Application architecture and System Integration with combination of technologies such as Unix, Linux, Hadoop, Apache, Jboss. Maria database and NoSQL

· At least 8 years of CICD implementation experience from scratch with combination of technologies such GitHub, Gitlab, Bitbucket, Jenkins, Aldon, etc

· At least 8 years of network and security experience to resolve firewall connection issue, integration issue, implementing load balancing and disaster recovery needs

· At least 10 years of experience in developing Unix Shell Scripting, SQL, Java and Python from scratch

· At least 10 years of experience in application and database design and UI/UX design

· At least 8 years of experience in business analysis, data mapping and process mapping

· At least 8 years of experience in Production Support Management, Incident and Problem Management

· Knowledge in networking, firewall, data migration, password encryption, SSO integration, and disaster recovery planning and testing

· 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

Good to Have

· Experience in Hadoop ecosystem and technologies

· Experience in NoSQL database or Big Data

· Experience in Control-M, and 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

Main Tasks & Responsibilities :
The System Engineer is responsible for a sub-system along its lifecycle:
- Perform the engineering requirements analysis
- Provides required technical documentation:
• Design Documents (Preliminary, Final)
• Statement of Works for suppliers and external contractors
• Input/output requirement for Interfaces Management
• Input for specialty engineering: RAMS, EMC/EMI, Cyber-Security.
• Input for Installation Management
• Operation and Maintenance documentation
• Training material
- Assists the bid team to scope and cost engineering work packages
- Work with contractors to produce costing, ensure that they deliver on time
- Reports and follow-up the KPIs for the sub-system
- Participate to progress meetings
- Analyses and Correct the Problem Changes Requests

Pre-requisite :
QUALIFICATIONS
- Tertiary qualification in Computer Science, Information Technology, Electronics Engineering or related discipline (essential)
- Higher degree qualifications are desirable.
- Demonstrated engineering competencies required for qualification to INCOSE CSEP (or equivalent, or ASEP) are highly desirable.

ESSENTIAL EXPERIENCE
- Minimum of 5 years’ experience in an Engineering role
- Able to decipher technical scope from high level requirements
- Experience with Governmental and/or complex IT Projects
- Strong oral and written communications skills.

DESIRABLE EXPERIENCE
- Experience working on Security projects
- Experience working within a Systems Engineering lifecycle
- Membership of relevant professional organisation, e.g. INCOSE, Institution of Engineers Singapore, etc.