Total 45 Junior Executive electronic engineer job vacancies in SG OFFICE - ROBINSON ROAD

Have work experience with private projects for 3 to 5 years

To carry out site supervision and inspection of the works to ensure the works are constructed to required quality and accuracy

Supervision & Inspection for bore piling, ERSS, earth retaining wall & precast work with approved dwg, specification, rule & regulation.

Monitoring in structural material test and checking Method Statements, tests and drawings

Work closely with Consultants, Client & authority and attend progress and technical meetings

Reply some RFA/RFI and Maintain updated drawings/RFA/ RFI, all site records

Key Responsibilities:

• Conduct site acceptance tests, oversee commissioning processes, and assist with the start-up of Insulating Glass machinery.
• Interface with customers for after-sales service, identify their needs, and provide tailored solutions.
• Address and resolve on-site maintenance issues by troubleshooting and offering technical support.
• Work collaboratively with customers to fulfill repair schedules effectively.
• Deliver training sessions to help customers optimize product performance.
• Provide feedback from the field to engineering and production teams for product improvements or new designs.
• Ensure compliance with validation processes, including product applications, controls, and documentation.

Requirements:

• Must be very willing to travel as there are times the travelling can take up to 8 weeks.
• Physical ability to handle heavy machinery parts and tool kits (>30kg).
• Ability to read and interpret technical drawings.
• Prior working experience in a technical servicing role is a must.
• Hands-on experience in servicing and the ability to work independently at job sites.
• Willingness to travel for service assignments within the SEA region.
• Strong problem-solving skills and a customer-focused mindset.

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

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

EA (18C9514/R23118479)

-Supervise and coordinate the activities of site contractors ;

· Monitor job progress and ensure that civil and structural contracted works meets all practical, commercial, requirements of productivity, quality and contract target completions;

· Ensure all design work conforms to the codes and standards used by the client, or to agreed industry standards.

· Implement and oversee site projects assigned to ensure smooth project execution

· Manage internal and external contractors well to ensure quality of work and scope of work is within specifications.

· Responsible for all inspection activities being carried out.

· Assist in planning, schedule and technical support to PM and/or resident engineerr.

Key Responsibilities:

• Assist in the operation, maintenance, and troubleshooting of Building Management Systems (BMS) and Energy Management Systems (EMS).
• Understand and apply HVAC, Building Automation, and Energy Management systems to meet project specifications and ensure optimal system performance.
• Diagnose, troubleshoot, and resolve software and hardware issues in installed BMS and EMS systems.
• Analyze and resolve communication problems with control devices and other system components.
• Perform software preventive maintenance on installed BMS and EMS equipment to ensure system longevity and reliability.
• Support system commissioning and testing processes to verify that systems function as intended.
• Assist in system upgrades, ensuring compatibility with existing infrastructure and adherence to project timelines.

Key Requirements:

• Basic knowledge of HVAC systems, Building Automation, Energy Management, or related control systems.
• Familiarity with communication protocols such as BACnet, MODBUS, and LON.
• Strong troubleshooting skills for diagnosing and resolving system issues.
• Ability to work independently and as part of a team in a fast-paced environment.
• Good communication skills, both written and verbal.
• Proficiency in using software tools and diagnostic equipment for system maintenance and troubleshooting.
• Ability to learn new technologies and protocols quickly.

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

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

EA (18C9514/R23118479)

Job Type: Full-Time

About Us:
AV Intelligence is a premier provider of high-end audio-visual solutions in Singapore and Malaysia, specializing in customized home theaters, premium sound systems, and integrated AV solutions for residential and commercial spaces. We pride ourselves on exceptional service, quality, and innovation. We are currently looking for an AV Installation Assistant to join our team and support our installation operations.

Job Summary:
The AV Installation Assistant/Engineer will work closely with our skilled installation team to set up and configure audio-visual systems for our clients. This role is perfect for someone with a passion for AV technology, an eye for detail, and a commitment to delivering high-quality work.

Key Responsibilities:

