Total 1,107 Legal / Public / Security job vacancies in 59 London Road, Woolmer Green, Knebworth, SG3 6JE

Job Advert


Position: Security Officer

Location: London

Pay Rate: £13.15 per hour

Contracted Hours: Monday - Friday (7:00 - 19:00)

Closing Date: 04/10/2024

Job ID: 690



Are you an ambitious individual who has a passion to develop your career in providing excellent safety and outstanding customer
service. If so, this will be a great opportunity to work in one of our immaculate sites.



Who we are

We are GUK, and together we are proud to be at the forefront of protection management across multiple sectors. We offer the
ultimate in business security solutions and deliver the highest quality of professional service.



Job role

Working with us at GUK, we value you more than just a security guard. You will be responsible for maintaining the look and feel of
our pristine site. You will be responsible for providing safety of this modern building with your customer service and support for
those who work and visit the building.



The role is critical to ensure our operational day-to-day frontline services work like clockwork. A typical day for someone who
is self-motivated could include access control, greeting visitors, regular patrols, and completing the daily occurrence book. You
will then finish every shift with a good thorough handover.



You are an individual who communicates well, have a strong sense for reliability and understand the importance of being smartly
presented in uniform at all times. Also you would need to be proactive and always willing to learn.



You will receive full training and we are looking for motivated individuals who will make a measurable contribution to the
continued success of GUK.



Core Responsibilities:



* Reporting faults to the Building Manager
* A ‘how we can’ mentality
* Provide information, directions/escort Residents, Guests to their desired locations
* Deal with any queries from Residents/Guests and offer assistance with a sense of urgency
* Provide Residents/Guests with acts of kindness to make them feel welcomed and create a rapport maintain excellent professional
relationships
* Understand and strictly adhere to GUK’s procedures and protocols of the building with regards Health & Safety, Security
measures and building access control



Ideal Experience:

* 3 years minimum experience
* Experience of composing emails and preparing incident reports
* Proactively uses initiative to recognise priorities within own workload
* Problem solving

Must Have:

* Proof of right to work.
* Valid SIA licence
* 5 Year employment history




Desirable:

* CCTV SIA Licence





Employee Benefits

GUK pride ourselves in offering benefits that promote health and wellbeing.



* Ride to Work Scheme
* Employee Assistance Program
* Credit Union
* Employee of the Month/Year

 

GUK / RUK  is an equal opportunities employer, we encourage applications from a diverse range of individuals. We believe that a
diverse talented workforce nurtures excellence and makes us a great place to work, where individuality and inclusivity are
celebrated.



We reserve the order to stop taking applications when we have had a suitable amount of response.

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

QUALIFICATIONS

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

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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.

QUALIFICATIONS

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

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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.

QUALIFICATIONS

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

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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.

QUALIFICATIONS

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

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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

Senior Civil Enforcement Officer - Lambeth - Full-time 42.5 hours per week - £29804.53 per annum

Do you have supervisory experience? Have you led a team of people? Are you well organised? Do you have a Full Clean UK Driving Licence?

An exciting opportunity has arisen for a Senior Parking Enforcement Officer in Lambeth. Civil Enforcement Officers are responsible for ensuring that all drivers follow parking regulations on public streets and in car parks. They are an important part of keeping our roads moving and ensuring public safety. This role will be to assist in managing a team of Civil Enforcement Officers, enforcing regulations as directed under the Traffic management Act(TMA) 2004.

What will you do?:

- Ensure all known and agreed policies are followed setting a good example.
- You will make sure the correct number of Civil Enforcement Officers are deployed as per agreed service levels and contractual conditions.
- Ensure all Request for Actions are commenced and managed effectively.
- You will review, monitor, supervise and direct staff according to contract requirements.
- Train all staff in aspects of their job and in Health and Safety.
- Conducting back to work interviews and maintaining attendance levels within your teams.
- To “cascade” information to all members of staff and maintain good communications throughout the contract.
- To prepare reports as required by contract management.
- Ensure overall client approval and attend training courses where required.
- To ensure contract standards and quality are maintained at all times.

What will you bring?:

- At least one year’s experience of working in a managing role, in a parking or customer services industry.
- Experience with the traffic management act 2004 and other parking legislation.
- Aptitude to organise and motivate large numbers of contract staff.
- Creation of reports.
- Excellent personal skills with the competence to build and maintain positive working relationships.
- Excellent problem-solving skills.
- A Full Clean UK driving licence


What is on offer to you?:

- £29804.53 per annum
- 42.5 hours per week
- 20 days holiday plus 8 Bank Holidays
- Training and Development
- Pension Scheme


Must be 18 or over with a Full UK driving licence to apply
We are focused on ensuring APCOA is a fair place to work regardless of age, race, gender, sexuality or level in the business. We offer an exciting work atmosphere where successes are shared. With challenging projects and an atmosphere of fostering and support. Staff have the development opportunities to fulfil their potential while aiming for excellence in their work.

Are you a motivated PR Account Manager ready to join an award-winning PR agency specialising in strategic communications for leading technology companies?
With offices in London and San Francisco, this agency partners with innovative brands to build market awareness and drive business growth through impactful PR programs. Fast-paced culture, collaborative, and highly rewarding for top talent.

Junior PR Account Manager (based in London, Hybrid, Salary: £30k - £34k)

Here's what you'll be doing:

