Total 679 Legal / Public / Security job vacancies in SITE - Healthcare Center Macomb ASC - 15979 Hall Road - Macomb Twp

Crisis24 is the world’s premier integrated risk management provider, offering best-in-class physical and cyber security risk and crisis management consulting, executive protection, travel security and AI-driven analytical services. We provide actionable risk management solutions helping organizations around the world to stay ahead of emerging risks. Crisis24 is a wholly owned subsidiary of GardaWorld, the world’s largest privately-owned security services company with operations in 45 countries and over 120,000 employees. We are partner of choice for private individuals, multinational organisations, governments and humanitarian organizations and multinationals globally.

The Crisis & Security Consulting (CSC) team is part of Crisis24 and provides physical and cyber security risk and crisis management consulting services. As a result of globally expanding demand for our services, an exciting opportunity has arisen to join the CSC team in Singapore. We are looking for a highly motivated and driven senior consultant practitioner to support our clients and continue to grow our Asia-Pacific consulting practice.

Consulting services delivery

• Deploy to client offices throughout Asia and/or other overseas locations to deliver CSC’s pre-incident consulting services • Delivery and management of Security Risk Management, Crisis Management, and Business Continuity Management consulting services and projects • Produce all relevant documentation in support of assigned pre-incident consulting services and projects; responsible for the quality and standards of such documentation in line with CSC’s best practice doctrine and methodology • Project management of live security risk and crisis management consulting projects and coordination of deployments including administration of other staff and/or third-party consultants on projects

Business development

• Generation of new security and crisis management consultancy opportunities in Asia and globally in support of CSC’s new business targets

• Identify opportunities to promote and enhance CSC’s security and crisis management consulting initiatives

• Scope, price, manage and/or oversee the development of RFPs and client proposals

• Represent CSC, Crisis24 and Garda in client pitches, presentations and meetings

• Identify opportunities to introduce the wider Garda services into clients

All hazards response

• May deploy to client offices throughout Asia and/or other overseas locations to deliver ‘All Hazards’ crisis management response support services

Account management

• Client liaison and account/client relationship management of new and existing consulting clients

Team engagement

• Support the development of more junior team members and work in cooperation with the wider global consulting team on all aspects of consulting services delivery

Administrative

• Maintain and/or oversee accurate accounting records for key clients allocated

• Proficient with Salesforce and any other platforms used by Crisis24 up-to-date and accurate in relation to relevant accounts and proposals

Other

• Support the wider Crisis24 and Garda business as required

Competencies

• Highly commercial, with the ability to recognise and develop commercial opportunities

• Creative thinker who can apply initiative and create solutions to solve clients’ problems

• Personable and able to communicate effectively at all levels with team members and clients

• Able to relate well to others with confidence and empathy, build trust and remain calm and resourceful during difficult and emotive situations

• Able to demonstrate adherence to values: ethics, discretion, integrity and accountability

• Has the flexibility and motivation to work irregular hours and maintain quality delivery

• Invested in continued professional development: maintains a high level of industry knowledge and awareness of geopolitical and security/crisis management issues and trends

• Outstanding written and verbal communication and presentation skills

Skills & Experience

• Minimum 7 years' relevant previous experience in a security, intelligence, risk or crisis management environment, working in in an operational and/or consulting role

• Strong working knowledge of Security Risk Management, Corporate Investigations, Business Continuity, and Crisis Management – Best Practice and Industry Standards

• Demonstrable commercial experience developing new business opportunities, from initial lead through all phases of business development to contract commencement.

• Extensive travel experience across Asia including in high threat / hostile environments

Location: High End Condo at Central

Duties and Responsibilities

As a Security Officer, you will:

• Greet and assist residents, visitors, and contractors in a professional and courteous manner
• Monitor and control entry and exit points for residents, visitors, contractors, and deliveries.
• Verify identification and approve entry based on pre-approved access lists.
• Maintain regular communication with the management office, other security officers, and emergency contacts.
• Conduct regular patrols of the premises, including parking areas, common areas, and critical security points.
• Be a quick thinker during emergency response

Requirements:

• Minimum 2 to 3 years of relevant experience
• Possess a valid PLRD License

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