• Assist/ conduct in the installation, configuration, and troubleshooting of AV systems, including home theaters, audio systems, and other AV equipment.
• Help in / conduct cutting ceilings, running and organizing cabling, wiring, and mounting of equipment.
• Ensure the proper setup, alignment, and calibration of equipment for optimal performance.
• Maintain and organize tools, equipment, and supplies required for installations.
• Assist in testing systems post-installation to verify functionality and quality.
• Provide support in educating clients on basic system operation and troubleshooting.

Qualifications:

• Prior experience in AV installation, electrical work, or technical support is an advantage but not required; training will be provided.
• Basic understanding of AV systems, components, and wiring (preferred).
• Ability to use basic hand tools and follow installation instructions accurately.
• Excellent attention to detail and commitment to quality work.
• Strong communication skills and a positive attitude.
• Physical ability to lift equipment and work on ladders as required.

Preferred Qualifications:

• Familiarity with AV brands and equipment is a plus.
• Basic understanding of audio calibration and setup is an advantage.

Working Hours:

• Full-time.
• 5 days a week
• 9:30am -6:30pm
• Closed on Public Holidays
• 14 days a year

Remuneration

• Basic
• Bonus subject to your and Company's performance
• Mobil allowance
• Transport allowance
• Your remueration will be subject to your experience.
• The salary will be range posted is including the minimum bonus

How to Apply:
Please send your resume and a brief cover letter to [email protected] with the subject line "AV Installation Assistant Application - AV Intelligence."

AV Intelligence is committed to creating an inclusive environment and welcomes applications from all qualified individuals.

About the Company:

Dbiz is a high-performing product and engineering company that partners with organizations to build out digital solutions using the right technology at the right time. We pride ourselves on our innovative use of technology in various ways.

Role Summary:

We are seeking a talented and experienced Senior Outsystems Developer to join our dynamic team. The ideal candidate will have a strong background in developing and implementing solutions using the Outsystems platform, with proficiency in .NET, SQL, and JavaScript. This role involves designing, developing, and optimizing applications to meet business needs effectively.

Key Responsibilities:

• Design, develop, and maintain applications using the Outsystems platform.
• Utilize .NET, SQL, and JavaScript to create robust and scalable solutions.
• Collaborate with business stakeholders to understand requirements and translate them into technical solutions.
• Implement best practices in coding and application development.
• Troubleshoot and resolve application issues, ensuring optimal performance and user experience.
• Perform code reviews and provide mentorship to junior developers.
• Stay current with Outsystems updates and emerging technologies to continuously enhance skills and knowledge.
• Ensure adherence to project timelines and deliver high-quality solutions within deadlines.

Qualifications:

• Bachelor’s degree in Computer Science, Information Technology, or a related field.
• 2+ years of professional experience in software development with a focus on Outsystems, .NET, SQL, and JavaScript.
• Proven experience in developing and deploying applications using the Outsystems platform.
• Strong proficiency in the .NET framework and associated technologies.
• Extensive experience with SQL databases and writing complex queries.
• Advanced knowledge of JavaScript and its frameworks/libraries.
• Excellent problem-solving skills and attention to detail.
• Strong communication skills and ability to work collaboratively in a team environment.
• Experience in agile development methodologies is a plus.

Preferred Skills:

• Certifications in Outsystems or related technologies.
• Experience with the integration of Outsystems with other systems and APIs.
• Knowledge of cloud platforms and DevOps practices.

Life at Dbiz:

• Competitive salary and attractive benefits
• Dynamic and innovative work environment
• Opportunities for personal growth and development
• Engaging and collaborative company culture

Job Title: Assistant Field Service Engineer (1-Year Contract)

Company: [Global MNC Company in Power Solutions]

Location: [Location]

Job Summary:
Join our team as an Assistant Field Service Engineer, where you will assist in testing, commissioning, and startup operations for transformers and switchgear. Ideal candidates have 1-2 years of experience in electrical engineering or field service, with a strong interest in power equipment and safety practices.