- Act as the primary day-to-day contact for client accounts, ensuring effective communication and addressing client needs promptly.
- Lead client update calls/meetings, quarterly/annual reviews, and internal team meetings
- Conduct initial reviews of all client-facing documents created by junior team members, providing constructive feedback
- Oversee account administration tasks performed by junior team members, such as agenda creation, WIP document maintenance, and report drafting
- Demonstrate the ability to create insightful and compelling content across various formats, including messaging documents, press releases, op-eds, and blog posts
- Continue to expand your network of relevant media contacts, demonstrating an ability to leverage these relationships to achieve impactful results for clients
- Contribute to long-term strategic and campaign plans, offering strategic guidance to clients in collaboration with AD/Director

Here are the skills you need:

- 2 years of experience in B2B Tech, Financial, and Corporate PR.
- Bachelor’s degree in communications, journalism, or a related field.
- Ability to think strategically and provide effective guidance.
- Exceptional writing and editing skills.
- Enthusiasm for the tech industry ecosystem.
- Ability to coach teammates and develop staff
- Strong client relationship management skills

Work permissions:

You must have the right to work to work in the United Kingdom. Visa sponsorship is not available at this time.

Here are the benefits:

- Competitive salary of £30k - £34k
- Hybrid working/ flexible working arrangements for your work-life balance
- Central London office location
- Phone Bill Allowance
- Generous holidays allowance
- Wellness programs
- Training and development opportunities
- Working with innovative, high-growth tech brands

This is an excellent opportunity to advance your career and make a significant impact while working with high-profile tech innovators.

At The Opportunity Hub UK, we're excited to present an exceptional opportunity on behalf of an exciting young agency that goes by the ethos "anything but boring". As we delve into the heart of communications, we seek individuals who are ready to make a meaningful impact in the construction industry.

Job Overview:
As an Account Executive, you'll be entrusted with pivotal responsibilities encompassing public relations, communications, and client management. From crafting compelling narratives to fostering enduring client relationships, you'll play a crucial role in driving the success of our client's ventures.

Here's what you'll be doing:

- Researching, pitching, writing, and publishing news releases on behalf of clients.
- Crafting articles for client magazines/newsletters and external publications.
- Developing speeches, advertising copy, brochure content, and website copy.
- Formulating comprehensive strategy documents and plans to meet client objectives.
- Travelling to various locations, often internationally, to gather information and insights.
- Cultivating strong relationships with relevant media to maximise editorial coverage.
- Serving as a spokesperson and information provider for media inquiries..
- Coordinating photography and liaising with contractors and clients for illustrations.
- Benchmarking client activities and adhering to industry best practices for optimal results.

Here are the skills you'll need:

- Exceptional writing and communication abilities.
- Strong organisational and multitasking skills.
- Proven experience in public relations or related fields.
- Ability to thrive in a fast-paced, dynamic environment.
- Excellent interpersonal skills for client relationship management.
- Proficiency in industry-standard software and tools.

Here are the benefits of this job:

- Opportunity to work with industry-leading professionals.
- Exposure to diverse projects and clients across various sectors.
- Room for professional growth and development.
- Competitive compensation package.

Advantages of Pursuing a Career in this Sector:
The communications sector offers a dynamic and ever-evolving landscape where creativity meets strategy. By joining this industry, you'll be at the forefront of shaping narratives, influencing perceptions, and driving meaningful change.

Work Permissions:
You must have the right to work in the United Kingdom. Visa sponsorship is not available at this time.

Join us in shaping the future of communications. Apply now and embark on a journey where innovation and impact converge.

At The Opportunity Hub UK, we're excited to present an exceptional opportunity on behalf of an exciting young agency that goes by the ethos "anything but boring". As we delve into the heart of communications, we seek individuals who are ready to make a meaningful impact in the construction industry.

Job Overview:
As a Senior Account Executive/Account Manager, you'll be entrusted with pivotal responsibilities encompassing public relations, communications, and client management. From crafting compelling narratives to fostering enduring client relationships, you'll play a crucial role in driving the success of our client's ventures.
Here's what you'll be doing:

- Researching, writing, and publishing news releases on behalf of clients.
- Crafting articles for client magazines/newsletters and external publications.
- Developing speeches, advertising copy, brochure content, and website copy.
- Formulating comprehensive strategy documents and plans to meet client objectives.
- Travelling to various locations, often internationally, to gather information and insights.
- Cultivating strong relationships with relevant media to maximise editorial coverage.
- Serving as a spokesperson and information provider for media inquiries.
- Acting as an ambassador for both our client and Daredevil, as required.
- Coordinating photography and liaising with contractors and clients for illustrations.

- Benchmarking client activities and adhering to industry best practices for optimal results.

Here are the skills you'll need:

- Exceptional writing and communication abilities.
- Strong organisational and multitasking skills.
- Proven experience in public relations or related fields.
- Ability to thrive in a fast-paced, dynamic environment.
- Excellent interpersonal skills for client relationship management.

- Proficiency in industry-standard software and tools.

Here are the benefits of this job:

- Opportunity to work with industry-leading professionals.
- Exposure to diverse projects and clients across various sectors.
- Room for professional growth and development.

- Competitive compensation package.

Advantages of Pursuing a Career in this Sector:
The communications sector offers a dynamic and ever-evolving landscape where creativity meets strategy. By joining this industry, you'll be at the forefront of shaping narratives, influencing perceptions, and driving meaningful change.
Work Permissions:
You must have the right to work in the United Kingdom. Visa sponsorship is not available at this time.
Join us in shaping the future of communications. Apply now and embark on a journey where innovation and impact converge.