Jenga Corp is one-stop professional services for global finance and fintech business and we wish to hire a Corporate Secretarial Executive.

About the role:

• Incorporation of new companies;
• Maintenance of corporate secretarial records for various entities, including statutory registers;
• Ensure compliance with relevant statutory and regulatory requirements are strictly met;
• Preparation of Directors’/ Shareholder’s meeting minutes and resolutions and ensuring documents are properly signed, lodged and filed;
• Preparation of annual returns and other statutory documents;
• Preparation and lodgement of routine/ ad-hoc statutory documents/ client transactions;
• Managing Corppass authorisations;
• E-stamping with IRAS for transfer of shares;
• Issuance of share certificates;
• Facilitate the billing process for clients’ annual fees;
• Proper maintenance of all clients’ documents;
• Collaborate with external partners for offshore entities;
• Arrange for the notarisation and legalisation of documents;
• Recording and performing of KYC for client onboarding.
• Recording of records into Zoho CRM system.

You should have:

• Positive attitude, driven and ready to take on challenges;
• Meticulous attention to detail and follow-through; perform tasks with high degree of accuracy and efficiency with the ability to meet deadlines;
• Ability to work independently, to take initiative and to overcome obstacles;
• Ability to successfully manage competing priorities, keeping constant sight of the overall objectives;
• High degree of flexibility in a demanding, fast-paced and frequently changing environment;
• Proficient oral and written communication skills (both in English and Chinese to better manage the clients);

Responsibilities

Patroling & escorting duties

Monitor CCTV, Fire Alarm System, Carpark system

Observe and report any unusual behavior and conduct of the employees or guests in the Hotel.

Monitor all unauthorized vandalism and removal of property

Report any accidents that happened within the Hotel

Create security and fire safety awareness among staff and guests

Inspect all areas for safety and fire hazard & report on findings

Handle work place incidents and do investigations

This position is available from January 2025 onwards.

The Security Officer delivers the safety and security measures that meet the requirement of the Hotel Management.

Primary Responsibilities

Manages The Control Room

• Verifies all visitors, guests and contractors of their visit and issue pass to them after verifications.
• Records and issues departmental keys to the colleagues after verification. Acknowledges and records when the keys are returned.
• Reports and documents all incidents in the Security Management Occurrence log.
• Answers to all telephone enquiries in a calm and professionally manner.
• Records and takes pictures of all Loss and Found items surrender by colleagues or others in the “Case Property” form and thereafter to hand over to Housekeeping if there is no claimant.
• Responds to the fire alarm bell activation and activates the CERT members, Decam (Decentralized Alarm Monitoring Station), Hotel Telephone Operator and raised the Fire Alarm Bell Activation Report thereafter.
• Assists in the evacuation when the need arises.
• Assists in managing the Electronic Parking System for the Carpark, including printing the Daily Revenue Report and Settlement Report daily.
• Any other duties assigned by the Security Supervisors and Managers.
• Prepares to assume the role of a CERT member when the need arises.

Carries Out Static Duties

• Ensures a peaceful environment, greets guest coming/going out of the hotel, to report and take action if there is a disturbance.
• Ensures orderly traffic flow, advises drivers of unauthorised parking to park at designated car park and to report and take action if there is disturbance.
• Conducts checks on unauthorised parking, advise the driver to park in designated car parks, to report and take action if there is disturbance.
• Ensures only authorised contractors or supplier’s vehicles is allow to park in the loading bay.
• Ensures smooth traffic movements in the loading bay.
• Ensures the vehicles are parked in an assigned parking lot.
• Ensures no obstruction cause to other vehicles using the loading bay.
• Verifies the identities of all contractors/workers using the loading bay.
• Responds to any emergencies within 3 minutes or less.

Patrols The Hotel Grounds And Buildings

• Residence patrolling for crime prevention and to report of any incidents, disputes disturbances or found properties left unattended.
• Perimeter patrolling to ensure that the hotel’s exterior walls are not vandalised or damaged, ensures the street lamps are in working condition.
• Raffles Arcade Blocks patrolling for crime prevention, providing assistances or enquires from City guests or members of the public.
• Responds to any emergencies within 3 minutes or less.