Key Responsibilities:

• Support the testing, commissioning, and start-up of transformers and switchgear on-site.
• Assist senior engineers in troubleshooting and ensuring systems operate according to specifications.
• Conduct routine inspections, maintenance, and documentation of service activities.
• Adhere to all safety guidelines and work collaboratively with on-site teams to ensure smooth operations.

Qualifications:

• Diploma in Electrical Engineering or a related field.
• 1-2 years of experience in field service, ideally with power systems or heavy electrical equipment.
• Basic knowledge of transformers, switchgear, and safety standards.
• Strong communication skills and willingness to travel to various project sites.

For interested applicant, kindly send your resume in Word/PDF format to include the following in your resume:

1. Current Salary

2. Expected Salary

3. Availability

4. Reason for leaving

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

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

License No: 23S1595

Registration No: R23116355

• Mondays to Fridays; Office hours

• Walking distance from MRT Station

• Salary: S$2500-2800/month

Job Responsibilities:

• Perform total preventive maintenance (TPM) procedures, inspections, basic troubleshooting on mechanical and hydraulic equipment/equipment failure

• Conduct regular maintenance tasks at the facilities

• Allocate appropriate resources to execute work orders

• Assess the need of mechanical spare parts to avoid delays in TPM

• Maintain and complete timely records

• Organise small workshop activities, incorporate efficient ways to maintain new equipment/plant, supervise external vendors

• Be involved in installation and commissioning processes

• Ensure all maintenance activities carried out are according to policies and regulations

• Assist Maintenance Supervisor (Mechanical) when needed

• Perform ad-hoc duties as required

Job Requirements:

• Minimum NITEC / Diploma in Mechanical Engineering or equivalent and above

• Minimum 1-2 years’ experience in a Power Plant environment

• Preferrable to have knowledge in plant operations

Interested and suitable candidates, please email your CV in MS Word to

[email protected]

Ammerline Lam Sze Yi (Ms)

Division Manager

CEI Registration No.: R1104463

Celecti Pte Ltd.

EA License: 16C8045

Personal Data Protection

“By submitting your curriculum vitae or disclosing your personal information in connection with your job application, you are deemed to have read and agreed to the terms of our Privacy Policy, and consented to the collection, use and disclosure of your personal data by us, in accordance with our Privacy Policy. Please access our website at www.celecti.com.sg for a copy of our Privacy Policy.”

We are seeking a electrical technician to join ourteam in Singapore.

The ideal candidate should

Job responsibilities

- installation of all types of CCTV/ door access ,etc.

- perform service & repair all types of CCTV/door access system.

- perform checking maintenance andtroubleshooting of CCTV/door access.

- Any other duties as assigned by Managerduring project, from time to time.

- perform handover with customer after jobcompleted.

Job requirement

- At least 4 Year(s) of working experience inelectrical work /installation /

- Have ITC/Diploma in Electrical may bepreferred.

- Be mild-tempered

- Be able to work overtime when required.

- Applicant with CSOC/BCSS cert may bepreferred.

- Required language (s): English (written andspoken)

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

• Performs administrative functions and provides administrative support to project team and/or executive group in field or office as designated by management.
• Transcribe and distribute project documents and correspondence such as the subcontract base, subcontracts, purchase orders and various letters, create and maintain paper and electronic project flies according to company’s guidelines.
• Maintain and track project information for project team as directed.
• Follow up with subcontractors regarding project paperwork, eg. claim, certificate, delivery order etc as needed.
• Assist project team with closeout coordination and preparation of O & M manuals.
• Work with Executive Director / project manager(s) a directed to achieve departmental objectives.
• Assist Executive Director / project managers to prepare project documentation, eg cashflow, progress claim to client, project insurance, schedules etc.
• Order supplies for project team/office.
• Maintain personal, office and jobsite space and filing in a neat and organized manner.
• Set up project binders and order project drawings from local printing resources.
• Assist project team in the preparation and distribution of project punch lists to venders/subcontractors.
• Archive all project documentation according to company and/or client requirement.
• Participate in project and/or team meetings as needed.
• Assist with daily planning of managers schedules, meetings, interviews and possibly travel (through corporate agency), if assigned.
• Assist in the implementation of new procedures as designated by company.