Involvement As A Member Of The Security Team

• Provides security escorts for finance department to the bank.
• Witnessing for colleagues depositing sales proceeds at finance department.
• Crowd Control Duty during major events or VVIP visits.
• Prepare to assume the role of the CERT members and First Aider.

Candidate Profile

Knowledge and Experience

• Must be a registered Security Officer with Police Licensing & Regulatory Department (PLRD) and holds a valid Security License issued by PLRD.
• Secondary education with WSQ Certification in Security Operations.
• Certified in First Aid, CPR and AED.
• Certified CERT member as per Singapore Civic Defence Force (SCDF) guidelines under High Risks Installation (HRI) Tier 1
• Minimum of 2 years of relevant experience in the hotel industry.
• Outgoing personality and able to remain calm under duress.
• Willing to acquire new knowledge and experience.

Competencies

• Oral and written fluency in English. Ability to converse in other languages is an advantage.
• Working knowledge of Microsoft Office (Excel, Outlook, PowerPoint, Word) will be an advantage.
• Good interpersonal skills with ability to communicate with all levels of employees.
• Service oriented with an eye for details and inquisitive mind.
• Ability to work effectively and contribute in a team.
• Flexible and able to embrace and respond to change effectively.
• Ability to work independently and has good initiative under dynamic environment
• Self-motivated and energetic.
• Computer literacy will be an added advantage.

Benefits of Joining Raffles Hotel Singapore

• 5-day Work Week.
• Duty Meals are provided.
• Colleagues’ Discount and/or Preferential Room Rates at worldwide Accor Hotels.
• Flexible Benefit – Dental/Optical/Vacation Expenses/Children’s Education.
• Medical and Wellness Benefit.
• Comprehensive Insurance Coverage.
• Local/Overseas Career Development & Growth Opportunities.
• Holistic Learning and Development Opportunities.

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

We are looking for ACTA/ACLP certified trainers who have conducted WSQ training for any of the following courses:

• Adobe Photoshop
• Adobe Illustrator
• Adobe Premiere Pro
• Xero Accounting
• Quick Books Accounting
• Microsoft Office - Excel, PowerPoint
• Power BI
• Tableau
• Project Management
• Microsoft Access
• Negotiation Skills
• ChatGPT
• AI Tools
• Cybersecurity
• Carbon Footprint Management
• Google Workspace
• Sustainability Management
• Digital Marketing
• Web Design
• SEO
• TikTok
• Video Editing
• Capcut
• Canva

You should be able to teach on Weekdays, during the day, like 9am to 5/6pm. Some classes are held on Saturdays (full day).

Kindly indicate in your CV or cover letter for the courses you have trained before and if they were conducted face-to-face or synchronous e-learning.

Send your complete resume, a recent photo, and ACTA/ACLP certificate with your application to hr@intellisoft.com.sg

Website: www.intellisoft.com.sg

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

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

looking for professional and experienced accounts personal .

Able to handle accounts , payroll , invoicing, credit notes , clients and vendors querries.

financial reports , P&L .

Key Responsibilities:

- Develop and implement effective recruitment strategies to attract skilled security personnel

- Conduct comprehensive interviews and assessments to identify suitable candidates

- Collabourate with hiring managers to understand staffing needs and define job requirements

- Coordinate the onboarding process for new hires, ensuring a smooth transition into the organization

- Facilitate employee training and development initiatives to enhance skills and promote career growth

- Maintain accurate HR records, including personnel files, training records, and performance documentation

- Ensure compliance with labour laws, regulations, and internal policies in all HR activities

- Foster a positive and inclusive work environment that encourages teamwork and employee engagement

- Address employee concerns and resolve conflicts in a fair and timely manner

Qualifications and Skills:

- Certification in Human Resources Management or a related field (HR certification is a plus)

- Proven experience in HR roles, preferably within the security industry

- Strong knowledge of HR best practices, labour laws, and regulations

- Excellent communication and interpersonal skills

- Ability to build and maintain effective relationships with employees at all levels

- Strong organizational and time management abilities

- Attention to detail and a high level of confidentiality

- Proficiency in HR software and MS Office Suite