• MNC - subsidiary office
• Attractive Benefits
• 5 days work week

Job Description

• Responsible for projects management (pre-sales), technical activities including AutoCad drawings & electrical wirings
• Liaise with sub-contractors, vendors and customers for costs & leadtime
• Liaise with local and overseas customers
• Time and cost management of projects

Requirements

• ITE Diploma
• Knowledge in Autocad is a must
• Microsoft Office & Excel
• Good electrical & wiring background would be an advantage
• Knowledge in explosion proof product is a plus but not a must
• Well organised with good attention to details

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.

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

About the role:

Performs general preventive maintenance and corrective repair of buildings, industrial systems, vehicles, equipment and grounds. Working under moderate supervision,assists in monitoring building system operations and performance.

What You'll Do:

• Complies with all applicable codes, regulations, governmental agency and Company directives related to
• building operations and work safety.
• Maintains all equipment as required per preventive maintenance programs prescribed by manufacturer's
• specifications.
• Performs housekeeping functions and maintains the professional appearances of the property,
• equipment, engineering spaces, and common areas.
• Maintains an energy management program to ensure measures are taken to operate all systems in the
• most efficient manner to keep operating costs at a minimum.
• Inspects building systems including fire alarms, HVAC, and plumbing to ensure operation of equipment is
• within design capabilities and achieves environmental conditions prescribed by client.
• Assists with troubleshooting and repairs of buildings and installed systems to include: plumbing systems,
• kitchen equipment, roofs, drains, shop, and HVAC.
• Performs assigned day-to-day repairs, emergency and preventive maintenance. Completes maintenance
• and repair records as required.
• Maintains the building lighting system, including element and ballast repairs or replacements.
• Performs welding, carpentry, furniture assembly and locksmith tasks as needed.
• Responds quickly to emergency situations, summoning additional assistance as needed.
• Performs other duties as assigned

What You’ll Need:

• Electrical qualification. Or equivalent combination of education and experience.
• Ability to respond to common inquiries or complaints from clients, co-workers, and/or supervisor.
• Ability to comprehend and interpret instructions, short correspondence, and memos and ask clarifying questions to ensure understanding. Ability to write routine reports and correspondence.
• Ability to respond to common inquiries or complaints from clients, co-workers, and/or supervisor

Job Description

• Develop detailed plans and architectures for radio frequency translation.

• Evaluate gain, noise parameters (NF, SNR), dynamic range, linearity, and power consumption to ensure the design is robust and predictable.

• Collaborate with CAD engineers to implement PCB designs, emphasizing clean power supply and interconnects for required EMI and RF transmission performance.

• Participate in design reviews and prepare documentation at all stages of development through to final prototype testing and characterization.

• Conduct parametric evaluation of transceivers including Pout, IMD/IP3, EVM, and noise parameters using spectrum analyzers, modulation analyzers, and perform wireless link-level functional evaluations to complete product characterization

• Collaborate with product engineers on certification procedures, New Product Introduction (NPI), and Transfer of Technology (ToT) for large-scale production.

Job Requirements

• Bachelor’s, Master’s, or PhD in Electronics Communication Engineering or Digital Communication Engineering.

• Minimum 4 years of experience as an RF system hardware engineer with a proven track record of meeting industry delivery standards in relevant areas.

• Strong interpersonal and creative skills, able to multitask in a demanding and fast-paced environment.

• Hands-on experience in designing and integrating RF, Analog, and Mixed Signal blocks such as PA, LNA, mixer, frequency synthesizer, filter, coupler, detector, microcontroller, etc., with knowledge of deriving specifications from system-level requirements.

• Experience with basic CAD tools and proficiency in evaluation workflows and operation of relevant test equipment to assess product performance

. • Experience in script writing (e.g., Bash, Python) is advantageous for test automation.

Please be informed that if you are interested in applying for a position, please email your resume in either Word or PDF format to [email protected]. In your resume, kindly include the following details:

1. Current Salary:
2. Expected Salary:
3. Availability:
4. Reason for leaving your current job:

Thank you for your application. Please note that only shortlisted candidates will be contacted for further consideration.

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

EA (23S1595/R23116355)

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

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

• Be part of a renowned chemical company
• Attractive Benefits
• 5 days Work Week (office hours)

Responsibilities:

• Report to Quality / EHS section head / Department head
• Manage environmental, health and safety management systems for compliance.
• Assist & support section head with the execution of section’s day-to-day operation
• Facilitate conformity towards QEHS management system requirements
• Handle feedbacks, expectations, requirements and complaints
• Carry out audit compliance works
• Carry out inspection, check and audit for compliance
• Carry data analysis, investigation and action plans with related parties
• Facilitate or carry out incident or accident nvestigation work.
• Conduct trainings, emergency response drills and carry out promotional activities
• Operate systems that support and maintain QEHS management system
• Conduct quality, WSH and management review meetings for top management
• Perform roles and responsibility assigned by department head
• Provide organizational awareness and training
• Promote, facilitate or implement improvement plans

Requirements:

• Possess relevant experience in quality management system (ISO 9001) or a good diploma/ degree in relevant discipline.
• Possess good understanding and experience in ISO standards (ISO14001 and ISO 45001 or Singapore Standard 651)
• Possess good communicating skills in handling inquiry
• Possess good problem solving skills
• Work experience in manufacturing environment.
• Meticulous in nature, positive work attitude, responsible and good team player
• Office hours, 5 Days work week
• Must be willing to work in Jurong Island

Other benefits

• Transport provided at Jurong East MRT
• Medical & Dental Reimbursement
• Health Screening & H&S Insurance
• Transport allowance & meal subsidies

The Job

1. Responsible for assembly, debug and test run of customized modular machines and it’s commissioning.

2. Provide on-site technical support at customer premise for equipment operation.

3. Perform design modifications through: Simplified design, reduced parts, using cheaper alternatives, while maintaining or enhancing the performance of products in terms of cost reduction.

4. Procure and/or assist in the procurement of necessary items to enable the performance of above duties.

5. Writing and maintenance of all necessary documentations, work and assembly instructions, manufacturing and test procedures.

The Requirements

1. Nitec / Higher Nitec / Diploma in Mechanical Engineering with 2 to 3 years’ relevant experience.

2. Knowledge of industrial automation, jigs and fixture design, FMEA, SPC, CAD as well as experience in machine design are added advantages

3. Self-Disciplined with strong project management skills

4. Can work independently

5. Good interpersonal and communication skills

6. Required to travel when necessary

Others

1. Working location: Woodlands

2. Working hours: Monday to Friday, 8.30am – 5.30pm

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

- Position applying for

- Current remuneration

- Expected remuneration

- Notice period

Goh Kwan Way Marc

EA License No : 06C4642

EA Reg No : R24120754

We regret that only shortlisted candidates will be notified.

Join Our Team at Thatz International Pte Ltd

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

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

Our CORE VALUES:

· Integrity

· System

· Consistency

· Forward Looking

· Humanity, and

· Environmental Friendly

(Kubernetes) Junior DevOps Engineer

Job Title: (Kubernetes) Junior DevOps Engineer

Work Location: Downtown Core, Singapore

Job Type: 1 year contract, subject to renewal

About the Role:

The Junior DevOps Engineer will be responsible for supporting and enhancing our continuous integration and continuous deployment (CI/CD) pipelines, as well as managing the Kubernetes clusters.

Primary Responsibilities:

· Assist in the design, implementation, and maintenance of CI/CD pipelines to automate software deployment processes.

· Collaborate with development and operations teams to optimize CI/CD workflows and ensure smooth software releases.

· Monitor and troubleshoot CI/CD pipelines to identify and address performance bottlenecks or issues.

· Work closely with software engineers to integrate automated testing and quality assurance processes into CI/CD pipelines.

· Manage and maintain Kubernetes clusters to ensure scalability, reliability, and performance.

· Implement best practices for container orchestration, configuration management, and infrastructure as code (Iac) using tools like Kubernetes, Helm, and Terraform.

· Participate in on-call rotations and respond to incidents related to CI/CD pipelines and Kubernetes infrastructure.

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

Job Requirements:

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

· Strong understanding of DevOps principles and practices.

· Hands-on experience with CI/CD tools such as Jenkins, Gitlab CI/CD, or CircleCI.

· Familiarity with containerization technologies like Docker and container orchestration platforms like Kubernetes.

· Experience with configuration management tools such as Ansible, Puppet, or Chef.

· Proficiency in scripting languages such as Bash, Python, or PowerShell.

· Knowledge of cloud computing platforms such as AWS, Azure, or GCP is a plus.

· Excellent problem-solving skills and the ability to work effectively in a fast-paced environment.

· Required to undergo Casino Regulatory Authority (CRA) checks.

How to Apply:

Ready to join Thatz? Apply through our NextGig job portal: https://nextgig.asia or send your resume to [email protected].

Shortlisted candidates will be contacted.

Equal Opportunity Employer:

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

Data Protection:

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

Our Associate Recruitment Company:

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

Stay Connected:

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

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

Telegram: https://t.me/EmployMebyThatz

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

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

Stay Safe and Healthy!

Take care of yourself and those around you.

Join Our Team at Thatz International Pte Ltd

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

With a track record of success for the last 26 years, we prioritize Quality, Speed, and Technology to ensure the perfect match between candidate and job opening.

Our CORE VALUES:

· Integrity

· System

· Consistency

· Forward Looking

· Humanity, and

· Environmental Friendly

(Kubernetes) Junior DevOps Engineer

Job Title: (Kubernetes) Junior DevOps Engineer

Work Location: Downtown Core, Singapore

Job Type: 1 year contract, subject to renewal

About the Role:

The Junior DevOps Engineer will be responsible for supporting and enhancing our continuous integration and continuous deployment (CI/CD) pipelines, as well as managing the Kubernetes clusters.

Primary Responsibilities:

· Assist in the design, implementation, and maintenance of CI/CD pipelines to automate software deployment processes.

· Collaborate with development and operations teams to optimize CI/CD workflows and ensure smooth software releases.

· Monitor and troubleshoot CI/CD pipelines to identify and address performance bottlenecks or issues.

· Work closely with software engineers to integrate automated testing and quality assurance processes into CI/CD pipelines.

· Manage and maintain Kubernetes clusters to ensure scalability, reliability, and performance.

· Implement best practices for container orchestration, configuration management, and infrastructure as code (Iac) using tools like Kubernetes, Helm, and Terraform.

· Participate in on-call rotations and respond to incidents related to CI/CD pipelines and Kubernetes infrastructure.

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

Job Requirements:

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

· Strong understanding of DevOps principles and practices.

· Hands-on experience with CI/CD tools such as Jenkins, Gitlab CI/CD, or CircleCI.

· Familiarity with containerization technologies like Docker and container orchestration platforms like Kubernetes.

· Experience with configuration management tools such as Ansible, Puppet, or Chef.

· Proficiency in scripting languages such as Bash, Python, or PowerShell.

· Knowledge of cloud computing platforms such as AWS, Azure, or GCP is a plus.

· Excellent problem-solving skills and the ability to work effectively in a fast-paced environment.

· Required to undergo Casino Regulatory Authority (CRA) checks.

How to Apply:

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

Shortlisted candidates will be contacted.

Equal Opportunity Employer:

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

Data Protection:

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

Our Associate Recruitment Company:

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

Stay Connected:

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

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

Telegram: https://t.me/EmployMebyThatz

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

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

Stay Safe and Healthy!

Take care of yourself and those around you.